Анотація до роботи:

Коротун Т. М. Моделі та методи інженерії тестування програмних систем в умовах обмежених ресурсів. – Рукопис.

Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.03 – математичне та програмне забезпечення обчислювальних машин та систем. – Інститут кібернетики ім. В.М. Глушкова НАН України, Київ, 2005.

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

Стратегія тестування полягає у визначенні модулів, які потребують більш тривалого тестування. Час тестування кожного модуля повинен виділятися таким чином, щоб вартість (трудомісткість) тестування відповідала величині ризику використання модуля при роботі ПС.

Запропонована стратегія тестування покладена в основу побудованого базового процесу тестування ПС оброблення даних, який впорядковує задачі тестування, виконувані на різних стадіях розроблення ПС.

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

Головним результатом дисертації є розроблення та обґрунтування математичної моделі, базового процесу тестування ПС оброблення даних в умовах обмежених ресурсів, а також декількох методик, спрямованих на підвищення якості ПС.

Основні результати дисертаційної роботи:

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

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

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

4. Розроблено базовий процес тестування програмних систем оброблення даних, що враховує запропоновані критерії, моделі та методи оцінки ризиків відмов і оптимального часу тестування модулів ПС. Запропоновано методику виконання цього процесу.

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

6. Проведено впровадження базового процесу тестування та ПК Тест_Інженер в два проекти ДКР для виконання тестування ПС, розроблюваних на замовлення МО України.

Впровадження результатів дослідження в організації розробника НДІ АКС “Екотех” дозволило підвищити ефективність виконання процесу тестування, зробити його керованим та відстежуваним, суттєво зменшити кількість дефектів у розроблених ПС.