验证、验证和测试
验证和验证使用基于模型的嵌入式系统设计
系统验证增加信心,你的设计准确地实现您的需求和您的测试充分锻炼这些需求。在发展早期,您可以创建一个高级系统模型和链接到系统需求。系统模型可以作为一个可执行的规范和更详细的基础模型。
使用这些MathWorks®s manbetx 845产品补充基于模型的设计,您可以:
跟踪需求到架构、设计、测试和代码。
确认你的设计满足需求和关键运行时错误的是免费的。
合规检查和测量模型和代码的质量。
确定死亡逻辑和生成测试用例,以解决失踪的报道。
生成报表和工件,并验证您的设计符合合规标准。
你也可以指导MATLAB®软件开发:
编写测试和代码和连接需求。
监控运行动态测试代码功能的回归。
使用行业标准代码覆盖率指标识别未测试的代码路径。
s manbetx 845产品验证、验证和测试
主题
定义需求
- 作者在MATLAB和Simulink仿真需求万博1manbetx(需求工具箱)
创建需求和定义需求层次与MATLAB仿真软件万博1manbetx®。 - 从第三方进口需求的应用程序(需求工具箱)
从外部进口需求文档和需求管理工具。
链接要求设计
- 测试模型对需求和报告结果(需求工具箱)
将您的模型与详细要求,证明可追溯性,测试需求。 - 链接测试用例需求(需求工具箱)
将测试用例与需求。 - 跟踪需求联系跟踪矩阵(需求工具箱)
跟踪和管理链接和跟踪矩阵的变化问题。 - 通过分析模型属性验证需求(需求工具箱)
验证需求建模为特性的控制系统。
识别和消除设计缺陷
- 分析模型设计错误(万博1manbetx仿真软件设计验证器)
运行一个设计错误检测分析和解释结果。 - 分析模型为标准遵从性和设计错误(万博1manbetx仿真软件检查)
检测并解决设计错误,检查标准,分析函数依赖,并证明属性。
执行基于需求的测试
- 基于需求的测试模型发展(万博1manbetx仿真软件测试)
测试一个自动驾驶仪系统对需求。 - 使用规范模型基于需求的测试(万博1manbetx仿真软件设计验证器)
遵循系统化方法来验证您的设计模型与需求。 - 执行功能测试并分析测试覆盖率(万博1manbetx仿真软件覆盖)
分析函数依赖,单独测试模型组件创建的测试用例套件,测试模型和代码实现覆盖。 - 解决基于需求的测试问题(万博1manbetx仿真软件检查)
修正模型测试质量问题通过模型测试仪表板。 - ISO 26262的评估基于需求的测试(万博1manbetx仿真软件检查)
使用该模型测试仪表板分析基于需求的测试活动的完整性和质量符合ISO 26262标准。
执行基于代码的测试和验证模型
- 分析代码和测试Software-in-the-Loop(万博1manbetx仿真软件检查)
检测代码错误,生成代码度量,测试代码和模型等效,测试代码与需求。 - 用MATLAB和Simulink Polyspace集成万博1manbetx(Polyspace Bug仪)
集成Polyspace®与MATLAB仿真软件来识别潜在万博1manbetx的错误,运行时错误,违反编码标准模型和代码。 - 采用嵌入式编码器生成Polyspace分析代码运行(Polyspace Bug仪)
检查生成的代码与嵌入式编码器®对于错误,运行时错误或编码规则违规。