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

• 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ý

často definovaná jako pravděpodobnost, že systém, vozidlo, stroj, zařízení, atd. bude vykonávat svou zamýšlenou funkci v daných operačních podmínkách po specifikovanou dobu.

používají se k odhadu spolehlivosti nebo počtu zbývajících defektu softwarového produktu, který byl uvolněn mezi zákazníky. Důvody použití:

1. Objektivní vyjádření kvality produktu
2. Plánování zdrojů pro fázi údržby sw.

Sledovanou proměnnou studovaných kritérií je počet defektu (nebo rychlost defektu normalizovaná počtem řádku kódu) za daný casový interval (týdny, měsíce, atd.), nebo doba mezi dvěma selháními.

používá atributy projektu nebo programových modulu k odhadu počtu defektu v softwaru.

• Parametry modelu jsou odhadovány na základě řady předchozích projektů.

• jedna ze tří známých distribucí extremálních hodnot
• konce hustory pravděpodnosti se blíží asymptoticky k nule, ale nikdy ji nedosáhnou.
• kumulativní distribuční funkce (CDF):

• funkce hustoty pravděpodobnosti (PDF):

používá průběžného vývoje vzoru defektů k odhadu spolehlivosti finálního produktu.

• Parametry dynamických modelů jsou odhadovány na základě mnoha údaju zaznamenaných o hodnoceném produktu k danému datu.
• Kategorie:
  • Modeluje se celý vývojový proces. Model vychází s Rayleighova modelu.
  • Modeluje se fáze formálního testování. Model vychází z exponenciálního modelu a jiných modelů růstu spolehlivosti.

1. 3. přednáška TVS
2. TVS – zkouška 2010/2011
3. 13. přednáška TVS