Page 117 - 4566

Основні поняття в проблематиці надійності ПС
Формально моделі оцінки надійності ПС базуються на
теорії надійності і математичному апараті з допущенням
деяких обмежень, що впливають на цю оцінку. Головним
джерелом інформації, використовуваної в моделях
надійності, є процес тестування, експлуатації ПС і різного
вигляду ситуації, що виникають в них. Ситуації
породжуються виникненням помилок в ПС, вимагають їх
усунення для продовження тестування.
Базові поняття, які використовуються в моделях
надійності ПС, це:
Відмова ПС (failure) - це перехід ПС з працюючого
стану у непрацюючий або коли виходять результати, які не
відповідають заданим припустимим значенням. Відмова
може бути викликана зовнішніми чинниками (змінами
елементів середовища експлуатації) і внутрішніми -
дефектами у самій ПС.
Дефект (fault) у ПС - це наслідок використання
елементу програми, який може призвести до деякої події,
наприклад, в результаті невірної інтерпретації цього
елементу комп'ютером (як помилка у програмі) або людиною
(помилка виконавця). Дефект є наслідком помилок
розробника на будь-якому з процесів розробки - в описі
специфікацій вимог, початкових або проектних
специфікаціях, експлуатаційній документації тощо. Дефекти
в програмі, не виявлені в результаті перевірок, є джерелом
потенційних помилок і відмов ПС. Прояв дефекту у вигляді
відмови залежить від того, який шлях виконуватиме
фахівець, щоб знайти помилку в коді або у вхідних даних.
Проте не кожен дефект ПС може викликати відмову або
може бути пов'язаний з дефектом в ПС або середовищах.
Помилка (error) може бути наслідком недоліку в
одному з процесів розробки ПС, який приводить до

117