验证、测试和认证
调优参数,分析代码性能,测试数值等价性,并执行代码覆盖和可跟踪性分析
对于系统开发,请使用v模型持续验证方法。
要快速构建子组件的原型,请运行实时的外部模式模拟,使您能够监视信号并调整目标应用程序中的模型参数。
使用代码执行分析来确定生成的代码是否满足目标硬件的实时需求,并确定需要性能改进的代码部分。
验证生成的代码:
通过测试模型和生成的代码之间的数值等价性来正确地实现一个模型:
对于系统、组件和子组件(如引用模型),使用SIL/PIL Manager顶级模型,模型阻塞或测试控制工作流。
对于像原子子系统这样的子组件,对从原子子系统生成的代码执行单元测试金宝app®测试™与SIL/PIL经理合作。有关更多信息,请参见配置并运行PIL模拟.
通过比较模型覆盖率和代码覆盖率或执行可跟踪性分析,不包含非预期的功能。配置SIL和PIL模拟以生成代码覆盖率度量。生成在模型对象和生成的代码之间提供双向可跟踪性的报告。
除了嵌入式编码器®,您可以使用其他产品进行代码验证,例如:下载188bet金宝搏要求工具箱™,金宝app仿真软件测试、Polyspace®下载188bet金宝搏产品。
类别
- 快速原型和实时仿真
使用外部模式模拟快速原型 - 代码执行分析
查看和分析代码段的执行概要文件 - Software-in-the-Loop模拟
在开发计算机上测试生成的代码 - Processor-in-the-Loop模拟
在目标处理器或模拟器上测试生成的代码 - 编程代码生成验证
用代码生成验证编程接口测试数值等价性 - 目标环境验证
手动验证生成的代码 - 代码覆盖率
在SIL或PIL模拟期间收集生成代码的度量 - 代码分析和跟踪
通过使用报告、可追溯性和Polyspace静态代码分析产品手动验证生成的代码下载188bet金宝搏 - 工具确认和认证
符合IEC认证的嵌入式编码器