lign="justify"> Відомо, що збій в теорії надійності визначається як самоусувається відмову, не вимагає втручання з поза для його усунення. Іншим словом - збій є автоматично усуваються відмови, що має досить малий час відновлення. Тому стосовно надійності програмного забезпечення АСУ варто конкретно вказувати критерій, що дозволяє віднести втрату працездатності комплексу програм до відмови або збою. В якості такого критерію візьмемо деяке порогове значення часу відновлення (? В пор).
Таким чином на усунення збою затрачається менше часу і ресурсів ніж на усунення відмови. У формалізованому вигляді визначення збою і відмови програмного забезпечення можуть бути представлені як:
? в с < ? в пір < ? в о (1.1)
? в с - час відновлення після збою.
? в о - час відновлення після відмови.
Стійкість функціонування програмного забезпечення - це здатність обмежувати наслідки внутрішніх помилок в програмах і несприятливих впливів зовнішнього середовища (до яких відноситься несправності апаратури, некоректність вхідних даних, помилки оператора та інші) і протистояння їм.
У проведеному аналізі основних понять надійності програмного забезпечення дано визначення, відмови, помилки і надійності програмного забезпечення. З'ясувалося, що перехід з працездатного стану в непрацездатний відбувається під впливом програмних відмов. З тимчасових показників видно, що на усунення збою затрачається менше часу і ресурсів ніж на усунення відмови.
.2 Основні причини та ознаки виявлення помилок програмного забезпечення
Основними причинами помилок програмного забезпечення є:
Велика складність програмного забезпечення, наприклад, в порівнянні з апаратурою ЕОМ.
Неправильний переклад інформації з одного подання в інше на макро та мікро рівнях. На макро рівні, рівні проекту, здійснюється передача і перетворення різних видів інформації між організаціями, підрозділами та конкретними виконавцями на всіх етапах життєвого циклу ПЗ. На мікро рівні, рівні виконавця, виробляється перетворення інформації за схемою: отримати інформацію, запам'ятати, вибрати з пам'яті, відтворити інформацію.
Джерелами помилок програмного забезпечення є:
Внутрішні: помилки проектування, помилки алгоритмізації, помилки програмування, недостатня якість засобів захисту, помилки в документації.
Зовнішні: помилки користувачів, збої і відмови апаратури ЕОМ, спотворення інформації в каналах зв'язку, зміни конфігурації системи.
Ознаками виявлення помилок є:
. Передчасне закінчення програми.
. Збільшення часу виконання програми.
. Порушення послідовності виклику окремих підпрограм.
. Помилки виходу інформації, що надходить від зовнішніх джерел, між вхідною інформацією виникає не відповідність через: спотворення даних на первинних носіях, збої і відмови в апаратурі, шуми і збої в каналах зв'язку, помилки в документації.
Помилки приховані в самій програмі: помилка обчислень, помилка введення-виведення, логічні помилки, помилка маніпулювання даними, помилка сумісності, помилка спол...