${message}

${message}

Продукт позволяет автоматически создавать набор тестов, который удовлетворяет полному покрытию модели и требованиям разработчика.
Simulink Design Verifier позволяет автоматически создавать набор тестов, который удовлетворяет полному покрытию модели и требованиям разработчика. 
Также осуществляется подтверждение параметров модели и выявляются нарушения работы системы. Simulink Design Verifier проверяет модель по следующим критериям: решения, условия, а также покрытия условий модифицируемым решением (MC/DC). 
Вы можете собственноручно устанавливать критерии оценки качества модели с помощью специализированных блоков. С помощью методик доказательств свойств моделей Вы можете проверять работу системы, выявляя не реализованные требования, специфические и нежелательные состояния системы, которые тяжело выявить, используя только симуляцию.

Ключевые особенности

  • Движки формального анализа Polyspace® и Prover Plug-In®
  • Определение мертвой (неиспользуемой) логики, переполнения при целочисленных вычислениях и вычислениях с фиксированной точкой, деления на ноль и нарушений свойств системы
  • Блоки и функции для моделирования функциональных требований и требований по безопасности
  • Генерация тестовых векторов на основании функциональных требований и целей покрытия модели тестами — таких, как покрытие условий, решений и модифицированное покрытие условий/решений (MC/DC)
  • Доказательство свойств с генерацией примеров их нарушения для анализа и отладки
  • Поддержка моделей в фиксированной и плавающей точке


Системные требования




Поделиться

Сферы применения

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля