Seznam modelů spolehlivosti softwaru - List of software reliability models - Wikipedia

Spolehlivost softwaru je pravděpodobnost, že software způsobí selhání systému během určité zadané doby provozu. Software nezlyhá kvůli opotřebení, ale selže kvůli chybné funkčnosti, časování, řazení, zpracování dat a výjimek. Software selže jako funkce provozního času na rozdíl od kalendářního času. Od začátku 70. let bylo vyvinuto více než 225 modelů, některé z nich však mají podobné, ne-li identické předpoklady. Modely mají dva základní typy - predikční modelování a odhadové modelování.

1.0 Přehled modelů predikce spolehlivosti softwaru

Tyto modely jsou odvozeny ze skutečných historických dat ze skutečných softwarových projektů. Uživatel odpovídá na seznam otázek, které kalibrují historická data, aby poskytly předpověď spolehlivosti softwaru. Přesnost predikce závisí na tom, kolik parametrů (otázek) a datových sad je v modelu, jak aktuální jsou data a jak si je uživatel jistý svými vstupy. Jedním z prvních predikčních modelů byl Rome Laboratory TR-92-52. Byl vyvinut v roce 1987 a naposledy aktualizován v roce 1992 a byl zaměřen na software v avionických systémech. Vzhledem k stáří modelu a dat se již nedoporučuje, ale je základem pro několik moderních modelů, jako je Shortcut model, Full-scale model a Neufelder assessment model. K dispozici jsou také vyhledávací tabulky pro hustotu softwarových vad na základě vyspělosti schopností nebo typu aplikace. Jedná se o velmi jednoduché modely, ale obecně nejsou tak přesné jako modely založené na hodnocení.[1]

ModelkaPočet vstupůPodpora průmysluK použití modelu je zapotřebí úsilíRelativní přesnostRok vyvinutý /

Naposledy aktualizováno

Průmyslové tabulky1NěkolikRychlýLiší se1992, 2015
Stoly CMMI®1ŽádnýRychlýNízká při nízké CMMi®1997, 2012
Zkratkový model23ŽádnýMírnýStřední1993, 2012
Full-scale model94-299ŽádnýDetailníStředně vysoký1993, 2012
Metrické modelyLiší seŽádnýLiší seLiší seNA
Historická dataMinimálně 2ŽádnýDetailníVysokýNA
Rayleighův model3ŽádnýMírnýStředníNA
RADC TR-92-5243-222LetadloDetailníZastaralý1978, 1992
Neufelderův model156ŽádnýDetailníStřední až vysoká2015

2.0 Přehled růstu spolehlivosti softwaru (odhad) Modely

Modely růstu spolehlivosti softwaru (nebo odhadu) používají údaje o selhání od testování k předpovědi míry selhání nebo MTBF do budoucnosti. Modely závisí na předpokladech o chybovosti během testování, které mohou být buď zvyšující se, vrcholící, klesající, nebo nějaká kombinace snižování a zvyšování. Některé modely předpokládají, že existuje konečný a pevný počet inherentních vad, zatímco jiné předpokládají, že je to nekonečné. Některé modely vyžadují úsilí pro odhad parametrů, zatímco jiné mají jen několik parametrů k odhadu. Některé modely vyžadují přesný čas mezi každou chybou zjištěnou při testování, zatímco jiným stačí, aby byl nalezen počet poruch během daného časového intervalu, například dne.

Jméno modeluVlastní počet defektůVyžaduje se úsilíVyžaduje přesný čas mezi poruchami
Zvyšování poruchovosti
WeibulleKonečný / nefixovanýVysokýNA
Vrchol
Model rychlosti odstraňování vady ShoomanKonečný / pevnýNízkýAno
Klesající chybovost
Model rychlosti odstraňování vady ShoomanKonečný / pevnýNízkýAno
Lineárně klesá
Obecné exponenciální modely včetně:

· Goel-Okumoto (exponenciální)[2]

· Základní model Musa

· Jelinski-Moranda

Konečný / pevnýStředníAno
Shooman Lineárně se zmenšující modelKonečný / pevnýNízkýAno
DuaneNekonečnýStředníNe
Nelineárně klesá
Musa-Okumoto (logaritmické)NekonečnýNízkýAno
Shooman Exponenciálně se zmenšující modelKonečný / pevnýVysokýAno
Log-logistickéKonečný / pevnýVysokýAno
GeometrickýNekonečnýVysokýAno
Zvyšování a snižování
Yamada (zpožděno)

Ve tvaru písmene S.

NekonečnýVysokýAno
WeibulleKonečný / nefixovanýVysoký

Mezi nástroje spolehlivosti softwaru implementující některé z těchto modelů patří CASRE (Computer-Aided Software Reliability Estimation) a open source SFRAT (Software Failure and Reliability Assessment Tool).

Reference

  1. ^ „Chladná tvrdá pravda o spolehlivém softwaru“. www.softrel.com. Citováno 2017-02-13.
  2. ^ Goel, Amrit; Okumoto, Kazu (srpen 1979). „Časově závislý model rychlosti detekce chyb pro spolehlivost softwaru a další měření výkonu“. Transakce IEEE na spolehlivost. R-28 (3): 206–211. doi:10.1109 / tr.1979.5220566.

[1][2][3]

  1. ^ „Doporučené postupy IEEE 1633 pro spolehlivost softwaru, 2016“. Leden 2017. Citovat deník vyžaduje | deník = (Pomoc)
  2. ^ CASRE: počítačový nástroj pro odhad spolehlivosti softwaru. 1992. doi:10.1109 / CASE.1992.200165.
  3. ^ Nástroj spolehlivosti softwaru s otevřeným zdrojovým kódem: průvodce pro uživatele. 2016.