Сборники трудов ИСП РАН


Локализация неисправной компоненты в композиции расширенных автоматов.

Светлана Прокопенко.

Аннотация

Проблема локализации неисправной компоненты в автоматной сети хорошо известна, и в данной работе мы решаем эту проблему для бинарной сети из расширенных автоматов. Для каждой из компонент строится мутационный расширенный автомат, описывающий наиболее вероятные неисправности компоненты. Для композиции мутационного автомата со спецификацией другой компоненты посредством моделирования определяется древовидный конечный автомат, поведение которого совпадает с поведением исходного расширенного автомата на всех последовательностях длины не больше l (l-эквивалент). Из l-эквивалентов удаляются вход-выходные последовательности, принадлежащие композиции-спецификации, и для полученных мутационных l-эквивалентов строится диагностический эксперимент. Если такой диагностический эксперимент существует, то по реакции композиции, предъявленной для тестирования, достаточно часто можно определить, какая из компонент является неисправной, при условии, что неисправности возможны только в одной компоненте.

Ключевые слова

расширенный автомат, конечный автомат, l-эквивалент, ошибки переходов и выходов

Издание

Труды Института системного программирования РАН, том 26, вып. 6, 2014, стр. 47-56.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2014-26(6)-3

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома