Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ

М.: Институт Системного Программирования РАН. – 21 с. Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов.
Данная работа поддержана грантами РФФИ № 96-01-01277 и № 99-01-00207.