Методы контроля, применяемые при построении проверяющих тестовых программ, достаточно полно освещены в работах. Охарактеризуем кратко основные из них.
Метод постоянных слов заключается в том, что входные воздействия и эталонные реакции рассчитываются заблаговременно, вносятся в тестовую программу и в процессе проверки не меняются. Этот метод является самым распространенным для проверяющих тестовых программ.
Основное преимущество этого метода состоит в том, что всегда имеется возможность подбора таких входных воздействий, которые обеспечивали бы максимальный охват контролем проверяемой аппаратуры.
Метод переменных слов заключается в том, что входные воздействия формируются по случайному закону (обычно с помощью программного генератора случайных чисел), а сравнение с эталонной реакцией производится косвенным способом.
Метод замены проверяемой команды состоит в том, что проверяемая команда заменяется эквивалентной последовательностью команд.
Методы для диагностических тестовых программ. Если проверяющие тестовые программы позволяют выявить наличие неисправностей в отдельных устройствах при выполнении арифметических, логических и других операций, то задача диагностических тестовых программ усложняется дополнительным требованием локализации выявленной неисправности с возможно большей глубиной и точностью. В связи с этим диагностические тестовые программы используются по результатам работы проверяющих программ.
Тэги: компьютер