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

Розглянуто неперервну процедуру стохастичної оптимізації з напівмарковськими переключеннями у схемі дифузійної апроксимації з умовами балансу на сингулярне збурення функції регресії. Для функції регресії, що залежить від рівномірно ергодичного напівмарковського процесу, встановлено достатні умови збіжності через властивості компенсуючого оператора розширеного процесу марковського відновлення процедури та його асимптотичне представлення на збуреній функції Ляпунова.

Розглянуто оптимізаційну процедуру для моделі тестування програмного продукту. Стохастичний процес виявлення помилок описано з допомогою напівмарковського процесу.

Optimization procedure for testing model was considered. Stochastic process of errors finding was described using of semi-Markov process.

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

Робота присвячена встановленню достатніх умов збіжності процедури стохастичної оптимізації, параметрами якої є еволюційний процес і напівмарковський процес, що описує впливи зовнішнього випадкового середовища, та встановленню асимптотичної поведінки процедури стохастичної оптимізації. Окремо розглянуто флуктуації процедур стохастичної оптимізації з імпульсним і дифузійним збуреннями. Встановлено достатні умови слабкої збіжності еволюції до граничного процесу та доведено відповідні теореми. Для цього одержано асимптотичний вигляд збуреного генератора процедури стохастичної оптимізації. Розглянуто задачу тестування програмного продукту з динамічною моделлю прогнозування надійності. Модифіковано таку модель і запропоновано для знаходження параметру кількості помилок тестування як критерію достатності процесу тестування ввести процедуру стохастичної оптимізації, що враховує впливи зовнішньої природи на систему.