Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов

• Автор: Тренькаев, Вадим Николаевич
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2000
• Место защиты: Томск
• Количество страниц: 189 с.

Необходимые определения и обозначения. Отношения эквивалентности и редукции между автоматами. Автоматные сети. Методы синтеза полных проверяющих тестов для детерминированных автоматов. Универсальный тест для модели черного ящика. Метод М. Метод идентификаторов. Метод гармонизированных идентификаторов. Метод на базе функции неисправности. Функция неисправности. Методы синтеза полных проверяющих тестов для недетерминированных автоматов относительно редукции. Выводы по главе 1. Представление несущественных неисправностей в компоненте сети с помощью недетерминированного автомата. Приведенная форма сетевого эквивалента. Выводы по главе 2. Синтез тестов для компоненты сети, как для изолированного детерминированного автомата. Синтез тестов на основе внешней эквивалентности. Наличие контрольной точки. Описание эталонного поведения проверяемой сети недетерминированным автоматом. Методы синтеза тестов для компоненты в присутствии контрольной точки. Ограничение числа состояний автомата проверяемой сети.


В диссертации предлагаются методы построения проверяющих тестов для компоненты на основе автомата, описывающего поведение эталонной сети, а также методы, использующие аппроксимацию и сетевой эквивалент,
описывающис несущественные, в данном случае необнаружимые, неисправности проверяемой компоненты. Если тесты строить на основе автомата, описывающего поведение эталонной сети, то они получаются избыточными, т. Исключением является метод перебора всех неисправных сетей, но данный подход имеет практическую пригодность только при малом количестве неисправностей компоненты. На основе аппроксимации и сетевого эквивалента могут быть построены безызбыточные тесты для компоненты автоматной сети. Методы синтеза полных проверяющих тестов для компоненты, использующие модели неисправности, в которой в качестве эталона выступает автомат эталонной сети, а отношение между автоматами есть отношение эквивалентности, отличаются друг от друга способом задания области неисправности множества автоматов неисправных сетей. Отметим, что, чем точнее определена область неисправности, тем больше вероятность, что построенный тест будет иметь меньшую длину. Когда количество неисправностей компоненты невелико и множество ее неисправностей задается в явном виде, т. Объединение таких последовательностей дает искомый тест. Данный подход доставляет проверяющие тесты по длине близкие к минимальным. Модель черного ящика, когда известна верхняя граница числа состояний автомата проверяемой сети, а также задание множества автоматов проверяемых сетей с помощью функции неисправности, не требуют явного перечисления всех неисправных сетей.