Аннотация:
Рассматривается методика автоматизации процесса разработки тестов цифровых устройств. Предлагается способ, основанный на представлении устройства в виде программной модели. Описывается метод получения модели входных воздействий. Библиогр. 5 назв. Ил. 7.