Методы для проверяющих тестовых программ

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

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

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

Тэги:

Комментирование закрыто.