Критичність помилок в програмному забезпеченні і аналіз їх наслідків - фундаментальні дослідження

Джерелами помилок в програмному забезпеченні є фахівці - конкретні люди з їх індивідуальними особливостями, кваліфікацією, талантом і досвідом.

У більшості випадків потік програмних помилок може бути описаний негомогенних процесом Пуассона. Це означає, що програмні помилки виявляються в статистично незалежні моменти часу, напрацювання підкоряються експоненціальним розподілом, а інтенсивність прояву помилок змінюється в часі. Зазвичай використовують спадну інтенсивність прояву помилок. Т. е. Помилки, як тільки вони виявлені, ефективно усуваються без введення нових помилок.

Стосовно до надійності програмного забезпечення помилка це похибка або спотворення коду програми, ненавмисно внесені в неї в процесі розробки, які в ході функціонування цієї програми можуть викликати відмову або зниження ефективності функціонування. Під відмовою в загальному випадку розуміють подію, що полягає в порушенні працездатності об'єкта. При цьому критерії відмов, як ознака або сукупність ознак порушення працездатного стану програмного забезпечення, повинні визначатися виходячи з його призначення в нормативно - технічної документації.

У загальному випадку відмова програмного забезпечення можна визначити як:

  • припинення функціонування програми (спотворення нормального ходу її виконання, зациклення) на час перевищує заданий поріг;
  • припинення функціонування програми (спотворення нормального ходу її виконання, зациклення) на час що не перевищує заданий поріг, але з втратою всіх або частини оброблюваних даних;
  • припинення функціонування програми (спотворення нормального ходу її виконання, зациклення) привело до перезавантаження ЕОМ, на якій функціонує програмне забезпечення.

прояв помилки може спричинити за собою зниження ефективності функціонування програмного забезпечення і практично не призводить до виникнення відмови в ньому (ймовірність виникнення відмови дуже низька)

Як показник ступеня тяжкості помилки, що дозволяє дати кількісну оцінку тяжкості прояви наслідків помилки можна використовувати умовну ймовірність відмови програмного забезпечення при прояві помилки. Оцінку ступеня тяжкості помилки як умовної ймовірності виникнення відмови, можна робити відповідно до ГОСТ 28195 - 89 «Оцінка якості програмних засобів. Загальні положення », використовуючи метрики і оціночні елементи, що характеризують стійкість програмного забезпечення. При цьому оцінку необхідно проводити для кожної помилки в окремо, а не для всього програмного забезпечення.

Пропонуємо вашій увазі журнали, що видаються у видавництві «Академія природознавства»

(Високий імпакт-фактор РИНЦ, тематика журналів охоплює всі наукові напрямки)

Науковий журнал | ISSN 1812-7339 | ПІ №77-63397

Служба технічної підтримки - [email protected]

Відповідальний секретар журналу Бізенкова М.Н. - [email protected]



Матеріали журналу доступні на умовах ліцензії Creative Commons «Attribution» ( «Атрибуція») 4.0 Всесвітня.

Схожі статті

Copyright © 2024