在整个开发过程中,验证您的模型和代码增加了您对实现系统的信心。金宝app®检查™,金宝app仿真软件设计校验™,金宝app仿真软件测试™, Polyspace®帮助支持您金宝app的模型和代码验证过程。在开发的早期,您可以创建高级系统模型并链接到需求文档。系统模型可以作为可执行的规范和更详细模型的基础。通过执行连接到用户界面或工厂硬件的系统原型来验证需求。
模型验证包括根据标准进行检查、检查设计错误、证明特性以及运行模拟以证明结果与预期输出匹配。覆盖率度量表明测试如何广泛地使用模型。对于生成的代码,运行相同的测试以演示代码模型等价性。
生成的和手写的代码遵循类似的验证过程。度量模型或代码覆盖率,以确定代码测试的范围。检查代码是否有错误,检查是否符合标准,并分析代码度量。添加测试,细化系统,并细化需求,直到设计具有完全的功能,没有显示出意想不到的行为,并且被完全测试。
将您的模型与详细的需求联系起来,演示可追溯性,针对需求进行测试。
检测和解决设计错误,对照标准进行检查,分析功能依赖关系,并证明属性。
分析功能依赖关系,隔离测试模型组件,创建测试用例套件,测试模型和代码以实现覆盖。
检测代码错误,生成代码度量,测试代码和模型等价,根据需求测试代码。