基于模型的分时段软件测试工具tpt

《基于模型的分时段软件测试工具tpt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、基于模型的分时段软件测试工具TPTTPT是针对嵌入式系统的基于模型的测试工具，特别是针对控制系统的软件功能测试。TPT支持所有的测试过程：包括测试建模、测试执行、测试评估以及测试报告的生成。TPT软件由于首创地使用分时段测试（TimePartitionTesting），使得控制系统的软件测试技术得以极大提升；同时由于TPT软件支持众多业内主流的工具平台和测试环境，能够更好地利用客户已有的投资，实现各种异构环境下的自动化测试；针对MATLAB/Simulink/Stateflow以及TargetLink，TPT提供了全

2、方位的支持进行模型测试。PikeTec公司是全球知名的基于模型的嵌入式系统测试工具TPT的软件供应商，总部位于德国柏林，其创始人均在戴姆勒公司拥有十多年的嵌入式软件开发经验。TPT产品曾被评为2005年戴姆勒最佳创新软件，并在戴姆勒、大众、奥迪、保时捷、通用等汽车整车厂及多家零部件企业（如博世、大陆、海拉）中得到广泛应用，如戴姆勒的多个车型的混合动力车的动力总成、电池管理控制器的测试，博世的汽油机和柴油机控制系统测试等。（请登录PikeTec的TPT产品了解更多产品详情。）北汇信息作为PikeTec的中国合作伙伴，将

3、帮助中国客户借助TPT提升嵌入式控制系统的开发效率。 分时段测试方法分时段测试（TimePartitionTesting）是一种采用分时段对软件进行测试和验证的测试方法，主要被用于嵌入式系统中基于模型的模块测试、集成测试、系统测试和回归测试。通常软件测试的一种分类是静态测试和动态测试。静态测试是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如

4、不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。例如QACC/C++、Logiscope等软件都属于静态测试工具。动态测试是指通过运行被测程序，检查运行结果与预期结果的差异，并分析运行效率和健壮性等性能，这种方法由三部分组成：构造测试实例、执行程序、分析程序的输出结果。例如：TestBed、Tessy、VectorCast等软件都属于动态测试工具、同时这些动态测试软件也包含了部分静态测试的功能。按照动态测试和

5、静态测试的划分，分时段测试软件TPT属于动态测试工具，它也是通过运行被测程序，检查运行结果和预期结果的差异来判断程序是否符合设计要求。和我们常规的动态测试软件不同、TPT软件使用了分时段方法对软件进行测试、常规的动态测试软件一般在设计测试用例的时候，都是以测试点的方式出现，也就是说，如果以时间来衡量，测试的输入只是某一个时刻系统的输入，依次获得系统在某一个时刻的输出。但是在嵌入式系统中，我们所见的都是基于时间的连续系统或者是带反馈的控制系统，例如变速箱控制、发动机控制等，衡量这些系统的行为是否符合设计要求的时候，往往

6、不能依靠某一个时刻的系统输出来判定，而是需要对一个时间段的行为进行系统的分析，从而确定系统行为是否正确，这时如果采用常规的动态测试软件对这些系统进行动态功能测试，就无法完成相应的测试任务。TPT软件测试工具采用分时段测试方法对软件进行测试，适用于测试具有连续行为的实时系统（实时系统，即在规定时间内对外部请求作出反应，交换物理数字数据和信号的系统，大部分开环控制系统和反馈控制系统均属于实时系统）。在使用TPT进行测试的过程中，每一个测试用例都能有针对性的对某类系统行为作出反应。一方面测试信号随着系统状态的变化而发生改变

7、，另一方面改变后的测试信号也会激发系统下一步的状态变化，这样就可以解决实时系统功能测试时无法定义系统输入的问题。 TPT软件功能   TPT软件是特别针对基于时间以及带反馈的嵌入式系统所开发的测试工具，这些系统往往需要大量的测试用例来保证系统的可靠性。TPT的设计理念是寻找出大量的测试用例中的相似点和不同点，然后通过对测试用例分割、建模以及组合，减少测试用例中重复的部分、提高测试用例的构建效率和复用度，避免无用的冗余。同时TPT软件通过丰富的测试环境平台接口，使得TPT构建的测试用例可以在产品开发的不同阶段被充分利用

8、，而不是面临不同的阶段采用不同的测试工具，需要重新构建测试用例的情况。   TPT的主要功能包括：测试用例建模各种系统平台上的自动化测试运行，如Matlab/Simulink,ASCET,Targetlink,CCode,以及运用数据通讯协议CAN,LIN自动化测试评估测试文档（测试计划，测试规格，测试报告）测试管理测试用例和DOORS系统中测