Software Verification and Validation

Course, 4th year (English + Romanian), sem. I 2017/2018. 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 grades

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)
   optional resource: lecture notes by Michael Schwartzbach
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 (curs, 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.

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