лагодження;
. Кількості помилок залишається не виявленою;
. Часу, необхідного для виявлення наступної помилки в функціонуючої програмі;
. Часу, необхідного для виявлення всіх помилок із заданою ймовірністю.
Існують ряд математичних моделей:
Експоненціальна модель зміни помилок залежно від часу налагодження.
Дискретно-змінюється модель, що враховує дискретно-підвищує часу напрацювання на відмову, як лінійну функцію часу тестування та випробування.
Модель Шумана. Вихідні дані для моделі Шумана збираються в процесі тестування програмного забезпечення протягом фіксованих або випадкових тимчасових інтервалів.
Модель La Padula. За цією моделлю виконання послідовності тестів в m етапів. Кожен етап закінчується внесенням виправлень в програмне забезпечення.
Модель Джелінского - Моранді. Вихідні дані збираються в процесі тестування програмного забезпечення. При цьому фіксується час до чергової відмови.
Модель Шика - Волвертона. Модифікація моделі Джелінского - Моранді для випадку виникнення на розглянутому інтервалі більше однієї помилки.
Модель Муса. У процесі тестування фіксується час виконання програми (тестового прогону) до чергової відмови.
Модель перехідних ймовірностей. Ця модель заснована на марковском процесі, що протікає в дискретній системі з безперервним часом.
Модель Міллса. Використання цієї моделі передбачає необхідність перед початком тестування штучно вносити в програму деяку кількість відомих помилок.
Модель Липова. Модифікація моделі Міллса, яка розглядає ймовірність виявлення помилки при використанні різного числа тестів.
Проста інтуїтивна модель. Використання цієї моделі припускає проведення тестування двома групами програмістів незалежно один від одного, що використовують незалежні тестові набори.
Модель Коркорен. Модель використовує змінюються ймовірності відмов для різних типів помилок.
Модель Нельсона. Дана модель при розрахунку надійності програмного забезпечення враховує ймовірність вибору певного тестового набору для чергового виконання програми.
При такій великій кількості моделей таки основними з них є експоненціальна і дискретно-змінюється моделі.
2.1 Дискретно-яка змінює модель
У даній роботі під дискретно-яка змінює моделлю мається на увазі модель, яка грунтується на дискретній збільшенні часу напрацювання на відмову. Така модель базується на наступних припущеннях:
. Усунення помилок в програмі призводить до збільшення часу напрацювання на відмову T на одну і ту ж величину, рівну:
DT (1)=DT (2)=...=DT (i)=const (2.1.1)
DT (i)=T (i) - T (i - 1) (2.2.2)
. Час між двома послідовними відмовами:
ti=ti - ti - 1 (2.1.3)
є випадковою величиною, яку можна представити у вигляді суми двох випадкових величин:
ti=ti - 1 + Dt I (2.1.4)
