- главная
- техподдержка
- программное обеспечение
- Образование и наука
- MathWorks Simulink
MathWorks Simulink
Программное обеспечение MathWorks Simulink Design Verifier предназначено для автоматического создания набора тестов, который удовлетворяет полному покрытию модели и требованиям разработчика. Кроме того, MathWorks Simulink Design Verifier осуществляет подтверждение параметров модели и выявляет нарушения работы системы. Simulink Design Verifier проверяет модель по таким критериям, как решения, условия, покрытия условий модифицируемым решением (MC/DC). Пользователи могут собственноручно устанавливать критерии оценки качества модели посредством специализированных блоков. С помощью методик доказательств свойств моделей удобно проверять работу системы, выявляя нереализованные требования, специфические и нежелательные состояния системы, которые тяжело обнаружить, используя только симуляцию.
Ключевые особенности MathWorks Simulink Design Verifier:
Связь моделей Simulink и Stateflow с документами, содержащими технические требования по каждому конкретному элементу и подсистеме.
Связь с любыми типами файлов, а также с системами разработки технических требований посредством расширяемого интерфейса.
Связь проверочных блоков с условиями тестов.
Наследование технических требований в течение всего процесса разработки вплоть до их включения в C-код в качестве комментариев.
Идентификация протестированных частей системы, с выводом стандартных показателей, включая покрытие условных переходов.
Удобная визуализация результатов тестирования.
Сопровождение всех деталей проверки подробными отчетами.
