Образец для цитирования:
Уколов И. В. СИНТЕЗ ПСЕВДОСЛУЧАЙНЫХ КОНТРОЛИРУЮЩИХ ТЕСТОВ ДЛЯ ДИСКРЕТНОГО УСТРОЙСТВА // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2008. Т. 8, вып. 1. С. 64-70. DOI: https://doi.org/10.18500/1816-9791-2008-8-1-64-70
СИНТЕЗ ПСЕВДОСЛУЧАЙНЫХ КОНТРОЛИРУЮЩИХ ТЕСТОВ ДЛЯ ДИСКРЕТНОГО УСТРОЙСТВА
В статье рассматривается псевдослучайный метод построения контролирующих тестов для дискретных устройств, применимый как к комбинационным, так и к последовательностным устройствам. Используется энтропийный подход для отыскания оптимального распределения вероятностей входных наборов, что позволяет сокращать среднюю длину генерируемых тестов. Для определения упомянутых вероятностей решается многомерная задача поиска максимума выходной энтропии с применением генетического алгоритма. Рассмотрена задача моделирования исправного устройства и неисправных модификаций c использованием системы моделирования Active-HDL. Приведены результаты построения тестов для схем из международного каталога ISCAS’89. Выполнено их сравнение с данными, полученными другими авторами с использованием иных генетических алгоритмов.
1. Agrawal V.D. An Information Theoretic Approach to Digital Fault Testing // IEEE Transactions on Computers. 1981. V. 30. P. 582–587.
2. Holland J.H. Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor, 1975.
3. Суворова Е.А., Шейнин Ю.Е. Проектирование цифровых систем на VHDL. СПб.: БХВ-Петербург, 2003.
4. Скобцов Ю.А., Скобцов В.Ю. Логическое моделирование и тестирование цифровых устройств. Донецк: Изд-во Донецк. техн. ун-та, 2005.
