Использование конечных автоматов для тестирования программ
Book information
Description
М.: Институт Системного Программирования РАН. – 21 с.Рассматривается применение теории конечных автоматов к проблеме тестиро-вания программ. Проблема сводится к тестированию конечного автомата. Описывается тестирование автоматов по графам состояний, фактор-графы, тестирование автоматов по фактор-графам и способы построения фактор-графов.Данная работа поддержана грантами РФФИ № 96-01-01277 и № 99-01-00207.
Similar books
Языки, грамматики, распознаватели
Клеточные автоматы
Emerging Applications of Cellular Automata
Logic and Automata. History and Perspectives
Теория автоматов. Часть 2
RAR