Simulink Design Verifier

基于模型的设计中的形式化方法

Simulink Design Verifier 使用由 Prover Technology 的 Prover Plug-In 所提供的形式化分析技术以及 MathWorks 的 Polyspace 形式化分析引擎。这些技术依赖严格的数学过程,搜索模型的可能执行路径以获得测试用例和反例。传统测试方法使用具体数值来表现测试场景和预期结果,而形式化分析技术使用系统行为模型来替代具体数值。系统行为模型可以包括模型测试方案和验证目标,描述预期和非预期的系统行为。通过行为模型执行的形式化分析与仿真方法互补,可以让您对模型有更加深入的了解。

下一页: 检测设计错误

试用 Simulink Design Verifier

获取试用版软件