Lectures

Saptamana 1  

Curs 1 -- Introducere

Saptamana 2  

Curs 2 -- Testare black-box

Saptamana 3  

Curs 3 -- Testare white-box. Acoperire cu teste

Saptamana 4  

Curs 4 -- Verificare formala

Saptamana 5  

Curs 5 -- Analiza statica

Saptamana 6  

Curs 6 -- Model checking

Saptamana 7  

Curs 7 -- Formal specification (p.146-186)

Specification with JML: JML tutorial (by Kind Software)

Saptamana 8  

Curs 8 -- Verificarea programelor concurente

Java Memory Model

Saptamana 9  

Curs 9 -- Testarea programelor orientate pe obiecte

Saptamana 10  

Curs 10 -- Automatizarea testarii

Saptamana 11  

Curs 11 -- Testarea bazata pe modele

tutorial Model Based Testing

Saptamana 12  

Testarea de integrare (curs, U. Ottawa)

Testarea sistemelor bazate pe microservices

Saptamana 13  

Proiectarea unui plan de test (p. 1-30)

Brian Marick. The Test Manager at the Project Status Meeting

Saptamana 14  

ghid Writing Testable Code

Acknowledgements

Acest curs are la baza cursul de Verificare si Validare Software al conf. dr. ing. Marius Minea, curs pe care il puteti accesa aici