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