Kategorizace SW chyb, kriteria korektnosti a použitelnosti, spolehlivost SW(A4M33TVS)

* This is a list

• The second item
  • You may have different levels
• Another item

• Prezentace toho, že program nedělá něco nepředpokládaného
• Míra toho, kdy program přestává být užitečný (lidem)
• Je to nesouhlas mezi programem se specifikací

* Pochybení: Akce člověka, která produkuje nesprávný výsledek. * Vada: Nesprávný krok, proces nebo definice dat v počítačovém programu. Výsledek pochybení. Potenciálně vede k selhání. * Selhání: Nesprávný výsledek. Projev vady. * Chyba: Kvantitativní vyjádření toho, na kolik je výsledek nesprávný

- 3. přednáška TVS