验证、验证和测试
使用基于模型的设计验证和验证嵌入式系统
系统验证增加了您的设计准确地实现了您的需求,并且您的测试充分地实践了这些需求的信心。在开发的早期,您可以创建高级系统模型并链接到系统需求。系统模型可以作为可执行的规范和更详细模型的基础。
使用这些产品来补充基于模2022世界杯八强谁会赢?型的设计,您可以:
跟踪需求到体系结构、设计、测试和代码。
确认您的设计符合要求,并且没有严重的运行时错误。
检查遵从性并度量模型和代码的质量。
识别死逻辑并生成测试用例来解决缺失的覆盖。
生成报告和工件,并验证您的设计满足遵从标准。
2022世界杯八强谁会赢?用于验证、验证和测试的产品
主题
定义需求
- 作者要求在MATLAB或Simulink(需求工具箱)
用MATLAB创建需求并定义需求层次结构®或仿真软件®. - 第三方应用的导入要求(需求工具箱)
从外部文档和需求管理工具导入需求。
链接到设计的要求
- 根据需求测试模型并报告结果(需求工具箱)
将您的模型与详细的需求联系起来,演示可追溯性,根据需求进行测试。 - 从需求链接到测试用例(需求工具箱)
将测试用例与需求联系起来。 - 跟踪需求链接与跟踪矩阵(需求工具箱)
跟踪和管理链接,并使用可追溯矩阵更改问题。 - 通过分析模型属性来验证需求(需求工具箱)
验证建模为控制系统属性的需求。
识别并消除设计缺陷
- 分析设计错误的模型(仿真软件设计验证器)
运行设计错误检测分析并解释结果。 - 分析符合标准和设计错误的模型(仿真软件检查)
检测和解决设计错误,检查标准,分析功能依赖关系,并证明属性。
执行基于需求的测试
- 模型开发的基于需求的测试(仿真软件测试)
根据要求测试自动驾驶系统。 - 为基于需求的测试使用规范模型(仿真软件设计验证器)
遵循系统的方法根据需求来验证您的设计模型。 - 执行功能测试并分析测试覆盖率(仿真软件覆盖)
分析功能依赖关系,隔离地测试模型组件,创建测试用例套件、测试模型和代码,以实现覆盖率。 - 修复基于需求的测试问题(仿真软件检查)
通过使用模型测试仪表板修复模型测试质量问题。 - 评估ISO 26262的基于需求的测试(仿真软件检查)
使用模型测试仪表板根据ISO 26262标准来分析基于需求的测试活动的完整性和质量。
执行基于代码的模型测试和验证
- 分析代码并在循环中测试软件(仿真软件检查)
检测代码错误,生成代码度量,测试代码和模型等价性,根据需求测试代码。 - 将Polyspace与MATLAB和Simulink集成(Polyspace Bug仪)
集成Polyspace®使用MATLAB和Simulink来识别模型和代码中潜在的bug、运行时错误和编码标准违反。 - 对用嵌入式编码器生成的代码运行Polyspace分析(Polyspace Bug仪)
检查用嵌入式编码器生成的代码®用于bug、运行时错误或违反编码规则。