Postgraduate - UnitFIT5171 - System validation and verification, quality and standards

Refer to the specific census and withdrawal dates for the semester(s) in which this unit is offered, or view unit timetables.

Synopsis

This unit covers the core software engineering disciplines concerned with managing and delivering quality software. Topics include processes, tools and techniques for system validation and verification, including major commercial tools used in industry. It shows how to predict, analyse and control defects in complex software systems. Inspection and testing methodologies, analysis of artefacts, robustness, performance analysis configuration management, quality assurance plan and standards including ISO9000/AS39000, compliance, assessment, certification issues are covered.

Outcomes

At the completion of this unit students will:

• have knowledge and understanding of the role of validation & verification methods in the system life cycle;
• have gained practical experience in using commercial validation tools to help detect software system defects;
• appreciate how assertion mechanisms impact reasoning;
• be able to analyse and control defects in complex systems;
• have an understanding of inspection & testing methods, configuration management, performance, and quality standards issues.

Assessment

In-semester assessment: 50%; Examination (2 hours): 50%

Chief examiner(s)

Dr Yuan-Fang Li

Contact hours

2 hrs lectures/wk, 1 hr tutorial/wk

Prerequisites

Recommended knowledge: programming in C, C++ and Java; OOSE, Analysis, Design and Programming; OO Method - UML notation, method and SE process; Project Management.

Prohibitions

CSE4431, FIT4004

Additional information on this unit is available from the faculty at:

http://www.infotech.monash.edu.au/units/fit5171/