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

  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
    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 (Kind Software).
    Discuţie. Feature interaction între call blocking şi call forwarding.
  8. Verificarea programelor concurente. PDF
  9. 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)
  10. Testarea bazată pe modele
    tutorial de H. Robinson
  11. Automatizarea testării
  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)
    Testarea aspectelor de securitate
    Brian Marick. The Test Manager at the Project Status Meeting
    Lectură recapitulativă:
    Cem Kaner. The Ongoing Revolution in Software Testing

Laborator

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