110
Як відзначається в [42], задача оцінки надійності ПЗ складаєть-
ся з таких складових:
оцінка і контроль статистичних характеристик вихідних те-
кстів програм;
розробка аналітичної моделі надійності програми для оцін-
ки показників надійності в процесі тестування програми;
розробка моделі надійності великих програмних комплексів.
До числа статистичних параметрів, які впливають на склад-
ність розробки ПЗ, відносяться [43]: довжина вихідного тексту про-
грам, що виражається як функція кількості операндів та операторів;
об’єм вихідного тексту програми; рівень якості програми; рівень мови
програмування. Ці параметри дають можливість визначати: умовну
роботу по програмуванню; час на програмування; інтелектуальний
зміст програми; число очікуваних первинних помилок у вихідних тек-
стах програм і прогнозоване їх число для нових програм. Основою для
оцінки характеристик надійності програм по вихідних текстах є емпі-
ричні дані, отримані в результаті випробувань програм. Найбільш по-
вний аналіз емпіричних даних наведений в [43]. В результаті аналізу
помилок в програмах були сформовані переліки найбільш характер-
них типів помилок: обчислень, логічні, введення-виведення, маніпу-
лювання даними, сполучення, визначення даних в базі даних, опера-
ційної системи. В результаті аналізу був визначений розподіл помилок
по типах, причому частка помилок проектування програми для всіх
типів програм – максимальна. Був проведений аналіз залежності числа
помилок від величини програмного модуля. Більш великі програмні
модулі містять більшу кількість помилок, причому найкраща лінійна
оцінка складає від 10 до 20 помилок на 1000 операторів вихідного те-
ксту. В [10] приводяться дані, що до початку системного тестування в
ПЗ на кожну тисячу операторів приходиться десять помилок. Рівень
надійності вважається допустимим для початку експлуатації, якщо
цьому ж об’єму операторів відповідає одна помилка [10], тобто
оппом
VN
3
10