мову, час відновлення т.д.
Треба, однак, уявляти собі різницю між апаратурою і програмою, яка полягає, насамперед, в тому, що апаратура відмовляє з певною ймовірністю, навіть якщо вона не функціонує; програма ж не зношується, поломка програми неможлива. Практично не впливають на функціонування програм і виробничі дефекти (наприклад, помилки копіювання системи під час її переносу), так як вони рідкісні, швидко виявляються та легко усуваються. Помилки в програмах виявляються як систематичні і далеко не випадкові. Крім того, в різних застосуваннях одна і та ж програма може демонструвати різну інтенсивність відмов, що викликає серйозні труднощі при спробі використовувати методи теорії надійності апаратури для аналізу надійності програмного забезпечення.
Існує й інший підхід, орієнтований на аналіз структури програми з урахуванням специфіки її застосування. Важливу роль при такому підході грає керуючий граф програми. Керуючий граф (граф переходів) програми визначається як орієнтований граф, вершини якого відповідають одному або декільком операторам цієї програми, а дуги відбивають можливості передач управління між відповідними операторами.
Керуючий граф програми є моделлю цієї програми, що відображає логіку виконання цієї програми, складність її функціонування при будь-яких значеннях вихідних даних. Вивчення керуючого графа дозволяє зрозуміти закономірності поведінки програми в динаміці, дозволяє виявити багато некоректності в програмі, дозволяє перетворити програму з метою її оптимізації. Керуючий граф є основою для визначення стратегії тестування програми, її аналізу, налагодження.
У літературі можна зустріти різні визначення надійності програм. Одну групу визначень можна звести до такого визначення: надійність програми є якість її налагодження або число залишилися в програмі помилок.
Другу групу визначень подито живає визначення, що приводиться Г.Майерсом: Надійність програмного забезпечення є ймовірність його роботи без відмов протягом певного періоду часу, розрахована з урахуванням вартості (важливості) для користувача кожного відмови.
Наявність таких різних підходів, як до самої проблеми надійності програм, так і до визначення надійності, неминуче демонструє, що це - поняття не проста, що включає різні аспекти.
Надійна програма повинна володіти двома основними властивостями:
1. Програма повинна правильно функціонувати при коректній зовнішньому середовищі. Ми увазі, що завдання на проектування програми обумовлює, що таке правильне функціонування і для якої зовнішнього середовища (це і значення вхідних величин, і параметри керуючих програм, операційної системи, віртуальної і реальної машини, і зовнішні впливи тощо) повинно бути забезпечено це правильне функціонування. Природно, воно має бути забезпечено і для конструктивних коштів програми і для керуючих засобів. p> Така властивість програми назвемо безпомилковістю.
Природно, домогтися абсолютної безпомилк...
