Курсовая работа: Модификация метода построения тестов для конечных автоматов относительно неразделимости

Модификация метода построения тестов для конечных автоматов относительно неразделимости

Содержание

• Модификация метода построения тестов для конечных автоматов относительно неразделимости
• ВВЕДЕНИЕ
• 1. Основные определения и обозначения
• 1.1 Конечные автоматы и отношения между ними
• 1.3 Модель неисправности и проверяющий тест
• 2. Метод построения полного проверяющего теста относительно модели неисправности
• 3. Улучшение метода построения полного проверяющего теста относительно модели неисправности
• 3.1 Исследование условий усечения дерева
• Естественно, сокращение тестовой последовательности можно также обобщить и для случая, когда на рассматриваемом пути дерева перебираются все подмножества для нескольких подмножеств Pi множества K, в том числе и в случае, когда эти подмножества пересекаются. Данный случай иллюстрирует правый путь дерева, изображенного на рисунке 8. На этом пути дерева сначала перебираются все возможные подмножества для P1={b}. Для пересекающегося с P1 множества P2={a, b} теперь достаточно всего трех вершин, помеченных подмножествами P2, чтобы были перебраны все возможные подмножества P2. И соответствующий путь в дереве TreeSÇT усекается после {a1}z{b1,b2}z{b1}z{b2}x{a2}y{c1,c2}y{c1}y{c2}y{a,b,c}, а длина тестовой последовательности составляет 8 символов.
• 3.2 Модифицированный метод построения полного проверяющего теста относительно модели неисправности
• ЗАКЛЮЧЕНИЕ
• В данной работе изучен метод построения тестов для недетерминированных автоматов относительно модели "черного ящика", предложенный в работе [1]. Этот метод, в отличие от других методов синтеза тестов для недетерминированных автоматов, не ориентирован на выполнение предположения "о всех погодных условиях". Исследованы возможные подходы к улучшению рассмотренного метода и предложена модификация данного метода. Показано, что тест, построенный согласно модифицированному методу, будет по-прежнему полным, но при этом менее избыточным.
• ЛИТЕРАТУРА