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