Russian
Summary:Рассмотрены вопросы логического моделирования исправных и неисправных цифровых устройств. Исследованы методы построения проверяющих тестов для комбинационных и последовательностных схем. Изложен эволюционный подход к построению тестов цифровых систем. Рассмотрены вопросы программной реализации систем автоматизированного моделирования и генерации тестов цифровых систем.