Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента

Куфарева, Ирина Борисовна; Тренькаев, Вадим Николаевич

Тестирование конечных автоматов в контексте: метод синтеза проверяющих тестов на основе сетевого эквивалента

Куфарева, Ирина Борисовна, Тренькаев, Вадим Николаевич

Дата публикации: 2003

Дата публикации в реестре: 2023-12-05T16:13:38Z

Аннотация:

Рассматривается метод синтеза полных проверяющих тестов для автоматной сети, состоящей из двух компонент: проверяемого автомата и контекстного автомата. Предполагается, что неисправности возможны только в проверяемом автомате. Предлагается метод построения теста, обнаруживающего все неисправности заданного класса. Метод основан на использовании так называемого сетевого эквивалента проверяемой компоненты.

Ключевые слова:
автоматные сети, конечные автоматы, проверяющие тесты, эквивалентность, редукция

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. 2003. № 278. С. 122-128