Генерация тестов производит последовательности входных значений для ваших моделей, чтобы удовлетворить критерии тестирования, такие как покрытие модели. Simulink® Design Verifier™ расширяет существующую информацию о покрытии модели от основанных на требованиях тестов. Это генерирует дополнительные последовательности тестовых воздействий, которые достигают целей покрытия, не удовлетворенных во время основанного на требованиях тестирования. Используйте эти тестовые воздействия, чтобы лучше понять недостающие требования и создать более полную тестовую обвязку.
