在整个开发过程中验证您的模型和代码可以增加对已实现系统的信心。金宝app模型检查™,金宝app模拟链路覆盖™,金宝app模拟链路要求™,金宝appSimulink设计验证程序™,金宝app模拟试验™,和多空间®帮助支持您金宝app的模型和代码验证过程。在开发的早期,您可以创建高级系统模型并链接到需求文档。系统模型可以作为可执行规范和更详细模型的基础。通过执行连接到用户界面或工厂硬件的系统原型来验证需求。
模型验证包括对照标准进行检查、检查设计错误、证明属性以及运行模拟以证明结果与预期输出匹配。覆盖率测量表明测试对模型的影响程度。对于生成的代码,运行相同的测试以证明代码-模型的等效性。
生成的和手写的代码遵循类似的验证过程。测量模型或代码覆盖率以确定测试代码的范围。检查代码是否存在错误,检查标准符合性,并分析代码度量。添加测试,优化系统,并优化需求,直到设计完全功能化,显示没有未完成的NDEd的行为,并经过充分测试。
将您的模型与详细需求相关联,演示可跟踪性,根据需求进行测试。
检测并解决设计错误,对照标准进行检查,分析功能相关性,并验证属性。
分析功能依赖关系,孤立地测试模型组件,创建测试用例、测试模型和代码套件,以实现覆盖率。
检测代码错误,生成代码度量,测试代码和模型等价性,根据需求测试代码。