Использование конечных автоматов для тестирования программ.

Авторы

И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.

Аннотация

Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описы-вается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов.

Полный текст статьи в формате pdf

Издание

Программирование, №2, 2000, стр.12-28.

Научная группа

Технологии программирования

Все публикации за 2000 год

Все публикации