41128 Software Analysis Studio12cp; 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.
Spring session, City campus
Detailed subject description.