Lecture06 (1185085), страница 3
Текст из файла (страница 3)
Автомат слева (тот же, что в разобранномвыше примере) будет спецификацией, автомат справа — реализацией. Возьмем другой обходспецификации — bababa. Получаем тест SbSaSbSaSbSaS/0y2y2y1x1x0x0. Напредложенной реализации этот тест дает выходную последовательность 0y2y2y1x1x0x1,которая отличается от корректной только в одном месте — последнем идентификаторесостояния.Легко видеть, что сложность тестирования автомата с n состояниями и p стимуламиметодом прямого тестирования равна 3pn.
Для метода обхода она не превосходит 2pn2 исуществуют автоматы, для которых она имеет порядок O(pn2).В следующей лекции рассматриваются более сложные методы тестирования автоматов,предназначенные для тех случаев, когда нет надежно работающих действий status и reset.Литература[1] M.
Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (eds.). Model Based Testing ofReactive Systems. LNCS 3472, Springer, 2005.[2] В. Б. Кудрявцев, С. В. Алешин, А. С. Подколзин. Введение в теорию автоматов.М.: Наука, 1985..