用于多条件组合问题的测试用例设计新方法

针对因果图法测试用例设计效率较低的问题,提出用因果表达式取代因果图来进行测试用例设计。制定了因果表达式的语法规则;设计了用于测试用例设计的决策表类;通过可视化设计及算法设计实现了用于多条件组合问题的测试用例设计工具。工具实现了测试输入编辑、测试用例自动生成和测试用例维护等功能。与因果图法相比,该方法不用绘制和遍历因果图,只需分析因果表达式的语法即可实现决策表的化简,能提高多条件组合问题测试用例的设计和维护效率。     

国家电网以太网103规约测试工具的设计与实现

针对国家电网以太网103规约,开发了用于测试规约子站(被测装置)的测试工具.该测试工具作为TCP连接的客户端,在实现了规约主站基本功能的基础上,支持LPCI测试和基于测试用例集的应用功能的自动测试.本测试工具支持灵活的使用测试用例元素来组建各种测试逻辑,并支持设置丰富的测试判据,以提高用例的错误检测能力.该工具已成功应用于相关继电保护产品通信功能的研发测试,提高了测试质量与效率.     

基于FPGA的机载音频管理系统通信测试卡设计

在机载音频管理系统地面自动测试设备的研制中,自动测试设备与被测试组件之间的通信是一个关键的问题。通过对现代民航客机音频管理系统的研究,设计了专用的通信测试卡,实现专用航空电子控制信号与测试系统USB总线之间的信号转换功能。该通信测试卡采用模块化的设计方法,将机载电子设备控制信号的接收与发送功能以及对USB总线的控制逻辑集成于一块FPGA中,简化了测试卡的硬件设计,提高了数据传输的可靠性和灵活性;实验结果表明,该通信测试卡工作稳定,产生的控制信号时序精确,抗干扰能力强,完全达到了设计的要求。     

航空通信电台软件测试系统的设计与实现

软件自动化测试对于航空通信电台至关重要,针对电台测试环境的搭建困难、测试用例的设计与执行的脱节、仪器仪表的手工操作造成测试数据难以复用等问题,提出了一种集成计算机、通信总线、仪器仪表和被测电台的解决方案,并开发了模块化的软件程序来解决上述问题;最终,该系统实现了智能辅助编写工具和“一键式”自动测试,还保存并回溯了测试结果;为测试人员针对电台测试提供了一款功能强大,界面友好,灵活开展测试任务,批量执行测试用例的自动测试平台;实际测试结果证明,该平台明显提高了测试人员的工作效率,实现了自动化测试与批量测试的基本要求。     

一种稳控系统装置自动测试方法研制

安全稳定控制系统日趋复杂，其运行的可靠性亟待验证。为此，提出了一种通过自动测试终端模拟各个层级的稳控装置，来实现稳控系统单装置或多装置的自动测试系统。自动测试系统针对稳控系统子站测试，实现了动态感知子站装置状态，智能生成测试用例的功能。对比传统的搭建仿真测试环境，自动测试系统有效减少了人力、物力以及时间成本，并且排除人为因素干扰，提高了测试的可信度。     

一种针对交互式软件的测试用例生成模型研究与实现

测试用例的自动生成是软件测试的一个重要方面，测试用例生成的复杂度与质量直接影响测试的效率和覆盖面，已有的针对软件功能测试的自动测试理论和方法在针对CAD和图像处理这类人机交互复杂、系统状态繁多的系统时，因复杂度大或者测试效率较低而难以在实际中应用．本文提出的一种针对复杂人机交互软件的测试模型一基于功能对象的测试用例生成模型，将用户使用被测试系统的操作流程看成是若干个处理过程的组合，采用面向对象的思想将用户的操作流程进行分解和封装，构建出用以生成测试流程的功能对象，并依照一定约束条件对功能对象的实例进行重组，派生出测试用例．本文提出的测试用例生成模型，已在三维数字化设计系统的专用测试平台CADTesting中成功实现，实践证明，该模型与现有的一些模型相比，实现复杂度低且测试用例的质量较高．     

因果图法的改进及算法实现

为提高多条件组合问题的测试用例设计效率,提出用因果表达式取代因果图。制定因果表达式的语法规则,确定决策表的数据结构,并通过可视化设计实现多条件组合的测试用例设计工具,工具实现测试输入编辑、测试用例自动生成、测试用例维护和设计过程查看等功能。与因果图法相比较,采用因果表达式不用绘制因果图,易于实现测试用例自动生成,能提高测试用例设计和维护效率。     

一种数据模型驱动的软件自动化测试框架

针对当前GUI程序自动化测试过程中存在的问题,设计实现一种基于RFT工具、由数据模型驱动并且支持分布式多平台网络环境的可复用软件自动化测试框架。该框架分离了测试对象、用例数据、用例逻辑和执行控制,实施该框架能够增强测试用例的可复用性,降低测试用例的维护成本,提高测试执行的自动化程度,改善软件回归测试的过程。     

基于时间自动机模型的无线传感器网络数据收集协议测试用例生成

从协议测试的角度出发研究了基于时间自动机模型的无线传感器网络数据收集协议测试用例生成方法,提出利用UPPAAL工具对数据收集协议建立时间自动机模型,进而利用UPPAAL CoVer工具生成满足特定覆盖标准的测试路径集合的方法。为了便于生成实际测试用例,开发了辅助自动测试用例生成工具ATCGT。通过一个工业界的无线抄表数据收集协议的建模与测试用例生成实例,阐明了该方法的有效性。     

软件回归测试中的自动测试生成方法

软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括自动改变测试用例的执行顺序、自动进行测试用例数目的增减等,提出基于现有测试用例随机生成新的测试用例集的方法。实验证明,该方法生成的测试文件能在原有环境下成功执行,能实现自动测试范围的扩大或缩小,以及测试时间的增加或减少,为软件回归测试提供了有用的自动化工具。     

机动车轴重测量设备的自动检定与管理系统

在机动车轴重测量设备的检定中,为了提高检测的准确性和效率,采用计算机和虚拟仪器开发了机动车轴重自动检定系统.设计了可以模拟轴重标准信号的自动加压装置,完成了称重传感器数据的自动采集和数据管理等功能.结果表明该系统能准确高效地测量机动车轴重数据,实现了测量设备的自动检定.     

基于事件流图的用户界面测试优化

针对目前用户图形界面(GUI)自动化测试对于代码和开发语言的依赖,以及捕捉/回放工具中存在的手工依赖和对测试用例测试覆盖率缺乏系统管理的问题,基于事件流图理论,提出了不依赖于代码静态分析的GUI自动化测试方法。在没有程序代码的前提下,利用WinRunner工具通过鼠标动作获得GUI组件,利用自行开发的工具自动分析GUI窗口层次,定义事件属性和测试用例生成规则,自动生成了完备测试用例集,并通过实例验证了方法的有效性。     

运载火箭一级加泄连接器自动控制技术研究

运载火箭一级加泄连接器是实现一级贮箱推进剂加注与泄回的核心设备,针对当前国内一级连接器主要采用人工对接的情况,对气动驱动的加泄连接器的自动控制技术进行研究;分析了连接器机构的结构与对接脱落的主要步骤,设计采用PLC组合、直流电源、传感器供电组合等的硬件系统对连接器配气台的传感器参数进行采集,对电磁阀进行控制以驱动机构运动;设计控制软件,对基础数据进行分类构建,并基于面向对象思想设计多粒度层次的流程步骤,可通过嵌套组合不同粒度的步骤实现复杂的控制逻辑,采用xml文件描述流程步骤;介绍了自动对接、脱落控制流程的流程内容;经测试自动对接流程与自动脱落流程所用时间分别为133 s与97 s,满足使用要求,且已在某型号多次任务中进行了应用,有力地支撑了型号任务的发展。     

Extending symbolic execution for automated testing of stored procedures

Stored procedures in database management systems are often used to implement complex business logic. Correctness of these procedures is critical for flawless working of the system. However, testing them remains difficult due to many possible database states and constraints on data. This leads to mostly manual testing. Newer tools offer automated execution for unit testing of stored procedures but the test cases are still written manually. We propose an approach of using dynamic symbolic execution for generating automated test cases and corresponding database states for stored procedures. We model the constraints on data imposed by the schema and the SQL statements, treating values in database tables as symbolic. We use SMT solver to find values that will drive the stored procedure on a particular execution path. We instrument the internal execution plans generated by PostgreSQL to extract constraints. We use Z3 to generate test cases consisting of table data and procedure inputs. Our evaluation using stored procedures from a large business application and various GitHub repositories quantifies the evidence of effectiveness of our technique by generating test cases that lead to schema constraint violations and user-defined exceptions.     

动车组自动导通测试系统的设计

动车组自动导通测试系统主要完成动车组整车线缆的导通测试。首先介绍自动测试系统的研制背景,系统的功能性能指标,系统的总体框架和组成以及各个功能模块原理和功能,然后介绍自动测试系统与动车对接测试试验的具体过程。测试试验结果表明该系统能够实现动车组线缆的自动导通绝缘测试功能,测试速度快,测试准确度高,大大提高了动车组出厂生产过程中的整车线缆测试效率。     

Iterative Android automated testing

With the benefits of reducing time and workforce, automated testing has been widely used for the quality assurance of mobile applications (APPs). Compared with automated testing, manual testing can achieve higher coverage in complex interactive Activities. And the effectiveness of manual testing is highly dependent on the user operation process (UOP) of experienced testers. Based on the UOP, we propose an iterative Android automated testing (IAAT) method that automatically records, extracts, and integrates UOPs to guide the test logic of the tool across the complex Activity iteratively. The feedback test results can train the UOPs to achieve higher coverage in each iteration. We extracted 50 UOPs and conducted experiments on 10 popular mobile APPs to demonstrate IAAT’s effectiveness compared with Monkey and the initial automated tests. The experimental results show a noticeable improvement in the IAAT compared with the test logic without human knowledge. Under the 60 minutes test time, the average code coverage is improved by 13.98% to 37.83%, higher than the 27.48% of Monkey under the same conditions.     

Input–output identification of controlled discrete manufacturing systems

The automated construction of discrete event models from observations of external system's behaviour is addressed. This problem, often referred to as system identification, allows obtaining models of ill-known (or even unknown) systems. In this article, an identification method for discrete event systems (DESs) controlled by a programmable logic controller is presented. The method allows processing a large quantity of observed long sequences of input/output signals generated by the controller and yields an interpreted Petri net model describing the closed-loop behaviour of the automated DESs. The proposed technique allows the identification of actual complex systems because it is sufficiently efficient and well adapted to cope with both the technological characteristics of industrial controllers and data collection requirements. Based on polynomial-time algorithms, the method is implemented as an efficient software tool which constructs and draws the model automatically; an overview of this tool is given through a case study dealing with an automated manufacturing system.     

Modeling advanced manufacturing systems using concurrent logic programming

Modern manufacturing systems are complex systems composed of the following components: numerically controlled manufacturing machines, automated material handling systems, and a computerized control system that supervises the operation of the manufacturing system. In order to operate properly there must be a sophisticated, hierarchical communication layer among the components.It is desirable to have a tool that can capture all aspects of the manufacturing system, thus being able to model, simulate, analyze and even drive it. The modeling of concurrent asynchronous operations of a complex information intensive manufacturing system has today very limited tools.This paper presents a new approach towards modeling of Advanced Manufacturing Systems (AMS). The modeling vehicle is a dialect of concurrent logic programming language called FCP (Flat Concurrent Prolog). This approach, in addition to the more commonly modeled features, enables the modeler to capture the dynamic nature of a system including conflicts, deadlocks, communication protocols, concurrency and information transfer.     

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

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

无人驾驶汽车决策系统的规则描述与代码生成方法

无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。