CN109800155B - 一种基于Probe的QTE联锁应用软件测试方法及装置 - Google Patents
一种基于Probe的QTE联锁应用软件测试方法及装置 Download PDFInfo
- Publication number
- CN109800155B CN109800155B CN201811563629.1A CN201811563629A CN109800155B CN 109800155 B CN109800155 B CN 109800155B CN 201811563629 A CN201811563629 A CN 201811563629A CN 109800155 B CN109800155 B CN 109800155B
- Authority
- CN
- China
- Prior art keywords
- probe
- test
- testing
- target
- logic module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明的实施例公开了一种基于Probe的QTE联锁应用软件测试方法及装置,在创建目标模型的过程中,预先在各需要进行中间变量测试的目标逻辑模块上加注Probe。由模型生成代码后,通过仿真运行查找到各Probe的相对路径。在QTE环境下编写用于对目标逻辑模块进行测试的测试脚本文件时,通过各Probe的相对路径可以获取目标逻辑模块输出或输入的中间变量,通过这些中间变量即可实现对模型中的任一目标逻辑模块进行测试。相比于仅能对整个模型进行测试的方法,对模型内的逻辑模块的测试提高了对模型各逻辑分支测试的覆盖率。另一方面,由于减少了输入量,该方法大大降低了编写测试脚本的工作量。
Description
技术领域
本发明实施例涉及软件模型测试技术领域,尤其是涉及一种基于Probe的QTE联锁应用软件测试方法及装置。
背景技术
SCADE(Safety-Critical Application Development Environment)高安全性的应用程序开发环境,提出了一种基于模型的图形化开发方式,覆盖了从需求分析到代码实现的整个软件开发流程。SCADE开发环境实现了直观的图形化需求建模功能,基于模型的标准C代码和开发文档的自动生成功能,以及基于模型的仿真验证和软件测试功能。其严谨的建模理论和经过高安全性验证的代码生成器KCG,保证了软件需求和代码产品的高度同步。
QTE(Qualified Testing Environment)是Scade LifeCycle中的重要组件,用于对Scade模型进行测试和验证。QTE测试基于模型单元编写测试脚本,通过设置“输入-检查输出”的方式对模型功能进行测试,因此具备黑盒测试的特点。同时,执行测试脚本又可以生成模型覆盖率和代码覆盖率统计文件,所以又具备白盒测试的产出。QTE测试方法是基于模型单元的测试,通过设置输入-检查输出的方式来对某个模型进行测试,因此测试脚本针对的是该模型的输入和输出,不关心中间变量。因此当***内部各个模型耦合度较低时,QTE测试方法能够很好地针对各个模型进行独立测试。
然而,当***中各个模型耦合度很高时,测试用例通常会涉及多个模型的部分功能,QTE测试方法只能以这些模型的顶层模型作为测试对象进行测试,涉及的输入量会急剧增多,使得编写测试脚本的工作量大量增加,并且增加了出错率和调试难度,脚本的可读性和可维护性也都大大降低。另一方面,QTE测试也无法对耦合度较高的模型中的某些功能逻辑进行测试。
在实际应用中,发明人发现现有的QTE测试方法无法对耦合度较高的模型中某一逻辑模块进行测试,一方面无法实现对模型各逻辑模块进行完整的测试,另一方面由于对模型整体进行测试涉及到较多的输入量,编写测试脚本的工作量较大。
发明内容
本发明要解决现有的QTE测试方法无法对耦合度较高的模型中某一逻辑模块进行测试,一方面无法实现对模型各逻辑模块进行完整的测试,另一方面由于对模型整体进行测试涉及到较多的输入量,编写测试脚本的工作量较大的问题。
针对以上技术问题,本发明的实施例提供了一种基于Probe的QTE联锁应用软件测试方法,包括:
获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本发明的实施例提供了一种基于Probe的QTE联锁应用软件测试装置,包括:
获取模块,用于获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
生成模块,用于在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
测试模块,用于执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本实施例提供了一种电子设备,包括:
至少一个处理器、至少一个存储器、通信接口和总线;其中,
所述处理器、存储器、通信接口通过所述总线完成相互间的通信;
所述通信接口用于该电子设备和其它电子设备的通信设备之间的信息传输;
所述存储器存储有可被所述处理器执行的程序指令,所述处理器调用所述程序指令能够执行以上任一项所述的方法。
本实施例提供了一种非暂态计算机可读存储介质,所述非暂态计算机可读存储介质存储计算机指令,所述计算机指令使所述计算机执行以上所述的方法。
本发明的实施例提供了一种基于Probe的QTE联锁应用软件测试方法及装置,在创建目标模型的过程中,预先在各需要进行中间变量测试的目标逻辑模块上加注Probe。由模型生成代码后,通过仿真运行查找到各Probe的相对路径。在QTE环境下编写用于对目标逻辑模块进行测试的测试脚本文件时,通过各Probe的相对路径可以获取目标逻辑模块输出或输入的中间变量,通过这些中间变量即可实现对模型中的任一目标逻辑模块进行测试。相比于仅能对整个模型进行测试的方法,对模型内的逻辑模块的测试提高了对模型各逻辑分支测试的覆盖率。另一方面,由于减少了输入量,该方法大大降低了编写测试脚本的工作量。
附图说明
为了更清楚地说明本发明实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍,显而易见地,下面描述中的附图是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1是本发明一个实施例提供的Scade开发环境中的开发工具示意图;
图2是本发明另一个实施例提供的基于Probe的QTE联锁应用软件测试方法的流程示意图;
图3是本发明一个实施例提供的获取Probe的相对路径示意图;
图4是本发明一个实施例提供的将Probe相对路径引入测试脚本中的示意图;
图5是本发明一个实施例提供的对测试脚本文件进行管理的示意图;
图6是本发明一个实施例提供的“办理普通进路”的模型的数据流示意图;
图7是本发明一个实施例提供的基于Probe的QTE联锁应用软件测试装置的结构框图;
图8是本发明一个实施例提供的电子设备的结构框图。
具体实施方式
为使本发明实施例的目的、技术方案和优点更加清楚,下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
以下对本发明提供的方法的应用背景进行简单介绍,图1是本实施例提供的Scade开发环境中的开发工具示意图,参见图1,Scade开发环境中主要包含的开发工具有ScadeArchitecture、Scade LifeCycle、Scade Suite和Scade Display。Scade Architecture用于进行需求分析,Scade Display用于提供人机交互界面,Scade Suite提供了一种创建模型的环境,通过逻辑符号建立逻辑关系,在Scade Suite中生成代码。Scade LifeCycle提供了各种测试环境,例如,可以在QTE环境下编写对模型进行测试的测试脚本,运行测试脚本实现对模型的测试。QTE适用于对低耦合,高内聚的模型进行测试。
由于QTE是通过对模型设置输入-检查输出的方式记性测试的,所以QTE仅能用于对模型整体或者低耦合度的模型的模块进行测试。对高耦合的模型,由于无法对某一逻辑模块进行输入参数的设置和输出参数的获取,因而无法实现对模型中某一逻辑模块的测试。
然而,在Scade Suite中的Simulator仿真环境下,存在一种Probe功能,Probe是用来监视仿真过程中一些变量的变化的,在仿真运行完成后Probe的内存空间也不会被释放。本申请提供的方法正是利用Probe的这一特性,将Probe加注到模型中各需要被测试的逻辑模块上,通过probe设置逻辑模块的输入,获取逻辑模块的输出,实现对逻辑模块的测试。
图2为本实施例提供的基于Probe的QTE联锁应用软件测试方法的流程示意图,参见图2,该方法包括:
201:获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
202:在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
203:执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本实施例提供的方法由用于对模型进行测试的测试设备执行。在Scade Suite环境下创建模型时,在需要进行测试的逻辑模块上加注Probe。当由模型生成代码时,加注的Probe也生成相应的代码。通过在Scade Suite环境下的仿真运行查找到各Probe的相对路径。只有通过相对路径,才能控制Probe获取到各逻辑模块中间变量。图3为本实施例提供的获取Probe的相对路径示意图,在仿真运行的过程中,通过Probe对应的Properties ofPro_SwitchBelongOverlapld中的Path即可读取到Probe的相对路径。
由于需要通过Probe的相对路径获取目标逻辑模块的中间变量,因此在编写对目标逻辑模块进行测试的测试脚本文件时需将Probe的相对路径编写到测试脚本文件中。例如,图4为将Probe相对路径引入测试脚本中的示意图,在图4所示的测试脚本文件中实线框内的内容就是Probe相对路径。
由于联锁应用软件逻辑复杂,依据逻辑时序,先执行的测试脚本文件的Probe输出可能作为后续测试脚本文件的输入,因此需要根据各目标逻辑模块之间的输入输出关系编写各Probe的测试脚本文件,并按照测试脚本文件的执行顺序,将测试脚本文件在脚本控制程序Procedure中顺序排列。图5为本实施例提供的对测试脚本文件进行管理的示意图,参见图5,各测试脚本文件(.sss文件)在Procedure中顺序排列,通过统一的测试用例编号进行管理。进行测试时,只需要启动该Procedure即可实现对各目标逻辑模块的测试。
本实施例提供的方法相当于对复杂的模型解耦合,使得QTE的测试不局限于单个模型功能。同时当目标模型规模过大时,又可以规避不关心的输入量,只关心与当前***测试用例相契合的场景而忽略其他场景,可以减少脚本编写的工作量和维护难度,降低测试的时间开销,提高测试效率。
本实施例提供了一种基于Probe的QTE联锁应用软件测试方法,在创建目标模型的过程中,预先在各需要进行中间变量测试的目标逻辑模块上加注Probe。由模型生成代码后,通过仿真运行查找到各Probe的相对路径。在QTE环境下编写用于对目标逻辑模块进行测试的测试脚本文件时,通过各Probe的相对路径可以获取目标逻辑模块输出或输入的中间变量,通过这些中间变量即可实现对模型中的任一目标逻辑模块进行测试。相比于仅能对整个模型进行测试的方法,对模型内的逻辑模块的测试提高了对模型各逻辑分支测试的覆盖率。另一方面,由于减少了输入量,该方法大大降低了编写测试脚本的工作量。
具体来说,实现对某一模型内的逻辑模块进行测试的过程包括以下几个步骤:
(1)Scade Suite环境下,在***模型中需要检查中间变量的地方逐个加注Probe,模型生成代码时,同时保证Probe正确生成;
(2)Scade Suite环境下进入仿真工具Simulator,编译通过后运行仿真,逐层追踪逻辑分支,找到之前加注的各个Probe,在其属性里获取其编译时的相对路径;
(3)Scade LifeCycle的QTE测试环境下,将获取的相对路径写入脚本;
(4)在测试脚本中添加各个场景下的模型输入,并添加对Probe期望输出值的检验;
(5)将编写的多个测试脚本文件依据逻辑时序在脚本控制程序Procedure中顺序排列,执行Procedure实现对加注了Probe的逻辑模块的测试。
进一步地,在上述实施例的基础上,所述获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径,包括:
在Scade Suite环境下,在每一目标逻辑模块的输入和输出位置均加注Probe,将加注Probe后得到的模型作为所述目标模型;
在由所述目标模型生成代码后,在Scade Suite环境下进行仿真运行,在仿真运行的过程中,查找各Probe对应的相对路径。
在建立目标模型的过程中,在目标模型中需要进行中间变量测试的目标逻辑模块的输入和输出分别加注Probe,生成代码后,进行仿真运行,在仿真运行的过程中获取各Probe对应的相对路径。
本实施例提供了一种基于Probe的QTE联锁应用软件测试方法,在仿真运行过程中获取各Probe对应的相对路径,是后续生成相应的测试脚本文件的基础。
进一步地,在上述实施例的基础上,所述在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件,包括:
在QTE环境下,对于每一Probe,根据设定的输入参数和各目标逻辑模块之间的输入输出关系确定与所述Probe对应的测试脚本文件中用于进行测试的输入数据;
将所述Probe对应的相对路径作为读取对所述Probe所在的目标逻辑模块进行测试的输出值的路径,设置对所述Probe所在的目标逻辑模块进行测试的期望输出值;
根据所述Probe对应的输入数据、相对路径和期望输出值生成与所述Probe对应的测试脚本文件,将生成的测试脚本文件按照各目标逻辑模块之间的输入输出关系在脚本控制程序中顺序排列。
用于进行测试的输入数据即输入值。Probe对应的测试脚本文件需包含Probe的相对路径、对测试的逻辑模块设置的输入数据或者期望输出值。
以***测试用例“办理普通进路”为例,图6为本实施提供的“办理普通进路”的模型的数据流示意图,参见图6,“办理普通进路”这一功能涉及的模型包括“输入处理模块”、“联锁逻辑处理模块”。由于“办理普通进路”关心的是进路能否成功建立,相关的数据为最终的进路状态、区段状态和信号机状态是否正确,与其他数据无关,因此不需要设置整个“顶层模块”的输入和检查所有输出。根据图6所示的模型可知,仅需要设置“输入处理模块:进路数据处理模块:办理进路模块”这一子模块的三个输入即可。
本实施例提供了一种基于Probe的QTE联锁应用软件测试方法,当需要对某一功能测试时,可能仅需要对某些逻辑模块进行测试即可,由于通过本实施例提供的方法不再需要对整体进行测试,大大减少了输入量,提高了测试效率。
进一步地,在上述各实施例的基础上,所述执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告,包括:
通过所述脚本控制程序执行与每一Probe对应的测试脚本文件,得到与每一Probe对应的输出值,根据每一Probe对应的输出值和设定的期望输出值得到对Probe所在的目标逻辑模块进行测试的测试结果,生成包括各目标逻辑模块的测试结果的测试报告,输出所述测试报告。
若Probe对应的输出值符合设定的期望输出值,则测试结果为通过,否则,测试结果为不通过。根据各Probe对应的测试结果生成列表,作为测试报告,通过显示装置输出该测试报告。
在图6所示的实例中,设置“输入处理模块:进路数据处理模块:办理进路模块”这一子模块的三个输入后,通过Probe获取“输入处理模块”的中间变量(中间变量包括进路状态、区段状态、信号机状态),检查这些值是否符合期望,此时经过输入处理后,办理条件检查应为“通过”、进路状态应为“进路初选状态”。
由于“输入处理模块:进路数据处理模块:办理进路模块”这一子模块的输出作为“联锁逻辑处理模块:进路逻辑处理模块”的输入量,因此,在对获取“输入处理模块”的中间变量进行检测后,再在“联锁逻辑处理模块:进路逻辑处理模块”中获取其中间变量。检查进路状态是否为开放、区段状态是否为锁闭、信号机状态是否为点亮,即可验证办理进路的命令输入后,联锁***是否能够成功建立进路。
此外,在图6所示的用例中,办理联锁相关业务时可能需要经过多个软件周期完成,当设备状态不满足时,***会进行等待,当设备状态满足时,***就会在包括进路初选、选排、初锁、开放、异常等状态之间进行转移。编写多个脚本用不同的输入来表征各个进路状态转移的前提条件,并用Probe获取其处理后的结果,不检查无关的输出,就能显而易见地模拟各种场景下功能块的输出结果,将以上这些脚本整合在一起,用以模拟办理业务整个过程的状态流转,验证联锁***功能的正确性。
本实施例提供了一种基于Probe的QTE联锁应用软件测试方法,通过Probe的测试脚本文件中设置的期望输出值实现对测试结果的判断,生成测试报告,实现了对模型中各逻辑模块的测试。
进一步地,在上述各实施例的基础上,还包括:
针对任一Probe对应的相对路径,若所述Probe的相对路径为通过所述Probe的名称查询到的文件夹,则所述probe不能用于对所述probe所在的目标逻辑模块进行测试,标记所述probe。
若通过名称搜索找到Probe,则获取的相对路径将不完整,不可使用。
进一步地,在上述各实施例的基础上,所述QTE环境下用于对测试脚本文件进行编译的编译器与所述目标模型所在的Scade Suite环境中的编译器相同。
本实施例提供了一种基于Probe的QTE联锁应用软件测试方法,通过在检测到不可用Probe的相对路径时进行标记便于及时解决相关问题,同时相同的编译器避免了测试过程出错,保证测试顺利进行。
以图6所示的用例为例,命令输入阶段需要在“输入处理模块”进行处理,包括处理联锁数据、ZC数据、VOBC数据、屏蔽门数据、LEU数据、ATS数据等,其中联锁数据又包括如图中进路数据、物理区段数据等11类输入,包括40多个结构体数组,1000个以上的变量,输出为这些数据相应的处理结果。如果以图中的顶层模块作为目标模型进行测试,输入输出量十分庞大。而通过本实施例提供的方法,设置的输入量和检查的中间量与原来相比不足10%,不过由于存在加注Probe和追踪Probe路径的工作,因此整体工作量能降低70%左右。并且,当模型中存在导入的手写代码时,由于导入的模块在模型中不产生输出,只存在中间变量,使用Probe能获取这些中间变量进行测试,提高了用例对模型各个逻辑分支测试的覆盖率,测试的效率和完备性都得到了显著提升。
可见,本实施例提供的方法,利用Probe内存空间不会在仿真执行之后就立刻释放的特性,在模型生成的代码编译时和QTE脚本使用相同的编译器,通过搜寻的路径信息将Probe引入QTE测试脚本中,设计相应的测试方法,使测试的灵活性得到明显提升。
另一方面,当模型耦合度较高时,需要以顶层模型作为测试对象,庞大的输入输出量使得编写用例将消耗大量时间,如果测试的对象是底层模型,又容易忽略模块整体的功能性,以及各个底层模型之间的关联性。本实施例提供的方法规避繁琐的输入设置和输出检查,同时具备黑盒测试和白盒测试的特点,是一种高度灵活的灰盒测试方案,提高了QTE测试的效率和覆盖率。可见,本实施例提供的方法减少QTE脚本的编写难度和复杂度,增加脚本可读性和可维护性,提高测试效率和质量。
图7示出了本发明的实施例提供的一种基于Probe的QTE联锁应用软件测试装置的结构框图,参见图7,本实施例提供的基于Probe的QTE联锁应用软件测试装置包括获取模块701、生成模块702和测试模块703,其中,
获取模块701,用于获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
生成模块702,用于在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
测试模块703,用于执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本实施例提供的基于Probe的QTE联锁应用软件测试装置适用于上述实施例中提供的基于Probe的QTE联锁应用软件测试方法,在此不再赘述。
本发明的实施例提供了一种基于Probe的QTE联锁应用软件测试装置,在创建目标模型的过程中,预先在各需要进行中间变量测试的目标逻辑模块上加注Probe。由模型生成代码后,通过仿真运行查找到各Probe的相对路径。在QTE环境下编写用于对目标逻辑模块进行测试的测试脚本文件时,通过各Probe的相对路径可以获取目标逻辑模块输出或输入的中间变量,通过这些中间变量即可实现对模型中的任一目标逻辑模块进行测试。相比于仅能对整个模型进行测试的方法,对模型内的逻辑模块的测试提高了对模型各逻辑分支测试的覆盖率。另一方面,由于减少了输入量,该方法大大降低了编写测试脚本的工作量。
图8是示出本实施例提供的电子设备的结构框图。
参照图8,所述电子设备包括:处理器(processor)801、存储器(memory)802、通信接口(Communications Interface)803和总线804;
其中,
所述处理器801、存储器802、通信接口803通过所述总线804完成相互间的通信;
所述通信接口803用于该电子设备和其它电子设备的通信设备之间的信息传输;
所述处理器801用于调用所述存储器802中的程序指令,以执行上述各方法实施例所提供的方法,例如包括:获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本实施例提供一种非暂态计算机可读存储介质,所述非暂态计算机可读存储介质存储计算机指令,所述计算机指令使所述计算机执行上述各方法实施例所提供的方法,例如包括:获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本实施例公开一种计算机程序产品,所述计算机程序产品包括存储在非暂态计算机可读存储介质上的计算机程序,所述计算机程序包括程序指令,当所述程序指令被计算机执行时,计算机能够执行上述各方法实施例所提供的方法,例如,包括:获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
本领域普通技术人员可以理解:实现上述方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成,前述的程序可以存储于一计算机可读取存储介质中,该程序在执行时,执行包括上述方法实施例的步骤;而前述的存储介质包括:ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。
以上所描述的电子设备等实施例仅仅是示意性的,其中所述作为分离部件说明的单元可以是或者也可以不是物理上分开的,作为单元显示的部件可以是或者也可以不是物理单元,即可以位于一个地方,或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部模块来实现本实施例方案的目的。本领域普通技术人员在不付出创造性的劳动的情况下,即可以理解并实施。
通过以上的实施方式的描述,本领域的技术人员可以清楚地了解到各实施方式可借助软件加必需的通用硬件平台的方式来实现,当然也可以通过硬件。基于这样的理解,上述技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来,该计算机软件产品可以存储在计算机可读存储介质中,如ROM/RAM、磁碟、光盘等,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行各个实施例或者实施例的某些部分所述的方法。
最后应说明的是:以上各实施例仅用以说明本发明的实施例的技术方案,而非对其限制;尽管参照前述各实施例对本发明的实施例进行了详细的说明,本领域的普通技术人员应当理解:其依然可以对前述各实施例所记载的技术方案进行修改,或者对其中部分或者全部技术特征进行等同替换;而这些修改或者替换,并不使相应技术方案的本质脱离本发明的实施例各实施例技术方案的范围。
Claims (9)
1.一种基于Probe的QTE联锁应用软件测试方法,其特征在于,包括:
获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
2.根据权利要求1所述的方法,其特征在于,所述获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径,包括:
在Scade Suite环境下,在每一个目标逻辑模块的输入和输出位置均加注Probe,将加注Probe后得到的模型作为所述目标模型;
在由所述目标模型生成代码后,在Scade Suite环境下进行仿真运行,在仿真运行的过程中,查找各Probe对应的相对路径。
3.根据权利要求1所述的方法,其特征在于,所述在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件,包括:
在QTE环境下,对于每一个Probe,根据设定的输入参数和各目标逻辑模块之间的输入输出关系确定与所述Probe对应的测试脚本文件中用于进行测试的输入数据;
将所述Probe对应的相对路径作为读取对所述Probe所在的目标逻辑模块进行测试的输出值的路径,设置对所述Probe所在的目标逻辑模块进行测试的期望输出值;
根据所述Probe对应的输入数据、相对路径和期望输出值生成与所述Probe对应的测试脚本文件,将生成的测试脚本文件按照各目标逻辑模块之间的输入输出关系在脚本控制程序中顺序排列。
4.根据权利要求3所述的方法,其特征在于,所述执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告,包括:
通过所述脚本控制程序执行与每一个Probe对应的测试脚本文件,得到与每一个Probe对应的输出值,根据每一个Probe对应的输出值和设定的期望输出值得到对Probe所在的目标逻辑模块进行测试的测试结果,生成包括各目标逻辑模块的测试结果的测试报告,输出所述测试报告。
5.根据权利要求2所述的方法,其特征在于,还包括:
针对任一个Probe对应的相对路径,若所述Probe的相对路径为通过所述Probe的名称查询到的文件夹,则所述probe不能用于对所述probe所在的目标逻辑模块进行测试,标记所述probe。
6.根据权利要求1所述的方法,其特征在于,所述QTE环境下用于对测试脚本文件进行编译的编译器与所述目标模型所在的Scade Suite环境中的编译器相同。
7.一种基于Probe的QTE联锁应用软件测试装置,其特征在于,包括:
获取模块,用于获取在目标应用软件对应的目标模型中加注的各Probe对应的相对路径;其中,Probe加注在所述目标模型中需进行中间变量测试的各目标逻辑模块上;
生成模块,用于在QTE环境下,根据各目标逻辑模块之间的输入输出关系和各Probe对应的相对路径编写用于对各目标逻辑模块进行测试的测试脚本文件;
测试模块,用于执行编写的测试脚本文件,得到对各目标逻辑模块进行测试的测试结果,输出由测试结果生成的测试报告。
8.一种电子设备,其特征在于,包括:
至少一个处理器、至少一个存储器、通信接口和总线;其中,
所述处理器、存储器、通信接口通过所述总线完成相互间的通信;
所述通信接口用于该电子设备和其它电子设备的通信模块之间的信息传输;
所述存储器存储有可被所述处理器执行的程序指令,所述处理器调用所述程序指令能够执行如权利要求1至6中任一项所述的方法。
9.一种非暂态计算机可读存储介质,其特征在于,所述非暂态计算机可读存储介质存储计算机指令,所述计算机指令使所述计算机执行如权利要求1至6任一项所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811563629.1A CN109800155B (zh) | 2018-12-20 | 2018-12-20 | 一种基于Probe的QTE联锁应用软件测试方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811563629.1A CN109800155B (zh) | 2018-12-20 | 2018-12-20 | 一种基于Probe的QTE联锁应用软件测试方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109800155A CN109800155A (zh) | 2019-05-24 |
CN109800155B true CN109800155B (zh) | 2022-02-15 |
Family
ID=66557314
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811563629.1A Active CN109800155B (zh) | 2018-12-20 | 2018-12-20 | 一种基于Probe的QTE联锁应用软件测试方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109800155B (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6119125A (en) * | 1998-04-03 | 2000-09-12 | Johnson Controls Technology Company | Software components for a building automation system based on a standard object superclass |
CN103558767A (zh) * | 2013-01-08 | 2014-02-05 | 北京交通大学 | 一种列控***测试序列的辅助生成方法和*** |
CN103744781A (zh) * | 2013-12-27 | 2014-04-23 | 北京交控科技有限公司 | 一种联锁软件的测试方法和测试*** |
CN107808020A (zh) * | 2016-09-09 | 2018-03-16 | 卡斯柯信号有限公司 | 基于形式化模型开发的计算机联锁软件开发与实现*** |
CN110637521B (zh) * | 2016-12-07 | 2018-09-14 | 上海爱韦讯信息技术股份有限公司 | 一种基于模型仿真的数据实时存储方法和*** |
CN109002284A (zh) * | 2018-06-27 | 2018-12-14 | 北京全路通信信号研究设计院集团有限公司 | 一种可视化联锁逻辑实现方法 |
-
2018
- 2018-12-20 CN CN201811563629.1A patent/CN109800155B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6119125A (en) * | 1998-04-03 | 2000-09-12 | Johnson Controls Technology Company | Software components for a building automation system based on a standard object superclass |
CN103558767A (zh) * | 2013-01-08 | 2014-02-05 | 北京交通大学 | 一种列控***测试序列的辅助生成方法和*** |
CN103744781A (zh) * | 2013-12-27 | 2014-04-23 | 北京交控科技有限公司 | 一种联锁软件的测试方法和测试*** |
CN107808020A (zh) * | 2016-09-09 | 2018-03-16 | 卡斯柯信号有限公司 | 基于形式化模型开发的计算机联锁软件开发与实现*** |
CN110637521B (zh) * | 2016-12-07 | 2018-09-14 | 上海爱韦讯信息技术股份有限公司 | 一种基于模型仿真的数据实时存储方法和*** |
CN109002284A (zh) * | 2018-06-27 | 2018-12-14 | 北京全路通信信号研究设计院集团有限公司 | 一种可视化联锁逻辑实现方法 |
Non-Patent Citations (2)
Title |
---|
《SCADE软件在城市轨道交通中的应用》;袁晴;《铁道通信信号》;20160707;第5卷(第52期);42-44 * |
《基于SCADE建模的联锁软件形式化开发实现》;王燕芩;《铁道通信信号》;20170313(第52期);88-91 * |
Also Published As
Publication number | Publication date |
---|---|
CN109800155A (zh) | 2019-05-24 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US7917895B2 (en) | Automated software testing and validation system | |
CN112052172B (zh) | 第三方通道的快速测试方法、装置和电子设备 | |
Lachmann et al. | Delta-oriented test case prioritization for integration testing of software product lines | |
US20140214396A1 (en) | Specification properties creation for a visual model of a system | |
CN111176984A (zh) | 一种面向信号的自动测试实现方法 | |
Tierno et al. | Open issues for the automotive software testing | |
CN113590454A (zh) | 测试方法、装置、计算机设备和存储介质 | |
CN112181854A (zh) | 一种生成流程自动化脚本的方法、装置、设备及存储介质 | |
US11099978B2 (en) | Modeling system for software-implemented testing using domain specific profiles to translate tests for a subset of paths included in a UML test model | |
CN112948233A (zh) | 一种接口测试方法、装置、终端设备及介质 | |
Mijatov et al. | Testing functional requirements in UML activity diagrams | |
CN110069414A (zh) | 回归测试方法及*** | |
CN110928761B (zh) | 需求链及其应用的***和方法 | |
CN109800155B (zh) | 一种基于Probe的QTE联锁应用软件测试方法及装置 | |
CN115176233B (zh) | 以确定性顺序执行测试 | |
Kim | Test driven mobile applications development | |
US9632912B1 (en) | Method and system for debugging a program | |
CN114647568A (zh) | 自动化测试方法、装置、电子设备及可读存储介质 | |
CN110659215A (zh) | 一种开放式工业app快速开发及测试验证方法 | |
EP4287027A1 (en) | Method and system for generating test cases for an engineering program | |
Matsuura et al. | Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. | |
CN109669868A (zh) | 软件测试的方法及*** | |
Shin et al. | Automated test case generation for automotive embedded software testing using XMI-based UML model transformations | |
CN116107903A (zh) | 一种车端服务化功能测试方法、装置、设备及介质 | |
CN113238968A (zh) | ***测试方法、装置、设备、介质及程序产品 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |