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

В статье рассматривается псевдослучайный метод построения контролирующих тестов для дискретных устройств, применимый как к комбинационным, так и к последовательностным устройствам. Используется энтропийный подход для отыскания оптимального распределения вероятностей входных наборов, что позволяет сокращать среднюю длину генерируемых тестов. Для определения упомянутых вероятностей решается многомерная задача поиска максимума выходной энтропии с применением генетического алгоритма. Рассмотрена задача моделирования исправного устройства и неисправных модификаций c использованием системы моделирования Active-HDL. Приведены результаты построения тестов для схем из международного каталога ISCAS'89. Выполнено их сравнение с данными, полученными другими авторами с использованием иных генетических алгоритмов.