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ů.

• Rychlost defektu pozorovaných během vývojového procesu je positivně korelovaná s rychlostí defektu v poli nasazení
• Za předpokladu stejné rychlosti injektáže chyb, čím více defektů je objeveno a odstraněno dříve, tím méně jich zůstane na pozdější fáze.
• Princip „Udělej to správně hned napoprvé“: jestliže každý krok vývojového procesu se provede s minimálním vznikem chyb, pak finální produkt bude dobrý. Rovněž znamená, ze vzniklé chyby se mají odstraňovat co nejdříve.

• 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):

• Pokud se aplikuje v softwaru, pak PDF typicky znamená hustotu defektů (rychlosti) v době přírustkového vzoru defektů (platné defekty) a CDF znamená kumulativní vzor přírustku defektů.

• Patří do rodiny Weibullových distribucí.
• m = 2

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