Page 63 - 4592

 Статистичні методи закінчення тестування - стохастичні

методи прийняття рішень про збіг гіпотез про розподіл
випадкових величин. До них належать широко відомі: метод
2
Стюдента, метод  і т.п.
 Метод оцінки швидкості виявлення помилок - заснований на
моделі швидкості виявлення помилок, згідно з якою
тестування припиняється, якщо оцінений інтервал часу між

поточною помилкою і наступної занадто великий для фази
тестування програми.
Іноді припускають, що професійні програмісти пишуть

відразу майже правильні програми, що відрізняються від
правильних дрібними помилками або описками типу -
перестановка місцями максимальних значень індексів в описі

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

Підхід базується на наступних поняттях:
мутації - дрібні помилки в програмі.
мутанти - програми, що відрізняються один від одного

мутаціями.
Метод мутаційного тестування - у розроблювану програму P
вносять мутації, тобто штучно створюють програми-мутанти P 1,
P 2 ... Потім програма P і її мутанти тестуються на одному і тому

ж наборі тестів {X, Y}.
Якщо на наборі {X, Y} підтверджується правильність
програми P і, крім того, виділяються всі внесені до програми-

мутанти помилки, то набір тестів (X, Y) відповідає мутаційному
критерієм, а тестуєма програма оголошується правильною.
Якщо деякі мутанти не виявили всіх мутацій, то треба

розширювати набір тестів (X, Y) і продовжувати тестування.
Тестувати програмні додатки стає все важче, оскільки
продовжує зростати їх технічна і функціональна складність. На

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

63