p align="justify"> Тестуючи програму протягом деякого часу, збирають статистику про помилки. У момент оцінки надійності по протоколу штучних помилок всі помилки поділяються на власні і штучні. Співвідношення, зване формулою Міллса,
N=
Дає можливість оцінити початкове число помилок у програмі N. Тут S - кількість штучно внесених помилок; n - число знайдених власних помилок; V - число виявлених до моменту оцінки штучних помилок.
1.3 Модель Джелінского-Моранді
Основне положення, на якому базується модель, полягає в тому, що в процесі тестування ПО значення інтервалів часу тестування між виявленням двох помилок має експоненційний розподіл з інтенсивністю відмов, пропорційної числу ще не виявлених помилок. Кожна виявлена ??помилка усувається, число залишилися помилок зменшується на одиницю.
Функція щільності розподілу часу виявлення i-й помилки, який починається від моменту виявлення (i - 1) -й помилки, має вигляд
)
Де - інтенсивність відмов, яка пропорційна числу ще не виявлених помилок у програмі:
Де N - кількість помилок, спочатку присутніх в програмі; С - коефіцієнт пропорційності.
Найбільш ймовірні значення величин N і С визначаються на основі даних, отриманих при тестуванні. Для цього фіксують час виконання програми до чергової відмови t1, t2, t3, ..., tk. Значення N і С можна отримати, розв'язавши систему рівнянь
Де
Q =;
A =;
B =.
Щоб отримати числові значення? , Потрібно підставити замість N і С їх можливі значення N і C. Розрахувавши До значень за формулою (5) і підставивши їх у вираз (4), можна визначити ймовірність безвідмовної роботи на різних тимчасових інтервалах.
1.4 Модель Липова
Липів модифікував модель Міллса, розглянувши ймовірність виявлення помилки при використанні різного числа тестів. Якщо зробити те ж припущення, що і в моделі Міллса, т.е що власні і штучні помилки мають рівну ймовірність бути знайденими, то ймовірність виявлення n власних і V внесених помилок
Де m - кількість використовуваних тестів, q - ймовірність виявлення помилки в кожному з m тестів, розрахована за формулою
;
S - загальна кількість штучно внесених помилок; N - кількість власних помилок, наявних в ПО до початку тестування.
.5 Постановка завдання
Назва програми: Програма розрахунку надійності програмного забезпечення.
Призначення розробки: Виходячи з введених користувачем даних, розрахувати основні показники надійності програмного продукту.
Вхідні дані вводяться в спеціальні поля. Після обробки даних, програма виводити результати у відповідних полях виводу.
Для коректної роботи програми всі поля повинні бути заповнені. За умовчанням в деяких моделях встановлені постійні значення коефіцієнтів пропорційності.
Для реалізації даної програми ми використовуємо мову програмування C #, на платформі Visual Studio.
Системні вимоги до ПК:
) Операційна система Windows 7 або вище.
) Вільне місце на жорсткому диску: 5МБ і більше.
) Наявність Net Framework 4.0 або вище.
) Оперативна пам'ять: 128МБ і вище.
) Клавіатура і миша.
2. Технологія розробки програми
.1 Алгоритм рішення
На самому початку виконання програми з'являється форма, де користувачеві пропонується заповнити відповідні поля необхідними для розрахунку даними.
На початку виконання програми проводиться перевірка повноти та коректності введених даних. Якщо користувача дані не пройшли перевірку - виводиться відповідне повідомлення.
Після успішно пройденої перевірки на коректність і повноту, програма починає робити обчислення. Програма зчитує дані, заповнені в спеціальних полях і проводить розрахунок за формулами.
Після цього результати виводяться у спеціально відведені вікна, а виконання програми припиняється.
2.2. Макет програми
.2.1 Макет додатки. Модель Шумана (tabPage1)
menuStrip1 - виводить список меню містить пункти Зберегти результати і Вихід
tabPage1 - вкладка елемента tabControl1, що містить в собі елементи: label49 - 54, label63 - 67, label 61, label59, label48, label62, label5...
