Verificare şi validare software

Curs, an IV CTI + an III Info, sem. I 2014/2015. Cursul de anul trecut
Cadru didactic: Marius Minea
Laborator: ing. Diana Ganea, ing. Adrian Sima

Evaluare: examen
Nota: 50% laborator + 50% examen
rezultate la partial
rezultate la examen (prezentările 1-3, și 4 la anul III Info)

Note de curs

1. Introducere (PDF)
   Cem Kaner. What is a good test case?
2. Testare black-box (PDF)
   James Bach. Exploratory Testing Explained
   How to Break Software (note de curs, U. Alaska, după cartea lui James Whittaker)
3. Testare white-box. Acoperire cu teste. (PDF)
   Code Coverage Analysis (Cornett, Bullseye Coverage). O prezentare succintă şi bună, mai puţin definiţia de multiple condition coverage
4. Semantica şi verificarea formală a programelor (PDF)
5. Analiza statică. Analiza fluxului de date. (PDF)
   vezi şi cursul lui Christopher Lewis de la UPenn aici şi aici
6. Verificarea programelor prin model checking. (PDF)
7. Specificare formală prezentare de Bertrand Meyer (p. 146-186)
   Specificarea cu anotări JML. Tutorial introductiv (Kind Software).
   Discuţie. Feature interaction între call blocking şi call forwarding.
8. Verificarea programelor concurente. PDF
   vezi şi definiţiile şi exemplele pentru modelul de memorie Java: articol sau prezentare (p.1-8, 51-70)
9. Testarea programelor orientate pe obiecte. PDF
   Modele de eroare (curs, J. Offutt, fără definiția criteriilor de cuplaj)
10. Testarea bazată pe modele
    tutorial de H. Robinson
11. Automatizarea testării
    Brian Marick, When should a test be automated (p.1-14)
12. Testarea de integrare (curs, U. Ottawa)
    Stabilirea unui plan de test (p. 1-30)
    (ca referinţă, vezi şi IEEE Standard for Software Test Documentation)
    Brian Marick. The Test Manager at the Project Status Meeting
    Lectură recapitulativă: Cem Kaner. The Ongoing Revolution in Software Testing
13. Testarea aspectelor de securitate
    Writing Testable Code (Miško Hevery) (categorii de probleme; câteva exemple)

Laborator

Alte cursuri

• Mauro Pezzè, Michal Young. Software Testing and Analysis. Un curs dupa cartea (recentă şi foarte bună) a autorilor (Wiley, 2008)
• Software Quality Assurance. în ciuda numelui, mai mult despre testare, (A. Williams, U. Ottawa)
• Software Testing (J. Paakki, U. Helsinki). Un curs cu folii concise, dupa principalele cărţi din domeniu
• Tutoriale despre specificare şi verificare cu JML

Diverse articole

Articole scrise de practicieni despre diverse aspecte ale testării

• 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

Articole ştiinţifice introductive/de sinteză despre testare

• 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