Verificare si validare software. Introducere

More documents

Recommendations

Info

Erori: racheta Ariane 5 - Autodistrugere după o defect¸iune la 40 s de la lansare (1996) - Cauza: conversia 64-bit float → 16-bit int generează o except¸ie de depă¸sire netratată în programul ADA - Cost: 500 milioane dolari (racheta), 7 miliarde dolari (proiectul)
Erori: racheta Ariane 5 - Autodistrugere după o defect¸iune la 40 s de la lansare (1996) - Cauza: conversia 64-bit float → 16-bit int generează o except¸ie de depă¸sire netratată în programul ADA - Cost: 500 milioane dolari (racheta), 7 miliarde dolari (proiectul) Analiză retrospectivă principala cauză: reutilizarea nejudicioasă de software cod preluat de la Ariane 4, fără reanalizare corespunzătoare: - execut¸ia nu mai era necesară in timpul erorii - analiza absent¸ei depă¸sirii pentru variabilele neprotejate ⇒ necesitatea specificării ¸si respectării unei interfet¸e proiectarea gre¸sită a redundant¸ei: sistemul de referint¸ă inert¸ial ¸si cel de rezervă scoase din funct¸iune de aceea¸si eroare
Page 1 and 2: Verificare ¸si validare software.
Page 3 and 4: Erori au fost, erori sunt încă ..
Page 5: Erori grave: Therac-25 - aparat med
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?