验证和确认
使用 Simulink® 产品测试模型和代码,检查设计错误,检查是否符合标准,测量覆盖率,并验证系统
在整个开发过程中验证您的模型和代码可增加对您所实现系统的信心。Simulink Check™、Simulink Coverage™、Requirements Toolbox™、Simulink Design Verifier™、Simulink Test™ 和 Polyspace® 有助于支持您的模型和代码验证过程。在开发的早期,您可以创建高级系统模型并链接到需求文档。系统模型可用作更详细模型的可执行规范和基础。通过执行连接到用户界面或被控对象硬件的系统原型来验证需求。
模型验证包括检查是否符合标准、检查设计错误、验证属性以及运行仿真以证明结果与预期输出相匹配。覆盖率测量指示测试范围对模型的覆盖程度。对于生成的代码,可运行相同的测试来验证代码-模型等效性。
生成的代码和人工代码遵循类似的验证过程。测量模型或代码覆盖率,以确定测试对代码的覆盖程度。检查代码中的错误,检查标准合规性,并分析代码度量。添加测试、细化系统及需求,直到设计完全正常工作,没有表现出意外行为,并通过全面测试。
主题
- 根据需求测试模型并报告结果
将您的模型与详细需求联系起来,展示可追溯性,并根据需求进行测试。
- 分析模型的标准合规性和设计错误
检测并解决设计错误、检查标准、分析函数依赖性并证明属性。
- 执行功能测试并分析测试覆盖率
分析功能依存关系,测试隔离的模型组件,创建测试用例套件、测试模型和代码来实现覆盖率。
- 分析代码并测试软件在环
检测代码错误,生成代码度量,测试代码和模型等效性,根据需求测试代码。