Matlab-Simulink模型检查验证与测试

1、模型检查，验证与测试PW Matlab/Simulink分享系列-4背景软件开发V模型V模型参考/item/V%E6%A8%A1%E5%9E%8B/4518408?fr=aladdin系统设计详细设计软件编码单元测试集成测试系统测试需求分析验收测试背景基于Matlab模型设计流程和工具0 模型介绍1 模型建立2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code Verification模型建立MILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系统模型子系统模型代码生成

2、可执行代码11345622注解：1.示例：vvtWorkshopProject_20142.step0step8缩减为7个步骤3.例子在文件夹：PW Matlab分享系列-0 -计划安排Matlab学习参考资料05_PW_Matlab培训例程目标：通过一系列的检查和测试，保证控制系统的设计质量，鲁棒性，安全性输出：空燃比(air_fuel_ratio)输入：发动机转速（Speed），风门开度(Throttle)，排气氧含量(EGO)，进气管压力（MAP）0 模型介绍闭环燃油喷射控制系统Matlab测试平台测试模块控制系统控制模型0 模型介绍闭环燃油喷射率控制系统安全控制逻辑模块安全控制逻辑模型

3、运行结果：0 模型介绍闭环燃油喷射率控制系统-运行效果空燃比参考 https:/ 模型介绍1 模型建立（链接）2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code VerificationMILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系统模型子系统模型代码生成可执行代码1134562模型建立（链接）注解：1.建立链接，方便追踪2.在整个过程中持续追踪3.方便更新，提高效率为了链接需求和模型，设置如下(虚拟机需要装office才能编辑，此步仅演示说明)1 模型建立-

4、建立可执行需求模型12需求和模型双向链接模型链接到需求文档1 模型建立-建立可执行需求模型1. 选中2341 模型建立-建立可执行需求模型双向追溯1.按住Ctrl，点击图标2. 即可高亮图表1 模型建立-建立可执行需求模型双向追溯1. 图表右键234. 即可链接到文档需求处需求追溯，高亮模型和细节1 模型建立-建立可执行需求模型显示模块和需求13.选中4. 即可显示细节框2生成需求跟踪报告1 模型建立-建立可执行需求模型生成需求追踪报告213黄色代表有链接生成代码并跟踪需求1 模型建立-建立可执行需求模型生成代码与追溯13. 生成代码和需求链接，点击可打开20 模型介绍1 模型建立2 模型检查

5、3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code Verification模型建立MILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系统模型子系统模型代码生成可执行代码11345622注解（Model Advisor）：1.解决人工测试不完整的问题2.检查汽车行业标准,ISO 26262等3.检查模型标准：MAAB等4.检查配置是否导致仿真错误或无效5.检查配置是否导致代码错误或无效6.生成报告，提出模型最优配置建议2 模型检查选择标准并运行123417/602 模型检查检查

6、报告5.即可生成报告，并显示通过，失效和警告18/602 模型检查报告错误链接和建议13. 打开链接2. 查看建议MAAB 6162页19/602 模型检查修改模型配置4. 双击打开属性框5. 按照规则改成u2=06. 其它两个同理20/602 模型检查重新运行检查6. 选中重新检查78. 检查通过21/600 模型介绍1 模型建立2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code Verification模型建立MILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系

7、统模型子系统模型代码生成可执行代码11345622注解（Design Verifier）：1.自动生成测试用例2.达到满意的模型覆盖度3.达到用户自定义的目标4.验证模型的属性（仿真过程中难发现的设计缺陷，遗漏需求，多余状态）5.生成测试用例报告3 模型验证检查设计错误123/603 模型验证检查设计错误配置无效逻辑1224/603 模型验证检查设计错误325/603 模型验证检查设计错误结果1. 检查设计有误2. 设计有误，显示红色26/603 模型验证检查设计错误报告及链接127/603 模型验证检查设计错误链接与查看结果2.显示相关信息1.点击该判断28/603 模型验证检查设计错误修改

8、模型数据press press_tresh 永远为真press最大1.4，而press_tresh为1.50.62. 将1.5改成0.61. 为F的逻辑为无效逻辑29/603 模型验证检查设计错误修改数据后结果2. 全部为有效逻辑3. 逻辑确认，显示绿色1. 重新检查设计正确30/600 模型介绍1 模型建立2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code Verification模型建立MILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系统模型子系统模型代码生成

9、可执行代码11345622注解（System Test）：1.核心功能的测试2.手工编写的测试用例4 模型测试手工用例测试对象和手工用例内容手工编写测试用例：测试模型与框架：32/604 模型测试手工用例导入手工用例1234533/604 模型测试手工用例运行有四个手工编写的测试用例6. 点击运行全部run all34/604 模型测试手工用例创建测试报告7. 创建测试报告测试用例运行条目测试用例运行结果35/604 模型测试手工用例查看测试报告8. 观察信号91036/600 模型介绍1 模型建立2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码

10、验证工具Code Verification模型建立MILSILPIL模型测试/代码验证模型检查/验证需求文档可执行需求系统模型子系统模型代码生成可执行代码11345622注解：（Coverage）1.模型覆盖度检查2.生成测试用例达到自定义的覆盖度（System Test）1.自动生成测试框架2.自动生成测试用例3.合并手工测试用例和自动用例5 模型测试自动生成测试用例覆盖度配置138/605 模型测试自动生成测试用例覆盖度配置234539/605 模型测试自动生成测试用例覆盖度检查运行6. 打开下拉列表，可以看到有23个测试项目7. 点击运行全部run all40/605 模型测试自动生成测

11、试用例覆盖度结果8. 显示覆盖度41/605 模型测试自动生成测试用例cvsave(Step_05_logic_StartCov,Step_05_logic)9. 运行命令，保存测试数据关于覆盖度：供自动生成测试用例时做基础覆盖度解释说明：42/605 模型测试自动生成测试用例生成测试用例配置1043/605 模型测试自动生成测试用例生成测试用例配置111213忽略已有测试用例的覆盖度信息44/605 模型测试自动生成测试用例生成测试用例14开始生成测试用例45/605 模型测试自动生成测试用例生成测试用例生成测试用例的同时，生成测试平台模型生成测试平台模型包含15个测试用例46/605 模型

12、测试自动生成测试用例报告15.设计验证，自动生成测试用例16. 目标满足，显示绿色47/605 模型测试自动生成测试用例报告48/605 模型测试自动生成测试用例合并测试用例合并手工测试用例23个自动生成用例15个覆盖度100%的测试用例49/605 模型测试自动生成测试用例覆盖度报告100%50/600 模型介绍1 模型建立2 模型检查3 模型验证4 模型测试手工用例5 模型测试自动用例6 代码验证主要内容全程追溯代码验证工具Code Verification模型建立MILSILPIL模型测试/代码验证HIL模型检查/验证模型验证工具Design Verification需求文档可执行需求系

13、统模型子系统模型代码生成可执行代码1134562注解：（Code Verification）1.MIL验证模型的功能和效果2.SIL验证生成的代码的功能和效果是否与模型一致2.PIL验证算法设计在硬件上执行的正确性3.HIL验证被控对象功能效果6 代码验证自动代码验证SIL配置1. 右键选择块参数52/606 代码验证自动代码验证SIL配置2增加了标识SIL3. 选择SILSIL不是跑模型，而是跑模型生成的代码53/606 代码验证自动代码验证SIL运行4. 双击signal builder，显示测试用例5. 点击运行全部run all54/606 代码验证自动代码验证对比MIL和SIL结果6

14、. 选择2个用例以对比比较结果图表结果对比55/606 代码验证自动代码验证对比MIL和SIL结果7. 生成对比测试报告8956/606 代码验证自动代码验证对比MIL和SIL结果57/60全程追溯代码验证工具Code Verification模型建立（链接）MILSILPIL模型测试/代码验证模型检查/验证模型验证工具Design Verification需求文档可执行需求系统模型子系统模型代码生成可执行代码113456220 模型介绍示例：燃油喷射闭环控制系统，重在安全模块1 模型建立（链接）链接模型和需求文档（word）方便追溯2 模型检查检查模型是否符合建模标准，增强可读性3 模型验证检查模型是否存在设计错误，无效分支4 模型测试手