COEN 345 Software Testing and Validation

Course Chapters

Chapter 1-1 SQA Overview (update 05/09/07)

Chapter 1-2 Preliminaries and definitions (update 05/09/07)

Chapter 2 Introduction to testing (update 06/09/07)

Chapter 3 Test Assessment and Coverage (update 06/09/07)

Example of Testing Techniques (update 13/09/07)

Examples of Static analysis techniques (update 18/09/07)

Chapter 4 Control flow (update 17/09/07) 1slide per page

Chapter 5 Data flow (update 17/09/07) 1 slide per page

Chapter 6 Data flow Plus (update 24/09/07) 1slide per page

Chapter 7 Mutation Testing (update 02/10/07)

Chapter 8.1 Definitions: FSM based testing (update 11/10/07)

Chapter 8.2 Model based testing: FSM-based Testing (update 08/10/07) one slide per page

Chapter 9. Integration Testing (update 01/11/07)

Chapter 10.1 Reachability Analysis (update 01/11/07)

Chapter 11 Test Results Analysis (update 07/1107)

Chapter 12 Static analysis: Inspection (update 07/11/07)

Chapter 13 Introduction to Model Checking (update 13/11/07)