FIT5171 - System validation and verification, quality and standards

Leader(s): Sita Ramakrishnan

Offered

Clayton First semester 2009 (Day)

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.

Objectives

At the completion of this unit student will:

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

Assessment

Assignments: 80%; Written report and presentation: 20%.

Contact hours

2 hours of lectures/week.

Prerequisites

For MAIT students, FIT9017, FIT9018, FIT9019, FIT9030, FIT9020 and FIT4037. 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, FIT4014.

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

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