验证和验证
使用Si金宝appmulink®下载188bet金宝搏测试模型和代码的产品,检查设计错误,根据标准检查,测量覆盖范围并验证系统
在整个开发过程中验证模型和代码会增加对实施系统的信心。金宝appSimulink Check™,,,,金宝appSimulink Coverage™,,,,需求Toolbox™,,,,金宝appSimulink Design Verifier™,,,,金宝appSimulink Test™和多元空间®帮助支持您金宝app的模型和代码验证过程。在开发的早期,您可以创建高级系统模型并链接到需求文档。系统模型可以用作可执行的规范和更详细的模型的基础。通过执行连接到用户界面或植物硬件的系统原型来验证需求。
模型验证包括检查标准,检查设计错误,证明属性和运行模拟,以证明结果与预期输出相匹配。覆盖范围测量表明如何进行广泛测试锻炼模型。对于生成的代码,请运行相同的测试以演示代码模型等效性。
生成和手写的代码遵循类似的验证过程。测量模型或代码覆盖范围,以确定测试代码的程度。检查代码是否错误,检查标准符合性并分析代码指标。添加测试,完善系统并完善要求,直到设计完全功能性,没有表现出意外的行为,并且经过全面测试。
话题
- 根据要求和报告结果的测试模型
将您的模型与详细要求相关联,证明可追溯性,根据要求进行测试。
- 分析标准合规性和设计错误的模型
检测和解决设计错误,根据标准检查,分析功能依赖性并证明属性。
- 进行功能测试并分析测试覆盖范围
分析功能依赖性,孤立的测试模型组件,创建测试用例,测试模型和代码以实现覆盖范围的套件。
- 分析代码和测试软件在循环中
检测代码错误,生成代码指标,测试代码和模型等效性,根据要求的测试代码。