Программное обеспечение MathWorks Simulink Verification and Validation – это пакет расширения Simulink для проведения полного комплекса тестирований и проверок систем с учетом технических требований. MathWorks Simulink Verification and Validation позволяет использовать на всех стадиях проектирования одни и те же технические требования в рамках единой среды для проверки условий, разработки тестов и расчета тестового покрытия. Гибкие связи технических требований со средой проектирования в MathWorks Simulink Verification and Validation позволяют прослеживать качество системы, идентифицировать несоответствия требованиям, выявлять неиспользуемые части и ошибки конструирования на всех стадиях проектирования и разработки.
Ключевые возможности:

• Обеспечивает связь моделей Simulink и Stateflow с документами, содержащими технические требования по каждому конкретному элементу и подсистеме.



• Связь с любыми типами файлов, а также с системами разработки технических требований посредством расширяемого интерфейса.



• Связь проверочных блоков с условиями тестов.



• Наследование технических требований сквозь весь процесс разработки вплоть до их включения в C-код в качестве комментариев.



• Идентификация протестированных частей системы, с выводом стандартных показателей включая покрытие условных переходов.



• Удобная визуализация результатов тестирования.

Для работы пакета требуется:

• MATLAB.


• Simulink.