Verificare şi validare software

Curs, anul IV CTI, sem. I 2011/2012. Cursul de anul trecut
Cadru didactic: Marius Minea
Laborator: ing. Mihaela Bâlă, ing. Mihai Balint, ing. Adrian Sima

Evaluare: examen
Nota: 50% laborator + 50% examen

Rezultatele la parţial
Rezultate la examen (prezentarea 1)
Situaţia notelor

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. (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ă. (PDF)
   vezi şi cursul lui Christopher Lewis de la UPenn aici şi aici
   Exemplu practic: verificarea de programe C cu Frama-C
6. Verificarea programelor prin model checking. (PDF)
7. Specificare formală
   prezentare de Bertrand Meyer (p. 146-186)
   Specificarea cu anotări JML. Tutorial introductiv (UC Dublin).
8. Verificarea programelor concurente. (PDF, sau 6 folii/pagină)
9. Testarea programelor orientate pe obiecte. (PDF, sau 6 folii/pagină)
   Modele de eroare (curs, J. Offutt, p. 1-16)
10. Testarea bazata pe modele.
    Finite State Model-Based Testing (H. Robinson) - generalitati
    Graph Theory Techniques in Model-Based Testing (H. Robinson) (fara probabilitati)
    Testarea bazata pe automate (p. 1-15)
11. Automatizarea testării. (PDF, sau 6 folii/pagină) Teste parametrizate. Executie simbolica. (din tutorial PEX)
12. Testarea de integrare (curs, U. Ottawa)
    Stabilirea unui plan de test (p. 1-30)
    IEEE Standard for Software Test Documentation (material de referinta cu titlu informativ)
    Brian Marick. The Test Manager at the Project Status Meeting (vezi si discutiile)
    Cem Kaner. The Ongoing Revolution in Software Testing (recapitulativ)

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

Utilitare

• FindBugs
• ESC/Java2
• Why/Krakatoa

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