Модель поведінкових тестів транспортування компонентів

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