Скобцовы Моделирование и тестирование
.pdfРис.9.7 Программа моделирования схем с неисправностями
Дополнительно в программах используются следующие методы ускорения процесса моделирования: статическая и динамическая сортировка неисправностей, функциональное внесение неисправностей.
9.6 Генерация тестов
Для работы программ генерации тестов необходимо наличие файла описания схемы во внутреннем формате (файл *.out, получаемый после трансляции схемы). Для генерации проверяющих тестов реализовано два основных метода:1) GenTest – программа, реализующая генетический алгоритм; 2) Enchanced – улучшенный псевдослучайный метод
Результатом работы программы генерации тестов является файл с расширением *.tst и именем как у исходной схемы (например, c17.tst).
Программы позволяют задать несколько общих параметров: требуемую полноту теста, ограничение на длину теста и число попыток. Последний параметр задаётся только для генетического алгоритма, задавая максимальное число проходов по списку неисправностей. Дополнительно
419