Дослідження, вдосконалення та аналіз моделей тестування надійності програмного забезпечення. Оптимізаційна процедура для моделі тестування програмного продукту. Стохастичний процес виявлення помилок, описаний з допомогою напівмарковського процесу.
Аннотация к работе
Чабанюк**, д-р фіз.-мат. наук, професор *Національний університет «Львівська політехніка», м. Розглянуто оптимізаційну процедуру для моделі тестування програмного продукту.Першочергова і фундаментальна відмінність програмних проектів від технічних засобів та систем полягає в тому, що програмний продукт не тільки не зношується з часом, що відбувається з технікою, а ще й те, що в результаті процесу використання виявляються та усуваються помилки, не говорячи про можливість модернізації шляхом розширення програми за рахунок нових модулів. Розглядаються моделі, в основі яких лежить пуас-сонівський розподіл кількості помилок на інтервалах тестування програмного продукту. Перевага моделі на основі кількості помилок над моделлю на основі часу між ними полягає в тому, що визначення часу між окремими помилками може мати куди меншу точність та більшу похибку за рахунок стороннього впливу на перших етапах тестування, на відміну від сумарних результатів на тестовому проміжку. З іншої точки зору дослідження часу між помилками може мати свої переваги при оцінці кінцевих етапів тестування, де кількості виявлених помилок відчутно зменшуються. На віддалених етапах тестування, нас цікавить, не тільки кількість помилок на проміжку, а й час між помилками, тобто виконання умови X(t ? s)? X(t) ? 0 , де s час, що минув після виявлення останньої помилки, тобто ймовірність, що час s менший за час до настання наступної помилки.