文章目录

提高模型测试的速度形式化需求MC/DC自动重建测试框架将重要的内容进行标记快捷访问集成平台

【北汇信息】TPT | 嵌入式软件模型动态测试工具TPT 18

提高模型测试的速度

测试Matlab/Simulink模型最好的方式就是运用TPT。多年来Piketec一直致力于通过改进模型测试工具TPT使模型开发过程更便捷高效。TPT 18加入了与Matlab/Simulink相关的新特性。

对Piketec来说，最重大的创新是在Matlab/Simulink中使用TPT加速MiL和SiL测试的可能性。在TPT18及之后的版本中，用户将感受到巨大的性能提升。Piketec对TPT主要进行了以下几方面的改动：

使用TPT执行测试时，支持MATLAB的Accelerator，Rapid Accelerator以及SiL功能，并且可以在TPT中直接配置。

多核执行支持同时执行动态测试和模型覆盖度的测量，这将大幅度减少测试执行时间。

说到覆盖度测量，TPT18中将支持对Matlab/Simulink模型的MC/DC测量。无需耗时的手动编写工作，通过自动生成测试用例，用户即可提高覆盖度。MC/DC的这些新特性将在TASMO模块中实现。

TPT 18 可以帮助用户隐藏一些用户不想体现在覆盖度测量报告中的子系统，这会帮助用户进行有意义的测量。这一新特性是由那些拥有第三方库或者中央组织的标准子系统的客户要求增加的。

TPT的Simulink function处理器为在Matlab平台中使用Simulink桩函数的用户提供了更强的鲁棒性。

最后一点重要的改动与Stateflow 离线记录日志有关。测试人员现在可以通过TPT 18用户界面中的配置来记录Stateflow内部的变量和状态。一些TPT高级用户已经使用了该功能，但现在它使用起来更容易了。

形式化需求

形式化需求与自然语言的需求的区别在于它用一种预先定义的语言来传达同样的含义。

用户可以从常用需求管理工具（e.g. Codebeamer, Quality Manager, Polarion, Doors, Excel）中或者通过ReqIf标准文件将需求或者测试用例导入TPT中，并把这些需求与要实施的测试用例相链接。但是TPT不止于此：在TPT 18中用户可以给每条需求添加一个形式化符号。用户可以在测试执行过程中自动检查形式化需求。每条需求的测试结果自然也会出现在测试报告中。

为了创建形式化需求，我们定义了一个清晰且全面的语言集。这种类型的符号的优点是，具有相同词汇表知识的所有读者都能完全理解它们。因此，形式化需求不需要再额外解释。这样就可以避免因误解而产生的额外工作，从而节省开发资金。高度的细节化让它们易于理解，几乎不需要用户具备任何领域特定的知识，因此即使没有参与开发的部门也能很好地理解这种需求。

形式化需求与自然语言的需求的区别可以理解为形式化需求是对现有需求进行一致的重新拟订和细化。

TPT 18 提供了一组函数来处理自然需求外的形式化需求。基于TPT导入和导出需求的特性，用户现在可以在TPT中创建自然语言需求和形式化需求。我们以这样一种方式设计了UI，需求可以在任何时候由形式化需求补充和改进。

重要的是，在TPT18中形式化描述的每一个需求都会自动评估和报告。据估计，有了这个新特性，用户可以将维护成本，测试实施的可维护性成本以及总体测试工作成本降低10-20%。

【北汇信息】TPT | 使用形式化需求

MC/DC

TPT 18中增加了两个MC/DC新功能：

测量C/ C++和Simulink的MC/DC覆盖率；使用TPT自动生成测试用例: 通过这种方式，用户可以快速且轻松地将覆盖率提高到100%。

Piketec对算法进行了调整，用尽可能少的测试用例来做MC/DC测试。无需自己创建测试用例，只需要执行和维护最小数量的测试用例即可。也不需要购买额外的测量工具来确定覆盖率，将为客户节省大量的时间和资金成本。

详见文章：MC/DC（修正条件/判定覆盖）：如何达到100%覆盖率？

自动重建测试框架

众所周知，开发会使代码迭代。接口改变之后，测试人员可能需要手动重建测试框架。然而，这种手动操作的时代已经结束了。TPT18支持运用批处理等方式自动重建测试框架。

TPT的自动化模块批处理运行器(Batch Runner)现在已经成为不同版本的TPT不可或缺的一部分。在TPT18中，各种创新技术使批处理运行器更容易使用以及更直观地处理工作。

当测试人员更新系统组件(在C/ C++， MATLAB/ Simulink, AUTOSAR, ASCET和通过FUSION联合仿真的ASCET中)时，可以相应地更新测试框架，并像往常一样执行测试用例。

在批处理脚本中，可以在任何需要的地方调用API脚本。Python的通用性使这个新功能支持在测试执行之后编写任何脚本。TPT还支持通过TPT-API调整参数，启动或关闭HiL测试台架。

为了使在批处理运行器上的工作更加舒适，TPT支持在批处理运行器中使用撤销/重做选项，用户可以在常用的TPT导航中了解。此外，通过增大批处理运行器中大的缓存，TPT处理更大的项目的能力得到了增强。

将重要的内容进行标记

想在测试用例里把文本突出强调？想删除一些内容？抑或想在其中快速地添加表格或链接？简单，这些在TPT 18中都可实现。TPT 18中添加了标记功能以对文本进行格式编排。

TPT 18中的标记功能可以用在对测试用例、变种、状态机的描述文本中，也可以用在测试用例详细信息和步骤列表中的文档步骤中。

标记的目的是使文本尽可能易于阅读和编写。该功能主要使用’ * ‘和’ _ '对文字和文本部分进行文本内格式化。因为这种语法易于使用和应用，所以在TPT中广泛使用。用户可以在TPT文档中了解TPT18支持的格式。

TPT的标记功能是基于CommonMark库实现的，并且Piketec也使用扩展功能进行了扩展。除了标准的粗体和斜体，用户还可以在TPT中使用表格、图像、链接和多级项目符号列表等。

使用“眼睛”按钮用户可以自由切换标记编辑模式和标记渲染模式，在渲染模式下无法进行编辑。在所有支持标记的区域，用户都可以切换到标记的分屏幕，分屏幕可以编写和查看渲染结果。记得点击OK以保存编辑结果，同样也可以使用Control+Z撤消更改，使用Control+Y恢复更改。

通过使用Markup，Piketec为TPT用户实现了另一个有用的特性，以进一步提高TPT的清晰度。

快捷访问集成平台

有人说连接被测系统是测试团队最大的挑战之一。为了更好地进行测试，TPT 18在平台配置器中添加了12个最常用的平台。

如下图所示，TPT 18可以很容易地通过对话框访问这些平台，以简化初始设置。对话框如此设计是为了方便初步设置，后续用户可以根据项目做进一步的特定配置。这些功能将在TPT 18中出现。对于所有尚未包含的平台，用户可以像以前一样，通过FUSION节点自行通过编程连接。TPT中的说明文档和技术支持会有所帮助。

以下平台可通过TPT 18中的平台配置进行连接:

Arduino PlatformCANape PlatformDiagRA D PlatformFMI PlatformGDB PlatformINCA PlatformLauterbach PlatformPeak CAN PlatformPLS UDE PlatformRT-LAB PlatformSimulink Real-Time XiL PlatformVector CAN Platform

作者：北汇信息-贪玩的皮卡球

喜欢本篇文章的话记得💬评论💖点赞⭐收藏➕更多技术文章直播课程，敬请持续关注北汇信息➕⬇️业务咨询请私信北汇信息或在官网留言⬇️📩📩📩