Бағдарламалық жасақтаманың сенімділік модельдерінің тізімі - List of software reliability models - Wikipedia

Бағдарламалық жасақтаманың сенімділігі - бұл бағдарламалық жасақтаманың белгілі бір жұмыс уақытында жүйенің істен шығуына әкелетін ықтималдығы. Бағдарламалық жасақтама ескіргендіктен істен шықпайды, бірақ ақаулы функционалдылыққа, уақытқа, реттілікке, мәліметтерге және ерекше жағдайларды өңдеуге байланысты істен шығады. Бағдарламалық жасақтама күнтізбелік уақытқа қарағанда жұмыс уақытының функциясы ретінде істен шығады. 1970-ші жылдардың басынан бастап 225-тен астам модельдер әзірленді, алайда олардың кейбіреулері ұқсас, алайда бірдей емес жорамалдарға ие. Модельдердің екі негізгі түрі бар - болжауды модельдеу және бағалауды модельдеу.

1.0 Бағдарламалық жасақтаманың сенімділігін болжау модельдеріне шолу

Бұл модельдер нақты бағдарламалық жасақтама жобаларынан алынған тарихи деректерден алынған. Пайдаланушы бағдарламалық жасақтаманың сенімділігін болжау үшін тарихи деректерді калибрлейтін сұрақтар тізіміне жауап береді. Болжамның дәлдігі модельде қанша параметр (сұрақ) мен деректер жиынтығына, мәліметтер қаншалықты өзекті екеніне және пайдаланушы олардың енгізулеріне қаншалықты сенімді екендігіне байланысты. Алғашқы болжам модельдерінің бірі Рим зертханасы TR-92-52 болды. Ол 1987 жылы жасалып, соңғы рет 1992 жылы жаңартылып, авиациялық жүйелердегі бағдарламалық жасақтамаға бағытталған. Модель мен деректердің жасына байланысты бұл енді ұсынылмайды, бірақ Shortcut моделі, Full масштабты модель және Neufelder бағалау моделі сияқты бірнеше заманауи модельдерге негіз болады. Бағдарламалық жасақтама ақауларының тығыздығына қабілеттіліктің жетілуіне немесе қосымша түріне негізделген іздеу кестелері де берілген. Бұл өте қарапайым модельдер, бірақ негізінен бағалауға негізделген модельдер сияқты дәл емес.[1]

ҮлгіКірістер саныӨнеркәсіп қолдайдыҮлгіні қолдану үшін күш қажетСалыстырмалы дәлдікЖасалған жылы /

Соңғы жаңартылған

Салалық кестелер1БірнешеЖылдамӘр түрлі1992, 2015
CMMI® кестелері1Кез келгенЖылдамCMMi® төмен болғанда төмен1997, 2012
Төте жол моделі23Кез келгенОрташаОрташа1993, 2012
Толық ауқымды модель94-299Кез келгенТолығырақОрташа жоғары1993, 2012
Метрикалық модельдерӘр түрліКез келгенӘр түрліӘр түрліNA
Тарихи деректерКем дегенде 2Кез келгенТолығырақЖоғарыNA
Рэлей моделі3Кез келгенОрташаОрташаNA
RADC TR-92-5243-222ҰшақТолығырақЕскірген1978, 1992
Neufelder моделі156Кез келгенТолығырақОртадан жоғарыға дейін2015

2.0 Бағдарламалық жасақтама сенімділігінің өсуіне шолу (бағалау) Модельдер

Бағдарламалық жасақтама сенімділігінің өсуі (немесе бағалау) модельдері сәтсіздік деңгейін немесе MTBF-ті болашаққа болжау үшін тестілеуден сәтсіздік деректерін пайдаланады. Модельдер сынақ кезіндегі ақаулық деңгейі туралы болжамдарға тәуелді болады, олар жоғарылауы, шарықтауы, азаюы немесе азаюы мен жоғарылауының кейбір үйлесуі мүмкін. Кейбір модельдер тән ақаулардың шектеулі және тіркелген саны бар деп санайды, ал басқалары оны шексіз деп санайды. Кейбір модельдер параметрлерді бағалау үшін күш жұмсауды қажет етеді, ал басқаларында бағалау үшін бірнеше параметрлер бар. Кейбір модельдер тестілеу кезінде табылған әрбір сәтсіздік арасындағы нақты уақытты талап етеді, ал басқаларында тек бір тәулік сияқты кез келген уақыт аралығында табылған қателер саны болуы керек.

Үлгі атауыАқауларды санауКүш қажетСәтсіздіктер арасындағы нақты уақытты талап етеді
Ақаулықтың жоғарылауы
ВейбуллаАқырлы / бекітілмегенЖоғарыNA
Шың
Шоманның тұрақты ақауларын жою моделіАқырлы / бекітілгенТөменИә
Ақаулық деңгейінің төмендеуі
Шоманның тұрақты ақауларын жою моделіАқырлы / бекітілгенТөменИә
Сызықтық төмендету
Жалпы экспоненциалды модельдер, соның ішінде:

· Гоэль-Окумото (экспоненциалды)[2]

· Мұсаның негізгі моделі

· Желинский-Моранда

Ақырлы / бекітілгенОрташаИә
Shooman сызықтық төмендету моделіАқырлы / бекітілгенТөменИә
ДуэнШексізОрташаЖоқ
Сызықтық емес төмендету
Муса-Окумото (логарифмдік)ШексізТөменИә
Шоманның экспоненталық төмендеу моделіАқырлы / бекітілгенЖоғарыИә
ЛогистикалықАқырлы / бекітілгенЖоғарыИә
ГеометриялықШексізЖоғарыИә
Көтеру, содан кейін азайту
Ямада (кешіктірілген)

S-тәрізді

ШексізЖоғарыИә
ВейбуллаАқырлы / бекітілмегенЖоғары

Осы модельдердің кейбіреуін іске асыратын бағдарламалық жасақтама сенімділігі құралдары CASRE (Computer-Aided Software Reliability Estimation) және ашық бастапқы кодты SFRAT (Бағдарламалық жасақтаманың істен шығуы және сенімділікті бағалау құралы) қамтиды.

Әдебиеттер тізімі

  1. ^ «Сенімді бағдарламалық жасақтама туралы суық шындық». www.softrel.com. Алынған 2017-02-13.
  2. ^ Гоэль, Амрит; Окумото, Казу (тамыз 1979). «Бағдарламалық жасақтаманың сенімділігі және басқа да жұмыс шаралары үшін уақытқа тәуелді қателерді анықтау жылдамдығының моделі». IEEE сенімділігі бойынша транзакциялар. R-28 (3): 206–211. дои:10.1109 / tr.1979.5220566.

[1][2][3]

  1. ^ «IEEE 1633 бағдарламалық жасақтама сенімділігі бойынша ұсынылған тәжірибелер, 2016 ж.». Қаңтар 2017. Журналға сілтеме жасау қажет | журнал = (Көмектесіңдер)
  2. ^ CASRE: компьютердің көмегімен бағдарламалық жасақтаманың сенімділігін бағалау құралы. 1992. дои:10.1109 / CASE.1992.200165.
  3. ^ Бағдарламалық жасақтаманың сенімділігі құралы: пайдаланушыларға арналған нұсқаулық. 2016.