FIT4004 - System validation & verification, quality and standard
6 points, SCA Band 2, 0.125 EFTSL
Undergraduate Faculty of Information Technology
Leader(s): Sita Ramakrishnan
Clayton First semester 2009 (Day)
This unit covers the products, processes, techniques and tools for system validation & verifications including acceptance tests. Commercial Testing Tools from Rational, HP and other open-source tools will be used to apply in practice knowledge learnt about software testing from a theoretical perspective. Inspection and testing methodologies, analysis of artifacts, robustness, performance analysis configuration management, quality assurance plan and standards, compliance, assessment, certification issues are covered. It shows how to predict, analyse and control defects in complex software systems.
At the completion of this unit students will have knowledge and understanding of:
- the role of validation & verification methods in the system life cycle;
- key issues in software testing, testing levels and testing activities;
- testing techniques based on testers' experience, adhoc testing, exploratory testing, specification-based, equivalence partitioning, boundary-value analysis, finite-state machine based, random testing, code-based, control-flow & data-flow technique, fault-based, error seeding, mutation testing, usage-based, reliability measures, operational profile, based on type of applications, GUI, web based, OO, component testing, testing concurrent/distributed/real-time/embedded systems, selection and combination of techniques;
- test related measures, evaluation of software under test, fault density, types of faults, evaluation of tests done, criteria such as coverage, thoroughness, mutation core K1.4 Empirical work, replication experiments vs case study.
At the completion of this unit students will have developed attitudes that enable them to:
- adhere to software quality engineering principles;
- recognise the importance of adhering to software engineering principles of V&V and standards in the design and development of test methods;
- have an understanding of inspection and debugging approaches, configuration management, performance, and quality standards issues.
At the completion of this unit students will have the skills to:
- use open source IDEs such as Eclipse and unit testing & coverage tools such as JUnit and djUnit, commercial validation tools such as TestStudio from Rational and TestDirector from Mercury Interactive, and other similar products to help detect software system projects;
- test tools from these vendors;
- appreciate how assertion mechanisms impact reasoning;
- analyse and control defects in complex systems.
Assignment 1: 40%; Assignment 2: 20%; Assignment 3: 20%; Demonstration: 20%
One x 2-hour lecture/week