Cтраница 2
Формирование контрольно-диагностических тестов осуществляет подсистема моделирования и синтеза тестов ( СМиСТ), в которой рассматривается диагностика только отказов, в основном систематических, причины возникновения которых уже установлены. При этом ставится задача разработки тестов для обнаружения факта отказа, определение его типа и локализации. По тестам автоматически строят таблицы неисправностей, после чего осуществляют минимизацию таблиц и самих тестов. На основании минимальных тестов составляют диагностический словарь для локализации неисправностей БИС. Контрольные тесты могут быть использованы для управления измерительными комплексами. [16]
Формирование контрольно-диагностических тестов осуществляет система моделирования и синтеза тестов ( СМиСТ), в которой рассматривается диагностика только отказов, в основном систематических, причины возникновения которых уже установлены. При этом ставится задача разработки тестов для обнаружения факта отказа, определения его типа и локализации. По тестам автоматически строят таблицы неисправностей, после чего осуществляют минимизацию таблиц и самих тестов. На основании минимальных тестов составляют диагностический словарь для локализации неисправностей БИС. Контрольные тесты могут быть использованы для управления измерительными комплексами. [17]
Простейший ( первый) критерий для планирования тестирования программ состоит в выборе минимального множества маршрутов программы, обеспечивающих исполнение и проверку каждого оператора в программе хотя бы один раз. Граф программы должен быть покрыт минимальным набором путей, проходящих через каждый оператор. Повторная проверка операторов не оценивается и считается избыточной. При этом в процессе тестирования гарантируется выполнение всех передач управления между участками программы и каждого оператора не менее одного раза. Количество исходных тестов и соответствующих им маршрутов зависит от стратегии выбора последовательностей маршрутов. Созданы алгоритмы, позволяющие минимизировать покрытие маршрутами графов при таком критерии анализа. Однако минимальные тесты по этому критерию не обеспечивают проверку исполнения каждого оператора при различных - сочетаниях предшествующих условий и последовательностей операторов, образующих весь набор маршрутов, проходящих через данное ветвление передачи управления. [18]