Software Quality Process

This course studies in detail methodologies, techniques, and tools to check the quality of software systems, identify and remove faults. Students learn methodologies, approaches, and techniques to check the quality of complex software systems, and learn how to organize, plan, and monitor a software quality process. Students see the different approaches to testing and analysis and understand the interplay of testing and analysis within the software development process. The course provides a complete background for a testing engineer.

The course studies the following topics. 

1. A Framework for Test and Analysis
2. Basic Principles
3. Dependence and Data Flow Models
4. Symbolic Execution and Proof of Properties
5. Dynamic Symbolic Execution
6. Test case Selection and Adequacy
7. Data Flow Testing
8. Fault-Based Testing
9. Test Execution
10. Program Analysis
11. Dynamic Program Analysis
12. Planning and Monitoring)

Software quality is a paramount element of software systems, and software testing and program analysis are the core approaches to asses software systems. This course provides the core background for organizing and executing a thorough quality process. It provides technical and organizational capabilities for software quality managers and quality scientists.

In presenza

The course is organized according to the flip learning teaching style: students are provided with material to study and homework to check their learning.  The homework is discussed in class, where students share questions, solutions, and problems.  The lectures focus on the issues that emerge in the discussion of the homework.  The learning of the students is assessed with assignments on the topics of the course. 

The learning of the students is assessed with weekly assignments on the topics of the course.