验证您的模型和代码在开发增加信心在你的系统实现。金宝app模型检查™,金宝app仿真软件覆盖™,金宝app仿真软件需求™,金宝app仿真软件设计校验™,金宝app仿真软件测试™,Polyspace^®帮助支持你金宝app的模型和代码验证过程。在发展早期,您可以创建一个高级系统模型和需求文档的链接。系统模型可以作为一个可执行的规范和更详细的基础模型。验证需求通过执行系统连接到用户界面原型或工厂硬件。

模型验证包括对标准检查,检查设计错误,证明属性和运行模拟证明匹配预期的输出结果。广泛覆盖度量表明测试运动模型。生成的代码,运行相同的测试演示代码模型等价。

生成和手写代码遵循类似的验证过程。测量模型或代码覆盖率来确定测试代码。合规检查的代码错误,检查标准,并分析代码度量。添加测试,完善制度,细化需求到设计功能齐全,没有意想不到的行为,并且完全被测试。