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

Шабалдина Н.В., Евтушенко Н.В. Построение тестов для конечных автоматов относительно неразделимости.Для детерминированных автоматов методы построения проверяющих тестов достаточно хорошо развиты.Метод построения полного проверяющего теста относительно модели неисправности.Улучшение метода построения полного проверяющего теста относительно модели неисправности.Модифицированный метод построения полного проверяющего теста относительно модели неисправности.Построение полного проверяющего теста относительно модели неисправности.Представленную на рисунке 5, и построим полный проверяющий тест относительно модели неисправности .Алгоритм 3 доставляет полный проверяющий тест относительно модели неисправности .Конечные автоматы и отношения между ними.Построение разделяющей последовательности для автоматов.