Сгенерируйте тесты, которые достигают полного покрытия модели для debouncer. Результатом каждой точки покрытия модели в этой модели в качестве примера является цель тестирования. Если вы сконфигурируете Simulink Design Verifier, чтобы сгенерировать наименьшее количество тестов, это удовлетворит как можно большему количеству целей в каждом тесте.

Сгенерируйте тесты, которые удовлетворяют Решению, Условию и покрытию MCDC. Simulink Design Verifier автоматически генерирует тестовые данные и доказывает свойства моделей. Это производит последовательности входных значений, которые удовлетворяют тестированию критерии или демонстрируют контрпример доказательства. Параметры конфигурации, сопоставленные с моделью, задают цели анализа. Когда вы анализируете модель, Simulink Design Verifier использует исчерпывающие методы поиска, чтобы сгенерировать входные данные. Когда успешный, это генерирует тестовые данные и создает новую модель тестовой обвязки, содержащую блок Signal Builder со значениями данных, которые удовлетворяют аналитическим целям. ПРИМЕЧАНИЕ: сложность этой силы модели препятствует тому, чтобы генерация тестов завершилась в выделенное время. Можно остановить генерацию тестов и сгенерировать частичные результаты, или можно расширить ограничение по времени путем редактирования опций Simulink Design Verifier.

Сгенерируйте тесты, которые достигают полного покрытия модели. По умолчанию Simulink Design Verifier генерирует тесты, которые удовлетворяют целям на наименьшем количестве шагов. Одна из целей тестирования обеспечивает дискретный интегратор в ПИ-контроллере, чтобы превысить его верхний предел. Когда вы запускаете Simulink Design Verifier без ограничений, предел превышен на одном шаге путем принуждения скорости, чтобы быть 500. Ограничение на ограничения скорости значения в тестах между 0 и 100. Это обеспечивает тесты, чтобы взять несколько выборок, чтобы превысить предел интегратора.

Сгенерируйте тесты, которые достигают полного покрытия модели для триггера. Результатом каждой точки покрытия модели в этой модели в качестве примера является цель тестирования. Если вы сконфигурируете Simulink Design Verifier, чтобы сгенерировать наименьшее количество тестов, это удовлетворит как можно большему количеству целей в каждом тесте.