Simulink模型覆盖度测试方法(结构测试)
覆盖度是用来表示一个测试用例对模型逻辑结构的所有路径测试的完成程度,适用于对模型进行结构测试的测试用例。一个完整的模型结构测试用例应当对模型或状态机内的每条路径都有唯一的条件进行测试。并且不与其他路径条件发生冲突。
覆盖度的作用对象是模型的测试用例,不是模型对象本身。
一、Simulink自动生成测试用例。
针对被测试的模型编写测试用例,使尽可能的包括所有的输入情况,可以使用Design Verifier 自动生成测试用例,再根据自己的流程对用例进行修改。
自动生成之前,应将所有的输入信号取值范围、参数类型设置好,这样生成的测试用例能更准确。
详细见《基于模型的设计——MCU篇》第443页-454页
二、覆盖度测试
- 模型覆盖测试
模型覆盖通过测量被测试模型被彻底测试的程度,帮助你验证你的模型测试用例,模型覆盖计算测试程序经过一个模型的模拟路径次数多少,模型覆盖是一定程度的说明一个测试案例如何彻底的测试一个模型和测试路径百分率的测度。
- 模型覆盖测试工作方式
模型的覆盖分析以下类型的模型对象的执行情况,直接或间接地通过您的模型确定simulation 路径:
Simulink 块
模型块中引用的模型
Stateflow 的状态和转换
模拟运行期间,该工具记录涵盖对象的行为、状态和转换。 在仿真最终,该工具报告在多大程度上运行行驶过的隐藏仿真路径通过模型的每个覆盖对象。
Ver