Автоматическая генерация теста

Вряд ли полнота сгенерированного теста превысит полноту теста, которая была спрогнозирована Tw-CAD. Поэтому дл успешной генерации теста стоит улучшить схему, следуя предложенным рекомендациям. Ведь выработка рекомендаций основана на оценках управляемости, а они опираются на подсчеты, имитирующие алгоритм генерация теста. Эти оценки и являются измерителями ожидаемых затрат на генерацию теста. Прогноз делается, исходя из практически подтвержденных способностей Tw-CAD по автоматической генерации теста.

Уникальная способность Tw-CAD - это автоматическая генерация теста. Тест создается для произвольной схемы целиком, а она может содержать петли обратной связи, упрятанные внутрь схемы и собранные из вентилей триггеры, сложные цепи, реле, резисторы, шины, схемы с высоко импедансным состоянием. Обычно другие системы автоматической генерации тестов накладывают серьезные ограничения на структуру и состав используемых элементов, синхронизацию, сбросы и т.п.

Тест генерируется в виде независимых сегментов, а сегмент теста обладает следующими свойствами:

	наборы упорядочены
	по построению сегмент свободен от состязаний, как для исправной схемы, так и для проверяемых неисправностей
	обеспечиваются новые проверки
	сегмент начинается со сброса (найденной установочной последовательности)
	сегмент доопределяется для проверки неисправностей, симметричных проверяемым неисправностям
	отмечаются попутно проверяемые неисправности
	действуют временные ограничения, и используется упорядочение перебора по оценкам управляемости

Тест может быть выведен в формате заказанной CAD ( MAX-IIPlus, PCAD, Dixi, Mr-CAD..). Этот список постоянно пополняется.