原创 如何高效的进行Simulink模型测试?
Simulink/Targetink 模型
TPT作为一款嵌入式软件的模型动态测试工具,支持对Simulink和Targetlink模型的测试,在Simulink中运行的模型无论大小都可以在TPT中进行测试。TPT能管理测试,并且能简化测试创建、管理、维护和分析的工作,节省时间,提高效率。所以,TPT是一款对Simulink和Targetlink模型进行MiL测试的理想工具。
如何利用TPT对Simulink模型进行测试
利用TPT设置和执行Simulink和Targetlink模型测试是很简单的。用户只需要在TPT中进行配置,然后TPT就会在后台自动运行——包括执行MiL-SiL的背靠背测试。
一般情况下,MiL测试会在Simulink中进行。用户只需要在Simulink中以MiL测试模式创建测试用例并执行即可。然后,用户可以在Targetlink,Embedded Coder或Simulink Coder中生成代码,并使用TPT在SiL测试模式下执行代码测试。自动生成代码之后,即可自动执行测试用例。这样,测试结果对比会很容易——通过一种自动化的方式与容错信号进行对比。
TPT17推出MATLAB Toolbox,用户可以直接在MATLAB/Simulink平台中直接使用TPT。
接口分析
TPT在执行测试之前,需要对Simulink/Targetlink模型的接口进行分析:根据用户的设置,TPT会自动分析模型中的所有信号和参数。因此,TPT能准确地对模型接口进行分析,不仅是其中的信号和参数,还包括数据类型,阵列,总线,范围,消息信号,内部信号等等。所有这些数据都可以通过TPT进行变更和监测。
手动测试用例设计
TPT中的测试用例可以手动建模成功能测试用例。TPT支持很多独一无二的模型测试技术。TPT中的测试用例设计是非常自然、直观的。所以,使用TPT在Simulink和Targetlink中创建测试和维护测试都是比较简单的。
自动生成测试用例:TASMO
TPT提供TASMO自动生成测试用例以满足客户对覆盖度(条件覆盖、决策覆盖)的要求。客户只需要选择需要的覆盖度标准,TASMO会据此搜索测试用例。TASMO会为Simulink模型,Stateflow模型或Targetlink模型自动生成尽可能少的测试用例来达到最大的结构覆盖指标。这些生成的测试用例也可以复用在背靠背回归测试中。
测试执行
TPT会自动生成测试框架,其中包含被测模型的副本以及会完成测试工作的TPT test driver。TPT能远程启动并控制整个测试执行过程。
运行前编译
在测试执行之前,TPT可以帮助客户将Simulink模型自动编译成C代码。相较于单纯的模型测试,这一功能会大量减少测试执行的时间。同时,TPT支持在不同的的机器上执行测试。
支持复杂的测试套件
复杂的测试或测试套件可以在无人情况下通过批处理模式执行,也可以利用TPT 的Jenkins插件进行,比如隔夜执行的情况。TPT还可以并行地远程控制几个MATLAB实例,这可以极大地减少测试执行时间。
对测试的评估分析
在测试执行之后,TPT会对在信号和参数中收集到的数据进行评估。内部信号可以使用TPT进行自动追踪,也会包含在评估中。并且评估完成后TPT会生成评估报告。
MiL-SiL-PiL 的背靠背测试
Simulink/Targetlink模型的测试用例可以在MiL,SiL,PiL阶段执行。这三个阶段的行为可以在TPT中简单的进行对比。用户只需使用不同的仿真模式(MiL、SiL、PiL)设置几种执行配置,并启用和配置背靠背的评估,TPT就可以自动在设置好的模式下执行这些测试并对测试结果进行对比。
通过MATLAB工具箱控制TPT
在TPT17及以后的版本中,用户可以通过MATLAB工具箱在MATLAB/Simulink中控制TPT。用户可以在Simulink/Targetlink的子系统中建立TPT工程,包含以下功能:
>>直接在Simulink中控制TPT
>>为所选MATLAB/Simulink子系统创建TPT工程
>>测试执行过程中自动记录子系统中信号的选择
>>打开所选子系统的现有TPT项目
>>实现MATLAB/Simulink模型与已有TPT项目之间的链接
>>接口自动化导入TPT
>>在TPT中建立Simulink平台
符合ISO26262标准的MiL测试
TPT为用户提供测试工具,支持并促进用户根据相关安全标准开发安全相关系统。针对软件开发,ISO26262对不同开发阶段的要求做出了定义,TPT可以满足ISO26262 ASIL-A到ASIL-D对软件的测试要求。
在TPT中监测接口信号和内部信号
如果用户需要同时监测接口信号和内部信号,那么可以在TPT中记录这些信号类型。针对Simulink/Targetlink模型,用户可以在TPT中进行信号配置,并最终在测试报告中观测到这些信号。
使用TPT进行Simulink/Targetlink模型测试的优势
>>总线信号、消息信号、向量、模型引用、触发的子系统,以及许多其他常见的建模技术的运用
>>对Simulink/Targetlink数据字典的分析
>>对Simulink/Stateflow/Targetlink模型的处理
>>支持缩放
>>支持MiL和SiL仿真中的背靠背测试
>>生成Simulink/Targetlink模型测试用例,以实现模型覆盖
>>支持MiL-SiL-PiL测试
>>支持Simulink Coder和Embedded Coder
>>支持TPT MATLAB 工具箱
>>支持MATLAB/Simulink/Targetlink的MiL-SiL-PiL测试
>>支持AUTOSAR和AUTOSAR AP