Можно использовать возможность генерации теста, предусмотренную Simulink® Design Verifier™, чтобы сгенерировать тесты для исполняемой спецификации, модель, используемая для генерации производственного кода или любой другой временной модели, созданной во время фазы моделирования. Можно использовать сгенерированные тесты, чтобы симулировать исполняемую спецификацию, сгенерированный код или другие этапы рабочего процесса Модельно-ориентированного проектирования.
Можно использовать возможность поиска ошибок проектирования, предусмотренную Simulink Design Verifier, чтобы обнаружить мертвую логику, переполнение данных целочисленной или фиксированной точки, деление на нуль и нарушения заданных промежуточных минимальных и максимальных значений.
Варианты использования инструмента обеспечиваются в документе Пакета квалификации инструмента (TQP) ISO 26262 Simulink Design Verifier. Варианты использования не только допустимы для ISO 26262, но и распознаны за все стандарты соответственно.
Этот рисунок иллюстрирует интегрирование Simulink Design Verifier в рабочем процессе Модельно-ориентированного проектирования. Твердые стрелки в фигуре указывают на последовательность действий разработки программного обеспечения. Пунктирные линии представляют действия верификации и валидации, выполняемые инструментом.
Simulink Design Verifier в рабочем процессе модельно-ориентированного проектирования
