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