快来围观–TPT18新版报到
那么,TPT18是如何让测试变得简单快捷呢?
TPT 18
TPT更新总体预览
1
新增形式化需求评估,实现需求和评估强相关;
2
更灵活的需求管理,支持自定义功能需求;
3
基于TASMO工具箱,自动生成满足MC/DC要求的测试用例;
4
新增覆盖度统计工具TPT Coverage;
5
丰富MATLAB平台功能;
6
新增给定激励信号的方式(TPT内置函数);
7
Batch Runner界面和功能更新;
8
ASAM XiL及Vector系列平台相关更新;
其他
1.新增Simulink Real-Time XiL 平台,支持新一代Speedgoat硬件;2. Carmaker Platform优化接口交互,并且当前测试可通过IPG可视化;3.新增评估函数,TPT.getConstant和TPT.isConstant(),支持任意表达式;4.全局评估可添加到Assesslet中,可针对任意平台激活;5.测试执行前后,可添加Python Script,实现自定义功能;6.在Test Case Details/Description中可导出评估条件;7.Test Case Summary中可显示链接的需求ID;……
详细
介绍
形式化需求评估
形式化需求具有简洁、明确和可评估的特点。在TPT18中,可将导入的Excel需求翻译成形式化需求评估。形式化需求不仅仅是靠链接关系完成的需求覆盖,而是更直接的对需求进行评估。
比如,灯控模型需求SPEC-17,可以翻译成如下形式化需求评估。
图 1 形式化需求评估
测试结果如下
图 2 测试结果
更灵活的需求管理
图3 功能需求分析
TASMO支持MC/DC自动生成测试用例
TPT18除了支持CC和DC覆盖外,还支持MC/DC覆盖,更容易达到理想覆盖度。
例如模型中OR模块,如须满足MC/DC,须包含如下情况:
图 4 模型中的Or结构
TPT
1.所有输入为False;
2. 一个输入为True,其余均为False;
在TPT18中,可分析出如下结构,并根据此结构自动生成测试用例。
图 5 TPT18 Or模块结构
新增代码覆盖度统计工具——TPT Coverage
在模型阶段,可以调用Targetlink、CTC++ for Targetlink和Simulink V&V统计覆盖度。
在代码阶段,除了CTC++和GNU gcov外,还提供了TPT Coverage统计覆盖度。
图 6 TPT Coverage
图 7 覆盖度报告
图 8 覆盖度报告
丰富MALTAB平台功能
超大的数据量也就意味着一个字——慢,而且是超级慢。
现在,这种情况得到缓解,TPT18的“MATLAB/Simulink Platform”新增选项“Simulation Mode”,可使用“Normal”、“Accelerator”、“Rapid Accelerator”和“Software in the loop”模式运行测试,可加快测试运行速度。
Tip:针对测试用例数量较多情况,TPT支持多核模式加速运行。
图 9 加速运行模式
图 10 Advanced setting
图 11 选择特定子系统
TPT18前导入Stateflow中间变量需要手动新建并设置Import Measurements,还需在测试平台中加入脚本。TPT18的可直接点击“offline logging”导入,方便快捷。
图 12 导入Stateflow 中间变量
当模型中使用了Simulink Function,但是测试目标层级的 Function Caller与Simulink Function不在同一层级,运行测试时会报错(找不到Simulink Function)。
面对此种情况,TPT18在测试框架中可自动生成TPT Simulink Function Handler。
图 13 TPT Simulink Function Handler
丰富给定激励信号的方式(TPT内置函数)
图14 TPT内置函数
Batch Runner界面和功能更新
在TPT18中,更新了界面,并且增加了如下步骤:
TPT API-script
Execute Tests
Generate Testframe
Generate Overview RePort
支持如下平台生成测试框架:
AUTOSAR
C/C++
MATLAB
ASCET@FUSION
ASCET
图 15 Batch Runner
ASAM XiL及Vector相关更新
TPT
服务项中增加了ASAM XiL Diag Port,可直接在测试用例中对DTC进行操作,如下:
Read DTCs
Clear DTCs
Read/Write Values
Execute Services
图 16增加的服务步骤
在DBC中如果定义并关联了Value Table,TPT18支持导入。
图 17 导入枚举
不仅在测试用例执行前可以控制XCP通信,而且在测试用例中也可以控制,方便进行测试。
图 18 XCP控制
图 19 测试用例中控制
北汇信息携手PikeTec,共同促进软件测试发展。欢迎各位同学提出宝贵意见,让软件测试变得越来越“方便”和“简单”!
往
期
推
荐
北汇信息x德国PIKETEC梦幻联动,为你打造TPT模型动态测试小课堂