在整个开发过程中验证您的模型和代码会增加对所实现的系统的信心。金宝app模型检查™那金宝appSimulink Coverage™那金宝appSimulink要求™那金宝appSimulink Design Verifier™那金宝appSimulink Test™和波尔多空间®帮助支持您金宝app的模型和代码验证过程。在开发时,您可以创建一个高级系统模型并链接到要求文档。系统模型可以用作可执行规范和更详细的模型的基础。通过执行连接到用户界面或工厂硬件的系统原型来验证要求。
模型验证包括检查标准,检查设计错误,证明属性和运行模拟,以证明结果匹配预期输出。覆盖率测量表示如何广泛测试锻炼模型。对于生成的代码,运行相同的测试以演示代码模型等价。
生成和手写代码遵循类似的验证过程。测量模型或代码覆盖,以确定代码的测试程度。检查错误,检查标准合规性和分析代码指标。在设计功能完全正常的情况下,添加测试,优化系统和细化要求,展示了无意识的行为,并经过完全测试。
将模型与详细要求相关联,证明可追溯性,测试要求。
检测和解决设计错误,检查标准,分析功能依赖关系和证明属性。
分析功能依赖性,在隔离中测试模型组件,创建测试用例的套件,测试模型和代码以实现覆盖范围。
检测代码错误,生成代码度量,测试代码和模型等价,测试代码免受要求。