基于模型的软件测试TPT

TPT特性

PikeTec公司是全球知名的基于模型的嵌入式系统测试工具TPT的软件供应商，总部位于德国柏林，其创始人均在戴姆勒公司拥有十多年的软件测试经验。TPT作为针对嵌入式系统的基于模型的动态测试工具，支持众多业内主流的工具平台和测试环境，可应用于整个嵌入式软件开发周期，实现各种异构环境下的自动化测试。无论是在测试建模，测试环境还是测试评估，测试报告方面，都占据强大优势。

北汇信息作为PikeTec的中国合作伙伴，将帮助中国客户借助TPT提升嵌入式控制系统的开发效率。 TPT自动化测试过程

TPT自动化测试过程

1、测试用例建模

TPT是针对嵌入式系统开发的测试验证工具，图形化建立测试用例的方式易于阅读维护，针对MATLAB/Simulink/Stateflow、TargetLink及ASCET模型支持自动生成测试用例。

1）手动搭建测试用例

列表型测试用例：并行结构、条件语句、循环语句、Excel导入、信号预览等。
适合于复杂模型的图形化状态机型测试用例

TPT列表型测试用例

列表型测试用例状态机型测试用例

2）自动生成测试用例

独立测试平台Dashboard：对被测系统创建用户界面，以执行手动测试和观测系统，同时记录交互内容，自动生成测试用例。
TASMO工具箱：基于CC/DC原则自动搜索Simulink/Stateflow和TargetLink模型进行结构分析，生成最少的测试用例，实现最全面的结构覆盖。
基于等价类自动生成测试用例：将输入信号分成若干等价区间，并在各等价区间随机取值，自动生成测试用例，遍历测试场景。
基于变种自动生成测试用例：用户指定或自动选择状态机模型中states、transitions和path组合生成测试用例，自动覆盖所有测试场景，极大的提高测试建模效率。
基于数值范围自动生成测试用例：将所有输出信号取值排列批量生成测试用例，支持自定义信号最值及步长，TPT专门设计的默认代表值模式适用于边界值测试。
外部测试数据导入生成测试用例：支持多个测量文件同时导入、背靠背测试与回归测试。

TPT Dashboard测试界面

Dashboard测试界面 TASMO工具箱

2、测试评估与报告生成

支持使用GUI评估函数自动评估测试用例，如Trigger Rule,、Min/Max、 Signal Comparison、Script、Condition Tree、Sequence check、Equivalence classes check。
Signal Viewer：观测信号进行手动评估，支持导入/导出测量文件、同步采样信号与测试信号时间，同时观测多个测试用例等。
支持背靠背测试、回归测试、模型内部信号观测、容差设置。
自动生成高度可配置测试报告：Contents、Figures、Paragraph、Signal Table、Section等。

Signal Viewer评估界面定制化测试报告

3、测试环境

TPT支持汽车电子主流的工具链来覆盖产品开发的整个V模式（MiL、SiL、PiL、HiL、ViL）下所有的测试阶段，并实现测试用例的复用，无需更换测试工具。强大的Fusion平台使用户可以轻松创建包含不同组件的仿真环境。

TPT在不同测试阶段所支持的工具链：

TPT支持的主流开发工具

1）Model-in-the-Loop and Software-in-the-Loop (MiL-SiL) 模型在环及软件在环

Simulink/TargetLink/ASCET/AUTOSAR Model

支持Simulink/TargetLink/ASCET/AUTOSAR模型的MiL、SiL与背靠背测试。
支持从Simulink/TargetLink/ASCET/AUTOSAR模型中自动读取所有的接口信息，支持手动修改及导入模型内部接口信号，确保模型搭建的便捷与准确，为开发过程的测试用例复用提供保证。
自动生成测试框架，包含一个完整的输入输出定义模型以及特殊的TPT执行引擎。测试模型框架形成闭环测试，以准确评估测试用例执行结果的正确性。
支持开环和闭环测试（支持DYNA4/CarMaker/Carsim等）。