University of Technology Sydney

41128 Software Analysis Studio

12cp; 3hpw, on campus, weekly
Requisite(s): 31251 Data Structures and Algorithms
Anti-requisite(s): 41094 Software Engineering Studio 1B



Software systems, which are deeply rooted in a wide range of industries and businesses, are so pervasive that we are often unaware of their presence until software bugs occur. A single bug can cause critical software failures, resulting in huge social and economic impacts. Despite the increasing attention and efforts in improving software reliability and security, modern complex systems (e.g., containing millions of lines of code) are still plagued with bugs.

This subject develops automated software analysis techniques, based on an open-source framework, to understand and discover common yet important software bugs and defects in software systems. Through this subject, students have the opportunity to apply and practise their system programming skills and software development experience. Particularly, the students design and develop automated code analysis tools to understand, discover and detect programming errors to improve software quality. Students are assessed on their technical capabilities, their understanding of software analysis via open-source software development, their communication skills in speaking and writing, and on their team-working skills.

Typical availability

Spring session, City campus

Detailed subject description.

Access conditions

Note: The requisite information presented in this subject description covers only academic requisites. Full details of all enforced rules, covering both academic and admission requisites, are available at access conditions and My Student Admin.