ПОБУДОВА ПОВЕДІНКОВИХ ТЕСТІВ ДЛЯ НЕДЕТЕРМІНОВАНОЇ ЧАСОВОЇ АВТОМАТНОЇ МОДЕЛІ

Анотація

Технічне діагностування розподілених інформаційних систем (РІС) характеризується актуальністю, обумовленої критичним застосуванням РІС, складністю через розподіленої, випадковою, подієвої природи, неповноти опису об'єктів аналізу. Звідси випливає актуальність досліджень поведінкових моделей і методів тестування, що володіють властивостями недетермінізму, асинхронності, паралелізму.
Метою цієї роботи є підвищення повноти тестування і скорочення обчислювальних витрат на синтез поведінкових тестів на основі ідентифікації їх властивостей за рахунок застосування моделі розширеного часового автомата (РЧА), що володіє властивостями недетермінізму.
Для досягнення мети вирішується завдання побудови конструктивного опису моделі тестування (МТ), заснованої на недетермінованому РЧА, що володіє особливостями побудови поведінкових і тимчасових тестових примітивів, а також предикатного уявлення недетермінізму. МТ призначена для визначення умов поведінкового тестування компонентів РІС.
Реалізація МТ для WEB-сервісів РІС підтвердила доцільність виконання даних досліджень і реалізацій в задачах синтезу тестів.