Verificare şi validare software
Curs, anul IV CTI, sem. I 2013/2014. Cursul de anul trecut
Cadru didactic: Marius Minea
Laborator: ing. Diana Ganea, ing. Adrian Sima
Evaluare: examen
Nota: 50% laborator + 50% examen
Notele la parţial
Notele la examen (prezentările 1-4)
Note de curs
- Introducere (PDF)
Cem Kaner. What is a good test case?
- Testare black-box (PDF)
James Bach. Exploratory Testing Explained
How
to Break Software (note de curs, U. Alaska, după cartea lui James Whittaker)
- 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
- Semantica şi verificarea formală a programelor (PDF)
- Analiza statică. Analiza fluxului de date. (PDF)
vezi şi cursul lui Christopher Lewis de la UPenn aici şi aici
Exemplu practic: verificarea de programe C cu Frama-C
- Verificarea programelor prin model checking. (PDF)
- 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.
- Verificarea programelor concurente. PDF
- Testarea programelor orientate pe obiecte. PDF
vezi şi definiţiile şi exemplele pentru modelul de memorie Java
Modele de eroare (curs, J. Offutt, p. 1-16)
- Testarea bazată pe modele
tutorial de H. Robinson
- Automatizarea testării
- Testarea de integrare (curs, U. Ottawa)
Stabilirea unui plan de test (p. 1-30)
(ca referinţă, vezi şi IEEE Standard for Software Test Documentation)
Testarea aspectelor de securitate
Brian Marick. The Test Manager at the Project Status Meeting
Lectură recapitulativă:
Cem Kaner. The Ongoing Revolution in Software Testing
Alte cursuri
Diverse articole
Articole scrise de practicieni despre diverse aspecte ale testării
(se citesc foarte uşor şi au învăţături bune)
Articole ştiinţifice introductive/de sinteză despre testare
vezi şi listele de lectură introductivă şi de sinteză compilate de Tao Xie.
Marius Minea
Last modified: Thu May 29 21:30:00 EEST 2014