Реализация отдельной команды на одном тесте
Реализация отдельной команды на одном тесте в пределах времени ее выполнения осуществляется одной ветвью микропрограммы Поэтому для охвата лроьеркой всех функций Фм, а следовательно, и обнаружения возможных константных неисправностей, проявляющихся при выполнении этих функций, необходимо «вынудить» оборудование ЭВМ реализовывать проверяемую команду по всем возможным ветвям микропрограммы.
Кроме того, коды слов, участвующих в выполнении функции Фм, определяются значениями наборов теста и должны обладать обнаруживающей способностью относительно константных неисправностей.
Для достижения этих целей одного теста бывает недостаточно, поэтому на практике выполнение проверяемой команды производят на специальным образом составленной тестовой последовательности (нескольких тестах).
Определим, основываясь на соображениях, те условия, при которых тестовую последовательность можно считать проверяющей при поиске дефекта.
Пусть имеется некоторая схема Со- комплекс оборудования ЭВМ, реализующего логическую функцию Фое {Фм, Фк} на тестовой последовательности Т, и задано множество С возможных неисправностей схемы. Обозначим через Сн схему, полученную из схемы Со путем внесения в нее неисправности и реализующую логическую функцию Фи, а через Р – мощность множества С (число возможных неисправностей схемы).
В настоящее время при составлении тестовых последовательностей, генерируемых тест-секциями, применяется интуитивный подход, т. е. тесты формируются опытным специалистом, знающим функциональную и логическую структуру машины, а также ее программирование.
Tags: компьютер