编辑推荐: |
本文主要介绍如何利用simulink test工具箱,对模型进行单元测试。内容包括,如何创建test
harness模型,如何自动生成excel格式的测试用例模板来创建测试用例,如何手动填写excel格式的测试用例模板来手动创建测试用例。
本文来自于知乎 ,由linda编辑、推荐。 |
|
单元测试的目的
创建完模型后,我们需要验证模型的行为,即仿真结果,是否跟我们预期的一致,这样才能保证由模型生成的代码在嵌入式系统中执行得到结果跟我们预期的一致。单元测试主要是以模型或者模型内的子系统为单位进行测试。
虽然单元测试不能发现所有的问题,比如实际系统中的接口信号跟我们预期的不符,或者一些性能方面的需求。但是单元测试个人感觉还是必须的,测试用例设计的越全面,即把自己能想到的所有情况都测试一遍,后续在实车上出现非预期的情况就越少。
并且在模型单元测试中找问题会比在后续的集成测试,以及实车测试中找问题容易的多,所以尽量能在单元测试中发现的不能就不应该流出到后续的开发流程中。
做好单元测试会极大的提高开发效率。
现在matlab的simulink test工具箱做的也越来越完善,只需要简单几步就可以创建出测试环境,方便的修改测试用例,结果的可视化和报告功能也做得很好了,下面就具体介绍一下用法。
创建test harness测试模型
test harness 模型可以理解为一个测试框架。由被测试模型,信号输入和信号输出组成。
如果一个模型不是很复杂的话,可以直接对一个模型整体创建一个test harness模型,进行测试。具体方法是在模型最外层的空白处,点击鼠标右键,选择test
harness -> create for model…

如果模型很复杂的话,也可以对模型中的各个子系统分别创建test harness模型,然后分别单独测试这些子系统。具体方法是选中想要测试的子系统,点击鼠标右键,选择test
harness -> create for 'subsystem name'

点击后,就会出现如下的配置界面

其中,{name}是给出test harness模型的名称
{save test harness extern}如果不勾选 ,那么这个test harness模型就不会单独的生成一个文件,而是保存在原模型里面
{save test harness extern}如果勾选,那么这个test harness模型就以一个单独的文件保存
test harness模型的可以选择的输入输出如下:

其中harness模型的输入,可以选择为普通的inport,signal builder,signal
editor,from workspace,from file,test sequence等
harness模型的输出,可以选择为普通的outport,scope,to workspace,to
file,terminator等
实际可以根据自己的习惯和需求进行选择。
下图是输入为inport,输出为outport的test harness模型,本篇文章主要介绍针对这种类型的test
harness模型进行单元测试。这种模型的输入信号以及期望的输出信号可以通过excel的测试用例模板来给出。

其中,signal spec and routing 里的内容如下,会按照原模型的设置,将所有的输入信号的数据类型和采样时间做一个转换。

这样一个test harness模型就创建完了,接下来就准备对这个模型做测试。
自动创建excel格式的测试用例模板
首先打开simulink test manager,可以在模型菜单的apps里面搜索simulink
test

然后点击“simulink test manager”

或者直接在窗口输入命令:
sltest.testmanager.view
就会打开test manager的窗口

接下来用auto create功能,新建一个test file,并且自动生成测试用例的模板。点击new
-> test file from spreadsheet

然后会跳出如下界面,选择“create a test template file for specifying
data”

点击next后跳出如下的界面,在model中选择要被测试的模型,harness中选择该模型中创建的需要被测试的test
harness模型

然后会跳出如下界面,勾选想要在excel中想要包含的项目

inputs:模型最外层的输入。这个必须要选的,可以在excel表中编辑输入的值
parameters:模型中的参数。如果测试时不需要改变参数值的话,可以不勾选。
这边推荐是弄清楚parameters在excel页中设置的格式后,这边也都不用勾选了,如果需要修改参数值的话,按照格式,手动添加想要修改的参数值
comparison signals:信号线上logged的信号。这个必须勾选,并且需要把希望被测试的信号对应的信号线设置为logged。

include all attributes in the spreadsheet:信号的一些参数设置,比如插值方式,绝对允许误差等,推荐勾选上。
下一步是设置测试用例的个数和测试用例的基本名称

比如按照上面的设置,就会在测试用例的excel文件中,生成10个sheet,每一个sheet的名字为我们指定的名称 序号

最后,指定test manager的测试文件名和测试用例的excel文件名和存储位置。

这样就会自动生成test manager的测试文件和测试用例的excel文件。
test manager的测试文件打开后,如下图。

test suite:每一个测试文件中,都可以定义若干个test suite,可以把同一类型或同一功能的测试用例放到一个test
suite中
test case:每一个test suite中,可以定义若干个test case,test case中规定了测试详细的执行信息。实际测试执行的时候也针对每一个test
case进行测试的
create test case from external file:测试用例的具体信息从excel模板中提取,这篇文章重点介绍以这种形式来创建测试用例
小锁标记:表示这些设置是通过excel文件中的设置固定的,无法在该页面进行修改,只能通过excel文件进行修改。
*标记:提示这些设置是有过修改
下面详细介绍测试用例的每一项设置的内容:
tags:可以给一个标签名,比如按照功能,测试类型等,方便以后批量查找测试用例
description:可以给描述测试用例的测试步骤,方法等,方便理解
requirements:可以和需求关联。matlab现在有“simulink requirements”这个toolbox,可以在里面写需求文档,将需求和模型,以及对应的测试用例关联起来,以满足a-aspice或者iso26262所规定的软件开发流程中的可追溯性的要求。
system under test:里面设置了要被测试的模型,或者针对模型中所创建的某一个test
harness模型进行测试。
另外,如果有需要的话,这边也可以在进行单元测试时,覆盖掉原模型的设置,比如常用的一个就是仿真时间,可以根据每个测试用例输入数据的实际结束时间,覆盖掉原模型的仿真结束时间

parameter overrides:这里如果是根据excel模板生成的测试用例的话,是锁定不能修改的,里面列出了某个测试用例中,需要改变的参数

callbacks:里面分为3个不同时刻的,运行我们想要的脚本。
其中per-load是在读取模型之前,post-load是在读取完模型之后,cleanup是在测试仿真完成之后。
一种比较常见的用法是,在per-load中读取测试模型的数据词典里数据,在cleanup中清除这次测试的所有数据。

inputs:定义测试的输入信号,这里如果是根据excel模板生成的测试用例的话,是锁定不能修改的。
另外这边有两个选项可以勾选,如果勾选“include input data in test result”的话,在最后的结果中,也会显示输入信号。
如果勾选“stop simulation at last time point”的话,仿真测试到最后一个输入点的时候就会停止。

simulation outputs:可以在里面再选取模型中logged的信号作为观测量
configuration settings overrides:可以在仿真测试的时候对原模型的设置进行覆盖
baseline criteria:里面设置了期望值,以及比较仿真测试结果和期望值的一些参数。这里如果是根据excel模板生成的测试用例的话,是锁定不能修改的。但可以点击edit在excel文件中修改。
对比数据时,可以设置绝对误差,相对误差,时序领先误差和时序滞后误差

这四个参数可以在excel中,对应变量的下方设置,具体格式和参数名称如下

iterations:迭代测试。这里如果是根据excel模板生成的测试用例的话,是锁定不能修改的。会根据测试用例数自动生成,表示这个测试会根据不同的配置重复进行

coverage settings:统计覆盖度的设置。如果需要统计模型的覆盖度的话,就勾选“record
coverage for referenced models”和“record coverage for
system under test”

coverage metrics 的设置要在最外面的工程中设置,一般选择decision,condition和mcdc这三个覆盖度就够应付各种检查了。

点击run,就会执行测试

测试的结果会在result and artifacts中显示。如果仿真结果和预期符合就是绿色的勾勾,否则是红色的叉叉
baseline criteria result里显示的就是我们给定的信号期望值与实际值之间的比较。
上面的图是把仿真结果和期望结果放在一张图上显示出来,下面的图是两者之差和允许误差范围
external inputs里显示的是输入信号的值。(在{inputs}里勾选了include input
data in test result才会有)
sim output里显示的是模型中logged信号的值

另外如果设置了搜集覆盖度,那么还可以看到针对被测模型,所有测试用例累积的覆盖度

手动创建excel测试用例模板
了解了test manager用的excel测试模板的格式后,有时候手动创建测试模板会更方便一些。被测对象有多个测试用例的话,可以写多个excel文件,也可以在一个excel文件中的多个sheet上写。
比如对于下图的test harness模型,有7个输入和两个输出,那我们就要给7个输入赋值,以及给出对应时刻的输出的值

首先定义输入信号,时间序列{time}定义必须写在最前面,然后在每一列跟着输入信号的名称。
对于输入信号还推荐定义输入信号的数据类型,用type:<数据类型>来定义。
另外为了区分信号是输入还是输入,需要在输入信号最开始的一列定义source:input
对于输出信号,也是一样,首先是时间序列{time},然后在后面的列跟着输出信号的名称。
输出信号也要定义数据类型,以及定义该信号为输出source:output
对于输出信号还可以定义允许误差,比较常用的是相对误差和绝对误差。一般对于浮点类型的数据,需要给一个相对误差,因为浮点数没法比较完全相等
对于输出信号,还需要指定该信号在模型中的位置,是通过blockpath加portindex来确定的。
比如对于上图的两个输出信号,不但要指定信号名,还要指定连接信号线的模块{blockpath}和该模块对应的端口号{portindex}(如果端口号是1的话可以忽略不填)
还可以指定信号的插值方式{interp},如果时间序列不是最小步长的话,插值方式有两种,一个是保持上一次时刻的值“zoh”和线性插值”linear“

创建好测试用例的excel模板后,就可以手动创建一个以填写好的excel模板,在test manager中创建test
case。
点击new -> test file,然后给测试文件起一个名字

在{system under test}下面选择要被测试的模型以及模型内的harness模型,然后选中“create
test case from external file”,选择之前创建的excel测试用例文件。系统就会把在excel模板中填写的输入和输出的信息分别在{inputs}和{baseline
criteria}中自动创建好

最后再修改一些其他想要修改的设置,就能进行测试了。 |