О тестировании линейных автоматов

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