Построение поведенческих тестов для недетерминированной временной автоматной модели

Abstract

Техническое диагностирование распределенных информационных систем (РИС) характери- зуется сложностью из-за распределенности и неполноты описания объектов анализа. В работе для повыше- ния полноты тестирования временного недетерминированного автомата (ВНДА) решается задача построе- ния конструктивного описания модели тестирования (МТ), основанной на идентификации свойств в ВНДА, обладающей особенностями построения тестовых примитивов и предикатного представления недетерми- низма. МТ предназначена для определения условий поведенческого тестирования компонентов РИС.

Technical diagnosis of distributed information systems (RIS) is characterized by the complexity of the distribution and incomplete descriptions of objects of analysis. The work to improve the completeness of testing temporary non-deterministic automata (TNDA) solves the problem of building a constructive description of the model testing (MT) based on the identification of properties in TNDA have particularly construction of test primitives and predicate representation non-determinism. MT is designed to determine the conditions of behavioral testing components RIS.

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