Verificare si validare software. Introducere

More documents

Recommendations

Info

Tehnici ce vor fi discutate Testare black-box (fără acces la sursă) Testare white-box/glass-box (cu acces la sursă) – Generarea de teste la nivel de modul – Metrici de acoperire cu teste Analiză statică a codului sursă Analiză dinamică ¸<strong>si</strong> profilare Testarea programelor orientate pe obiecte Testarea programelor concurente <strong>Verificare</strong> (formală) a modelelor Generarea automată de teste – bazată pe specificat¸ie / model Conceperea unui plan de test
Erori au fost, erori sunt încă ...
Page 1: Verificare ¸si validare software.
Page 5 and 6: Erori grave: Therac-25 - aparat med
Page 7 and 8: Erori: racheta Ariane 5 - Autodistr
Page 9 and 10: Eroarea din procesorul Pentium Eroa
Page 11 and 12: Erori: probele trimise pe Marte Mar
Page 13 and 14: V & V: terminologie NASA Software A
Page 15 and 16: Ce e testarea ? “Testarea e proce
Page 17 and 18: Ce e testorul ? Rolul unui testor e
Page 19 and 20: Cauzele ¸si costul erorilor (cont.
Page 21 and 22: Cauzele ¸si costul erorilor (cont.
Page 23 and 24: Principii ale testării (Myers) Un
Page 25 and 26: Disciplina testării: organizare ¸
Page 27 and 28: Testarea - o viziune mai generală
Page 29 and 30: Calităt¸ile unui bun caz de test

Verificare si validare software. Introducere

Create successful ePaper yourself

Delete template?

Save as template?