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