Опыт проектирования тестовых последовательностей поиска дефекта
Из приводимого ранее понятия тестовой последовательности Т поиска дефекта следует, что две неисправности Цд, и являются различимыми на тесте TЎ, если выполняется неравенство результаты реализации логической функции схемой с неисправностями Цн и порождаемые тестом 7. Иными словами, тестовой последовательностью поиска дефекта относительно множества С неисправностей является множество тестов, такое, что для каждой пары неисправностей C в Т найдется различающий их тест.
Длина тестовой последовательности поиска дефекта, как правило, значительно превышает длину проверяющего набора для одного и того же множества неисправностей. К тому же построение тестовой последовательности поиска дефекта представляет собой более трудоемкую задачу, чем построение проверяющей. Поэтому на практике отделяют задачу контроля работоспособности от задачи локализации.
Опыт проектирования тестовых последовательностей поиска дефекта показывает, что задача разграничения неисправностей в парах усложняется еще и тем, что схема Со, реализующая некоторую логическую функцию Фо, разбита, как правило, на несколько узлов С), расположенных на отдельных платах, т. е. Поэтому требуется разграничение не просто неисправностей из О в произвольных парах, а неисправностей, относящихся к разным узлам (т. е. платам). С учетом такого требования общая постановка задачи проектирования тестовых последовательностей поиска дефекта трансформируется к.следующему виду.
Tags: компьютер