Синтез тестов для линейных автоматов с помощью генетических алгоритмов

Ekaterina V.9 ноября 2004Data Mining1 комментарий

Здравствуйте!
Передо мной стоит задача построения тестов для линейного автомата, чтобы определить является ли он исправным( задан также эталонный автомат).
Мне нужно решить систему уравнений, используя ГА.
Хотелось бы услышать мнения насчет того, насколько ГА может быть эффективен в решении данной задачи.
Если кто-то знает, где можно найти материал по указанной теме, сообщите пожалуйста.
Заранее спасибо.