基于TPT/TASMO的模型覆盖度自动化测试

北汇信息 2022-09-22

概述

基于模型开发(Model-Based Development)的设计方法以其直观、快速、高效等优势，在嵌入式控制系统设计中得到广泛应用。如何保证模型的可靠性和功能的正确性，这需要对模型进行覆盖度测试验证。

德国PikeTec公司提供的嵌入式系统测试工具TPT很好的解决了这一问题，使用TPT的TASMO工具箱可以针对模型的覆盖度测试自动生成测试用例，以测试模型是否满足功能需求。北汇信息作为TPT的合作伙伴，将为客户提供全方位的支持和高效的测试解决方案。

为什么需要模型覆盖度测试？

如何确保产品功能的可靠性，这需要充分的测试。覆盖度分析是确定测试是否完整的简单方法，并且能够跨越整个软件生命周期从单个开发人员测试到最终的发布测试。

基于模型的覆盖度测试，可使得测试验证过程提前至模型设计阶段，即系统结构设计和子系统模块设计阶段就能够对系统进行测试验证。这样可以在更早的设计阶段保证系统的安全性和功能的正确性。同时，TASMO高效、高覆盖度的测试用例也可以复用于独立C代码的测试、单元测试和系统测试。

TASMO的特性

TASMO工具箱是针对Simulink/Stateflow和TargetLink模型，基于C/DC原则自动产生测试用例，进行模型覆盖度测试验证的工具。

基于TPT/TASMO模型覆盖度测试案例

灯控系统在Simulink子系统中包含两个输入（light_switch和light_intensity）和一个输出（headlight）。当开关位于ON、OFF时，前大灯随之打开、关闭；当开关位于AUTO时，前大灯随着光照条件打开、关闭。

首先，进行平台配置和模型分析，根据数据类型对输入/测试数据进行定义。

基于C/DC准则自动进行覆盖度分析，TASMO设计测试用例的原则是尽可能的满足覆盖度需求。

选择相应的变型，自动生成测试用例。

该示例中模型的覆盖度达到了100%，TASMO自动生成测试用例的原则是尽量做到全面的条件/判定覆盖，TASMO自动生成的一组测试用例如下图所示。

如需了解如上内容更多信息，可以随时联系北汇信息！

电话：010-64782218

邮箱：info@polelink.com

微信ID：Polelink_Info

北汇信息｜专注电控、新能源、MES技术

长按二维码关注北汇信息