Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
IPZ_1modul.docx
Скачиваний:
0
Добавлен:
01.05.2025
Размер:
611.93 Кб
Скачать

52. Технологічні заходи мінімізації числа відмов у програмних системах.

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

Існує ряд вимог до розробки безвідмовного програмного забезпечення.

  1. Повинна бути точна (переважно формальна) специфікація системних вимог, визначальна систему, що розробляється.

  2. Організація - розробник ПЗ повинна мати високу культуру управління якістю, оскільки якість є головним у процесі створення критичних систем. В ідеалі передбачається, що програмісти створюють програми, в яких відсутні помилки.

  3. Методи проектування і реалізації ПЗ повинні грунтуватися на приховуванні та інкапсуляції інформації. Об'єктно-орієнтовані мови, такі як Java, задовольняють цій умові.

  4. У процесі реалізації програмного коду повинні використовуватися мови програмування із суворим контролем типів даних, наприклад Jаvа або Ada. У таких мовах багато помилок програмування будуть виявлені на етапі компілювання програм.

  5. Скрізь, де можливо, слід уникати використання тих програмних конструкцій, які потенційно можуть призвести до помилок. Такі конструкції обговорюються в наступному розділі.

  6. Повинна бути визначена чітка технологія розробки ПЗ, і розробники повинні бути навчені застосуванню цієї технології. Менеджери, відповідальні за якість, повинні перевіряти процес розробки.

Якщо при розробці програм використовувалися мови програмування низького рівня з обмеженим контролем типів даних, такі як С, то досягти безвідмовності програмного забезпечення дуже важко. На це є такі причини.

  1. Ці мови включають конструкції (такі, як покажчики), які, як відомо з досвіду, призводять до помилок. Незалежно від того, скільки програміст витратить зусиль, в програмі можливі помилки, які дуже важко виявити.

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

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]