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