• 文档
main content

验证和确认 -凯发k8网页登录

使用 simulink 产品测试模型和代码，检查设计错误，检查是否符合标准，测量覆盖率，并验证系统

在整个开发过程中验证您的模型和代码可增加对您实现的系统的信心。simulink® check™、simulink design verifier™、simulink test™ 和 polyspace® 有助于支持您的模型和代码验证过程。在开发的早期，您可以创建高级系统模型并链接到需求文档。系统模型可用作更详细模型的可执行规范和基础。通过执行连接到用户界面或被控对象硬件的系统原型来验证需求。

模型验证包括检查是否符合标准、检查设计错误、验证属性以及运行仿真以证明结果与预期输出相匹配。覆盖率测量指示测试范围对模型的覆盖程度。对于生成的代码，运行相同的测试来验证代码-模型等效性。

生成的代码和人工代码遵循类似的验证过程。测量模型或代码覆盖率，以确定测试对代码的覆盖程度。检查代码中的错误，检查标准合规性，并分析代码指标。添加测试、细化系统及需求，直到设计完全正常工作，没有表现出意外行为，并通过全面测试。

主题


  • associate your model with detailed requirements, demonstrate traceability, test against requirements.

  • analyze models for standards compliance and design errors

    detect and resolve design errors, check against standards, analyze functional dependencies, and prove properties.


  • 分析功能依存关系，测试隔离的模型组件，创建测试用例套件、测试模型和代码来实现覆盖率。

  • analyze code and test software-in-the-loop

    detect code errors, generate code metrics, test code and model equivalence, test code against requirements.

网站地图