COMP8131 Managing Software Quality and Process
S16 units8000-level
This course introduces students to advanced topics on managing the quality of products delivered as part of a software development project and managing the development process itself through static and dynamic software analysis techniques. Several causal aspects of poor software quality will be introduced and discussed so that students can understand the context for undertaking risk management and avoiding bad quality. There will be a focus on practical techniques for identifying and removing defects, as well as implementing procedures to track the success or failure of risk and defect resolutions. Several automatic software quality analysis techniques, including static program analysis and fuzzing techniques, will also be covered. These techniques are useful for improving the reliability, security, and performance of software and are becoming increasingly impactful in industries today. The course will introduce various well-known static program analysis frameworks such as Soot and dynamic testing techniques like symbolic execution. Practical implementations will also be covered, including live variable analysis, constant propagation, dead code detection, call graph construction, pointer analysis, taint analysis, and symbolic execution.
- 2024not listed
- 2025not listed
- 2026not offered
- 2027S1
Prerequisites in 2027
Read automatically from the handbook's wording
All of
- enrolment in the Master of Computing (Advanced)
- COMP6800Cyber Security Foundations
Incompatible with COMP4130: you can't count both.
The handbook's original wording (2026–2027)
To enrol in this course you must be enrolled in the Masters of Computing Advanced (VCOMP) and have successfully completed COMP6800 Cyber Security Foundations. Incompatible with COMP4130 .
What it leads to in 2027
No course names COMP8131 in its 2027 prerequisites.