基于模型分时段软件测试工具TPTWord文件下载.docx
- 文档编号:825379
- 上传时间:2023-04-29
- 格式:DOCX
- 页数:11
- 大小:667.06KB
基于模型分时段软件测试工具TPTWord文件下载.docx
《基于模型分时段软件测试工具TPTWord文件下载.docx》由会员分享,可在线阅读,更多相关《基于模型分时段软件测试工具TPTWord文件下载.docx(11页珍藏版)》请在冰点文库上搜索。
分时段测试方法
分时段测试(TimePartitionTesting)是一种采用分时段对软件进行测试和验证的测试方法,主要被用于嵌入式系统中基于模型的模块测试、集成测试、系统测试和回归测试。
通常软件测试的一种分类是静态测试和动态测试。
静态测试是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。
对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。
静态方法通过程序静态特性的分析,找出欠缺和可疑之处,例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。
静态测试结果可用于进一步的查错,并为测试用例选取提供指导。
例如QACC/C++、Logiscope等软件都属于静态测试工具。
动态测试是指通过运行被测程序,检查运行结果与预期结果的差异,并分析运行效率和健壮性等性能,这种方法由三部分组成:
构造测试实例、执行程序、分析程序的输出结果。
例如:
TestBed、Tessy、VectorCast等软件都属于动态测试工具、同时这些动态测试软件也包含了部分静态测试的功能。
按照动态测试和静态测试的划分,分时段测试软件TPT属于动态测试工具,它也是通过运行被测程序,检查运行结果和预期结果的差异来判断程序是否符合设计要求。
和我们常规的动态测试软件不同、TPT软件使用了分时段方法对软件进行测试、常规的动态测试软件一般在设计测试用例的时候,都是以测试点的方式出现,也就是说,如果以时间来衡量,测试的输入只是某一个时刻系统的输入,依次获得系统在某一个时刻的输出。
但是在嵌入式系统中,我们所见的都是基于时间的连续系统或者是带反馈的控制系统,例如变速箱控制、发动机控制等,衡量这些系统的行为是否符合设计要求的时候,往往不能依靠某一个时刻的系统输出来判定,而是需要对一个时间段的行为进行系统的分析,从而确定系统行为是否正确,这时如果采用常规的动态测试软件对这些系统进行动态功能测试,就无法完成相应的测试任务。
TPT软件测试工具采用分时段测试方法对软件进行测试,适用于测试具有连续行为的实时系统(实时系统,即在规定时间对外部请求作出反应,交换物理数字数据和信号的系统,大部分开环控制系统和反馈控制系统均属于实时系统)。
在使用TPT进行测试的过程中,每一个测试用例都能有针对性的对某类系统行为作出反应。
一方面测试信号随着系统状态的变化而发生改变,另一方面改变后的测试信号也会激发系统下一步的状态变化,这样就可以解决实时系统功能测试时无法定义系统输入的问题。
TPT软件功能
TPT软件是特别针对基于时间以及带反馈的嵌入式系统所开发的测试工具,这些系统往往需要大量的测试用例来保证系统的可靠性。
TPT的设计理念是寻找出大量的测试用例中的相似点和不同点,然后通过对测试用例分割、建模以及组合,减少测试用例中重复的部分、提高测试用例的构建效率和复用度,避免无用的冗余。
同时TPT软件通过丰富的测试环境平台接口,使得TPT构建的测试用例可以在产品开发的不同阶段被充分利用,而不是面临不同的阶段采用不同的测试工具,需要重新构建测试用例的情况。
TPT的主要功能包括:
测试用例建模
各种系统平台上的自动化测试运行,如Matlab/Simulink,ASCET,Targetlink,CCode,以及运用数据通讯协议CAN,LIN
自动化测试评估
测试文档(测试计划,测试规格,测试报告)
测试管理
测试用例和DOORS系统中测试需求的可追踪性
TPT基本特性:
∙所有开发阶段的测试工具一致性:
定义的测试项目可以用于产品开发的所有阶段(MiL、SiL、HiL),TPT可以被用于产品开发的各个阶段,无需更换测试工具、便于更早的发现错误
∙直观的测试定义:
基于模型的测试定义,无需测试人员具备编程能力,使用者直接使用图形化测试建模方式对测试项目进行定义
∙支持多种平台的测试执行:
TPT支持在多种平台的测试执行,例如MATLAB/Simulink、TargetLinkModel、ASCET、Davinci、SystemDesk、CAN、LIN、INCA、LABCAR、HiL-Tests)
∙支持AUTOSAR组件测试:
结合TPT测试软件以及执行平台DaVinci、SystemDeskorMessina,可以对AUTOSAR组件进行测试
∙实时测试:
结合实时系统平台,可以实时执行测试
∙闭环测试:
TPT支持对闭环系统的测试,也就是说在测试的过程中,可以对系统的行为作出反应。
∙自动化测试结果评估:
在测试运行结束后,可以对来源于TargetLink、Simulink所记录的数据、INCA或者CANape等工具的数据,通过GUI界面或者评估脚本进行分析,也就是说,可以通过全时段数据全面的分析系统的预期行为。
TPT提供了常用的分析功能:
例如信号边界检查、与参考信号的比较、信号序列的正确性判断以及信号调理等
∙高效的自动化测试文档:
系统可以自动生成可配置的HTML格式的测试文档
∙自动化测试过程:
TPT具有高度的自动化能力,可以自动执行测试、对测试结果的评估、以及生成测试报告,针对不同的测试平台,这些过程都是一样的
∙需求跟踪:
TPT支持测试用例与需求之间的关联
Simulink模型测试
针对MATLAB/Simulink/Stateflow以及TargetLink,TPT提供了全方位的支持;
TPT针对MATLAB/Simulink/Stateflow以及TargetLink专门设计了完美的接口,我们通过MATLAB/Simulink/Stateflow以及TargetLink构建功能模型,然后在TPT中创建测试用例模型,通过TPT的MATLAB接口保证测试的高效率执行。
为了保证更加方面的创建测试模型以及保证复用性,TPT自动从Simulink的模型中获取所有的接口信息,并将其插入到测试模型中,这些接口信息以及信号由TPT自动进行处理,用户无需处理。
为了能够顺利的执行测试用例,TPT需要一个测试框架模型,该模型包含一个完整的输入输出定义模型以及特殊的TPT执行引擎,TPT自动生成该模型,用户也无需定义。
所有的测试执行管理都由TPT处理,测试的执行可以无人值守,也就是说,TPT可以远程控制MATLAB/Simulink,并且处理两个工具之间的数据交换
特点:
全面支持MATLAB/SIMULINK
全面支持TargetLink
自动化的接口分析
自动化的测试框架模型生成
参数的双向交换
在MiL、SiL、PiL和HiL中测试用例的复用
通过对M脚本的支持实现灵活配置
从模型到硬件的测试执行
TPT一个非常突出的特点就是它的灵活性,TPT可以在不同的环境中执行测试。
例如TPT可以针对系统模型执行测试(MATLAB/Simulink),也可以对软件执行测试(C代码、AUTOSAR软件组件),同样也针对真实的ECU执行测试(HiL),尽管这些环境大不相同,但是对于TPT工具而言,测试建模和测试工具都保持了一致性。
TPT支持的测试环境:
∙MATLAB/Simulink/TargetLink:
TPT可以测试MATLAB/Simulink/Stateflow模型,TargetLink模型以及定点模型(RTW或者TargetLink)
∙ASCET:
TPT可以测试ASCET模型
∙CAN/LIN:
TPT可以测试通过CAN/LIN总线连接的控制器
∙C代码:
TPT可以在PC上直接测试使用C代码开发的控制器程序
∙DaVinciCT:
TPT可以通过DavinciCT测试AUTOSAR软件组件
∙SystemDesk:
TPT可以联合SystemDesk测试AUTOSAR软件组件
∙I/O控制器:
TPT可以测试通过基于PC的I/O进行连接的控制器
∙MCD3:
TPT可以通过MCD3工具,例如INCA或者CANape测量信号以及标定参数
∙LABCAR:
TPT可以联合LABCAR进行HIL测试
针对基于PC机的测试环境,TPT还提供了一个联合仿真环境FUSION,利用FUSION,可以很轻松的创建和配置一个异构的包含不同组件的仿真环境,例如包含软件模块、CAN控制器、MCD3接口以及被控对象模型。
AUTOSAR的代码测试
TPT可以用于AUTOSAR的测试,借助最新的特性“AUTOSAR-componenttestingsupportforFUSION”,客户可以在FUSION平台上直接测试AUTOSAR软件模块,而不需要借助其他的AUTOSAR工具。
当然,TPT可以与现有的标准工具如Davinci、Systemdesk进行联合使用,间接测试AUTOSAR模块。
TPT可以直接调用Davinci来完成AUTOSAR模块的测试;
当使用Systemdesk时,TPT-VM是Systemdesk的一部分,对AUTOSAR模块的测试是由Systemdesk中的TPT完成的,所有AUTOSAR的模块的配置是在Systemdesk中完成。
HIL测试
TPT对于HIL测试硬件的支持,目前主要是LABCAR和dSPACE。
TPT-VM可以在HIL系统上实时运行。
关键的任务是如何将测试用例传输到TPT-VM上,以及如何把测试用例传输回PC主机。
另外一种实现方式时:
TPT-VM也可以在PC主机上运行,把数据传输回HIL系统,但这种情况下不是实时的,依赖于HIL系统本身的情况。
在对真实ECU控制器硬件进行测试时,TPT可以同时测量ECU的部信号。
这些测量量也可在后续的测试评估中使用。
这对于测试结果评估的自动化来说是非常有价值的。
TPT可以通过INCA或CANape进行协作,按照ASAMMCD3标准进行ECU控制器信号的测量。
需求跟踪
需测试人员执行测试的输入条件,测试的目的就是保证设计完成的系统最终能够符合需求,所以对于一个优秀的测试软件而言,与需求系统之间的关联以及追踪是一个必不可缺的特性,现在众多的标准都对需求管理有着严格的要求,例如IEC61508、DO-178B、EN50128以及ISO26262。
TPT对需求管理的支持:
可以创建和管理需求与测试用例之间的关联
支持需求变更后的冲突分析
支持在TPT中对需求的浏览
支持IBMRationalDOORS
TPT测试用例可以导出至需求管理工具
可以从需求管理工具导入测试用例
可以在需求管理工具和TPT之间同步测试用例
可以导入需求到TPT
支持在TPT中跟踪需求的变更
支持需求覆盖的分析
ISO26262支持
对于ISO26262标准下的产品开发所需的所有测试活动,TPT都能够予以支持。
根据ISO26262的要求,当使用软件工具简化或者自动化与安全相关的开发活动时,需要对使用的软件工具进行资质审核。
TPT支持对于TI(ToolImpact,由于软件工具发生故障或者产生错误输出而引起分配到安全相关的项目或者元素上的安全需求被破坏的可能性)和TD(ToolerrorDetection,防止或者检查到软件工具发生故障的可能性)的分析和检测。
当对TPT进行资质审核时,需要确定TCL(ToolConfidenceLevel,工具置信水平),并且对于TPT的审核采用两种方法:
客户可以检查TPT的开发流程,并且通过TPT提供的验证套件进行验证。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 基于 模型 分时 软件 测试 工具 TPT