Автоматическая генерация теста
Вряд ли полнота сгенерированного теста
превысит полноту теста, которая была спрогнозирована Tw-CAD. Поэтому дл
успешной генерации теста стоит улучшить схему, следуя предложенным
рекомендациям. Ведь выработка рекомендаций основана на оценках управляемости, а
они опираются на подсчеты, имитирующие алгоритм генерация теста. Эти оценки и
являются измерителями ожидаемых затрат на генерацию теста. Прогноз делается,
исходя из практически подтвержденных способностей Tw-CAD по автоматической
генерации теста.
Уникальная способность Tw-CAD - это
автоматическая генерация теста. Тест создается для произвольной схемы целиком,
а она может содержать петли обратной связи, упрятанные внутрь схемы и собранные
из вентилей триггеры, сложные цепи, реле, резисторы, шины, схемы с высоко
импедансным состоянием. Обычно другие системы автоматической генерации тестов
накладывают серьезные ограничения на структуру и состав используемых элементов,
синхронизацию, сбросы и т.п.
Тест генерируется в виде независимых
сегментов, а сегмент теста обладает следующими свойствами:
|
наборы упорядочены |
|
по построению сегмент свободен от состязаний, как для исправной схемы, так и для проверяемых неисправностей |
|
обеспечиваются новые проверки |
|
сегмент начинается со сброса (найденной установочной последовательности) |
|
сегмент доопределяется для проверки неисправностей, симметричных проверяемым неисправностям |
|
отмечаются попутно проверяемые неисправности |
|
действуют временные ограничения, и используется упорядочение перебора по оценкам управляемости |
Тест может быть выведен в
формате заказанной CAD ( MAX-IIPlus, PCAD, Dixi, Mr-CAD..). Этот список
постоянно пополняется.