Методи побудови моделей тестування

Abstract

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