基于本体和规则推理的GUI软件测试用例生成*

为了提高GUI软件测试用例的生成效率和可维护性,提出了一种基于本体和规则推理的GUI软件测试用例生成方法。首先建立一个通用的GUI软件测试用例本体模型,通过对其继承和实例化可获得具体被测软件的测试用例本体模型,同时开发反映测试数据生成和测试路径生成的测试用例生成规则。最后将基于OWL的测试用例本体和基于SWRL的测试用例生成规则导入Jess推理引擎,通过推理得到符合测试需求的、易于维护的测试用例子集。在核电站堆芯换料管理系统上的应用,验证了该方法的有效性。     

GUI自动化测试工具在民用航空数据链系统集成中的应用

随着综合化、模块化的民用航空电子系统的高速发展,以及航空数据链系统的广泛应用,航空数据链系统集成自动化测试技术需求越发迫切.GUI自动化测试工具是一种基于友好人机界面的软件测试工具,本文结合具体应用需求,提出一种改进的GUI自动化测试框架,采用HMI（Human Machine Interface）界面,将其应用于民用航空数据链系统中,将软件内部模块手动测试转换为功能性的黑盒自动化测试,提高了测试效率.     

基于Python语言的GUI自动化测试脚本技术研究

针对嵌入式软件GUI自动化测试平台的开发设计,本文研究了Python测试脚本扩展嵌入技术,针对GUI软件测试行为扩展了测试函数,采用开源库Boost.Python将Python解析器嵌入GUI自动化测试平台软件中;在此基础上,描述了用例要素与脚本要素的对应关系,并且针对不同类型的扩展测试函数提出了基于关键字索引和图像建模的脚本函数自动生成技术方案;描述了Python测试脚本的调度执行原理,通过Python测试脚本执行实现GUI软件自动化测试。     

基于GUI的自动化测试框架的研究与改进

在GUI自动化测试中,很多软件体系都采用录制回放技术,本文通过分析现阶段的基于事件源的捕捉回放技术,发现在回放过程中的不足,并提出针对同步回放策略的改进方案,设计出新的GUI自动化测试框架。     

基于事件流图的GUI自动化测试系统的开发

针对目前GUI自动化测试方法中存在着一定程度的手工依赖性以及对测试用例和测试覆盖率缺乏系统管理等问题,本文结合Microsoft UI Automation框架开发了一个基于事件流图的GUI自动化测试系统。该系统先对被测标准GUI进行逆向工程以得到GUI的事件流图和期望的结果,然后分别采用基于蚁群算法的日常冒烟测试用例生成算法和基于宽度优
先搜索的深度回归测试用例生成算法生成测试用例,并用这些生成的测试用例来测试新的GUI。测试结果表明,该GUI自动化测试模型是切实可用的,为在Windows环境下提高GUI测试的自动化程度提供了一种更为有效的途径。     

EFSM模型的字符串类型测试数据自动生成

基于软件描述模型的测试数据自动生成研究中,字符串类型测试数据生成是一个研究热点和难点。EFSM模型是一种重要的软件描述模型。分析了EFSM模型的特点,针对面向EFSM模型目标路径的字符串测试数据生成,建立了字符串输入变量模型和操作模型,结合静态测试的特点,给出了通过字符串变量模型在目标路径上的符号执行结果生成字符串类型测试数据的方法。实验结果表明,该方法能够达到预期效果,提高测试生成效率。     

基于APK的Android应用程序GUI遍历自动化方法

为了提高应用程序自动执行技术的图形用户界面（GUI）覆盖率和自动化程度以满足Android应用程序动态安全分析和GUI测试的需求,提出了一种基于应用程序安装包（APK）的Android应用程序GUI遍历自动化方法。该方法通过动态地捕捉目标应用程序GUI并模拟用户行为与之交互,驱动应用程序自动执行。基于开源框架Appium实现了一个能够自动化遍历轻量Android应用程序GUI的跨平台原型工具。实验结果表明,该自动化方法能够获得较高的GUI覆盖率。     

基于运行监测的图形用户界面自动化测试模型

为提高GUI自动化测试的覆盖率、故障定位的速率和精度,以及检测由于时空变化导致的空间错误引起的故障,建立基于运行监测的GUI自动化测试模型。模型将GUI分为窗口框架层、界面元素层、功能结构层和运行记录层四层。窗口框架层描述GUI所有窗口,界面元素层描述用户输入,功能结构层提出功能覆盖准则,运行记录层通过插桩记录代码动态监测软件每一次执行时路径和各个窗口的运行状态,从而提高测试的覆盖率,并根据运行记录中窗口的总执行次数和正确的执行次数为可靠性计算提供依据。由于监测代码的运行情况,因此故障能够定位到代码级,提高故障定位的精度和速率。最后以记事本程序为例验证了模型的有效性。     

GUI回归测试的测试脚本修复技术研究

回归测试对修改后的软件重新进行测试,确认修改没有引入新的错误或导致其他代码产生错误。研究GUI回归测试脚本的自动化修复技术,采用有限状态机描述GUI的交互行为,并基于FSM产生测试用例集;使用自动化测试工具生成测试脚本,建立状态迁移和测试脚本的映射关系表;通过比较GUI新、旧版本的FSM得到GUI的变化信息,根据变化信息和映射表对原测试脚本自动修复。实例验证了脚本修复方法的可行性和有效性。     

一种非侵入的GUI自动化测试系统设计

针对嵌入式GUI软件自动化测试,提出一种非侵入的GUI自动化测试系统设计方案,能够使用Python格式的测试脚本灵活描述测试用例的执行步骤,能够自动化执行测试脚本;系统将人机交互步骤转成鼠标键盘模拟设备的控制命令,实现对被测软件鼠标键盘的控制,从而输入需要的人机交互信息,实现测试用例的自动执行;同时以不干扰被测系统为原则,直接采集被测系统输出到显示器中的视频数据,通过对图像数据的处理进行图像对比、图像查找和文字识别,根据测试用例预期输出自动判断用例的执行结果;该测试系统解决了嵌入式软件GUI自动化测试的难题,提高了测试效率。     

基于可复用功能组件的测试用例生成方法

针对交互式软件的频繁交互、状态复杂等特点,基于功能测试和层次型结构,从需求规范中提取基于操作流程的功能组件,通过映射、重组测试脚本,导入测试数据,并自动生成测试用例。功能组件的构建具有层次型结构的特点,即一个功能组件可以包含一个或多个功能组件,更大程度地共享了测试脚本。     

高温脉冲压力试验系统

介绍了一种对汽车散热器及蒸发器进行可靠性检测试验的自动化系统。该系统采用计算机控制．实现了对压力、温度、流量、液位等参数的自动测量及控制。该系统填补了我国汽车散热器及蒸发器高温脉冲压力实验的空白。     

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

Generating Event Sequence-Based Test Cases Using GUI Runtime State Feedback

This paper presents a fully automatic model-driven technique to generate test cases for Graphical user interfaces (GUIs)-based applications. The technique uses feedback from the execution of a “seed test suite,” which is generated automatically using an existing structural event interaction graph model of the GUI. During its execution, the runtime effect of each GUI event on all other events pinpoints event semantic interaction (ESI) relationships, which are used to automatically generate new test cases. Two studies on eight applications demonstrate that the feedback-based technique 1) is able to significantly improve existing techniques and helps identify serious problems in the software and 2) the ESI relationships captured via GUI state yield test suites that most often detect more faults than their code, event, and event-interaction-coverage equivalent counterparts.     

基于控件约束关系的Web功能测试系统

设计一种基于XML描述和网页结构分析的Web功能自动化测试系统,利用控件约束规则自动生成测试数据和测试用例,记录用户在所有页面中进行的有序操作,并用XML语言描述。参照工作流的定义规则定义测试流。通过采用测试流和自动生成的测试数据,系统可以模拟用户手工测试,从而实现自动化测试,提高测试效率。     

Towards the Integration of Visual and Formal Models for GUI Testing

This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.     

一个自动构造类测试驱动程序的框架

在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。     

基于RS-232接口技术的惯性仪器标定测试设备

文章介绍了一种基于RS-232总线技术的惯性仪器标定测试设备的设计与实现。惯性仪器是导弹武器系统的敏感测量元件,在使用前需要进行标定测试,以确保仪表合格和性能稳定。本文介绍了惯性仪器标定测试设备的设计与软件编程实现,它采用RS-232总线技术和Visual Basic编程,能同时测量多块惯性仪,完成惯性仪表的各种试验和性能标定测试,测试数据自动存入数据库自动管理。     

一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机（HFSM）的代数表示,并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。     

面向测试的构件系统模型及测试用例生成方法

随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。