万博1manbetx仿真软件设计验证器
识别设计错误,证明需求遵从性,并生成测试
万博1manbetxSimulink Design Verifier™使用正式的方法来识别模型中隐藏的设计错误。它检测模型中导致整数溢出、死逻辑、数组访问违规和除0的块。它可以正式地验证设计是否满足功能需求。对于每个设计错误或需求违背,它生成一个仿真测试用例进行调试。
万博1manbetxSimulink设计验证器为模型覆盖和自定义目标生成测试用例,以扩展现有的基于需求的测试用例。这些测试用例驱动您的模型来满足条件、决策、修改条件/决策(MCDC)和自定义覆盖目标。除了覆盖目标之外,您还可以指定自定义测试目标来自动生成基于需求的测试用例。
万博1manbetx可以通过以下方式获得对行业标准的支持IEC认证工具包(适用于iec61508及iso26262)及做资格工具包(- 178)。
开始:
死的逻辑
在模型中查找在模拟和执行生成的代码期间无法激活的对象。 |
安全要求
验证您的设计是否符合您所使用的正式定义的安全需求MATLAB®Si万博1manbetxmulink和Stateflow。
证明设计错误
在对迭代工作流进行分析之后,为设计错误检查创建过滤器和调整规则
检测数据存储内存访问违反
分析数据存储内存错误(如读前写、读后写和写后写)的模型
自定义代码的支持万博1manbetx
在模型和状态图中检测C/ c++自定义代码中的设计错误
减少基于团队的工作流的分析时间
对于迭代工作流,跨团队共享和重用模型表示
测试参数工作流的扩展
在扩展手动编写的测试用例时,修改跨分析运行的参数约束
复杂类型支持万博1manbetx
分析并生成具有复杂数据类型的模型的测试用例
看到发布说明有关这些功能和相应功能的详细信息。