Анотація російська
![](https://files.nas.gov.ua/logo/CountryFlags/Russia.png)
Рассмотрены вопросы логического моделирования исправных и неисправных цифровых устройств. Исследованы методы построения проверяющих тестов для комбинационных и последовательностных схем. Изложен эволюционный подход к построению тестов цифровых систем. Рассмотрены вопросы программной реализации систем автоматизированного моделирования и генерации тестов цифровых систем.