FIT2107 - Software quality and testing

At the completion of this unit, students should be able to:

1. identify appropriate quality goals for a moderately-sized software development project, select an appropriate quality assurance strategy to give confidence that these quality goals can be achieved, and document this strategy appropriately in the context of a software process model;
2. apply quality assurance techniques such as reviews to non-code development artifacts such as requirements specifications or design documents;
3. perform systematic, automated unit testing on source code modules, using both specification-based and code-based approaches, utilising automated testing frameworks, including faking and mocking tools;
4. perform integration and system testing on a moderately-sized software system, using continuous integration frameworks and tracing tests back to requirements;
5. select appropriate tools to collect metrics, including test coverage, reliability, and design quality metrics, to analyse the quality of a software development project, and make recommendations based on the results;
6. describe the major classes of formal methods used in software engineering, including model checking and theorem proving, and identify situations where their use is justified.