Software Verification and Validation

Course 4th year (English + Romanian), sem. I 2016/2017. Last year's course
Instructor: Marius Minea
Collaborators: ing. Adrian Sima, ing. Alexandru-Sebastian Sârbu

Evaluation: exam
Final grade: 50% lab grade + 50% exam
Exam results

Course material

1. Introduction (PDF)
   Cem Kaner. What is a good test case?
2. Black-box Testing (PDF)
   James Bach. Exploratory Testing Explained
   How to Break Software (course notes, U. Alaska, after James Whittaker's book)
3. White-box Testing. Test coverage (PDF)
   Code Coverage Analysis (Cornett, Bullseye Coverage). A good short presentation (except for multiple condition coverage)
4. Program verification (PDF)
5. Static analysis (PDF) (to be updated)
6. Model checking (PDF)
7. Formal specification slides by Bertrand Meyer (p. 146-186)
   Specification with JML. Tutorial by Kind Software.
8. Verification of concurrent programs (PDF)
   see also: Java Memory Model (course at Rice U.)
9. Testing object-oriented software (PDF)
   Error patterns (course by J. Offutt, without definition of coupling criteria)
10. ---(holiday break)---
11. Model-based testing
    tutorial by H. Robinson
12. Test Automation
    Brian Marick, When should a test be automated (p.1-14)
13. Integration testing (course, U. Ottawa)
    Designing a test plan (p. 1-30) (for reference, see IEEE Standard for Software Test Documentation)
    Brian Marick. The Test Manager at the Project Status Meeting. How to Misuse Code Coverage
14. Security Testing

Laboratory

Other courses

• Mauro Pezzè, Michal Young. Software Testing and Analysis. A course following the author's book (Wiley, 2008)
• Software Quality Assurance (A. Williams, U. Ottawa). main focus is on testing
• Software Testing (J. Paakki, U. Helsinki). Concise course slides, following some widely used books
• Tutorials on specification and verification with JML

Articles

Articles written by testing practitioners

• Brian Marick. Classic Testing Mistakes
• Brian Marick. How to Misuse Code Coverage
• James Bach. Exploratory Testing Explained
• Cem Kaner. Software Negligence and Testing Coverage
• Cem Kaner. The Impossibility of Complete Testing
• Cliff Click. Experience with Debugging Data Races
• Brian Marick. The Test Manager at the Project Status Meeting

Introductory/survey papers on testing

• L. Baresi, M. Pezzè. An Introduction to Software Testing
• A. Bertolino. Software Testing Research: Achievements, Challenges, Dreams. ICSE 2007 Workshop on Future of Software Engineering.
• A. Bertolino, E. Marchetti. A Brief Essay on Software Testing