发动机控制软件自动测试脚本技术研究

为有效解决航空发动机控制软件回归测试效率低及自动测试脚本编写维护难度大的问题,研究了关键字驱动的自动测试脚本技术.通过对系统行为由外而内的分析和抽象,设计出一套通用的自动测试脚本语言规范,利用SpecFlow关键字驱动工具实现了脚本转译和驱动执行.该方法通过关键字实现了脚本、数据、业务分离,自动测试脚本的可读性和维护性好,提高了回归测试自动执行的效率和质量.     

面向对象语言编译器的自动测试平台

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。     

WEB应用测试执行引擎的设计与实现

基于模型的测试以系统的抽象模型为依据,自动生成可执行的测试用例,自动地执行测试并自动评价测试结果,实现测试过程的自动化.论文主要研究测试执行自动化技术,设计实现一个自动化测试执行工具.工具的核心是设计基于XML的自动化测试脚本并实现了一个测试执行引擎.脚本拥有良好的结构定义,便于编辑和扩展,由自动化测试工具自动生成.引擎使用多线程技术模拟多用户的并行使用,解决了数据驱动测试执行方式和线程并行操作时的同步问题.     

一个基于XML的自动化类测试框架

针对当前自动化类测试工具/框架存在的问题,提出了一个基于XML的类测试框架。框架采用基于XML的自动化测试过程数据流模型,用XML语言来描述和组织测试用例,自动生成测试驱动程序,自动执行测试并生成测试结果。框架可用于不同语言应用程序的自动化类测试,框架实现测试设计、测试实现和测试执行的分离,利于测试脚本的维护,并保证测试脚本与测试用例的一致性。     

基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自 动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后 依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的 测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。     

基于构件的测试脚本复用技术研究*

研究了自动化测试脚本及基于构件的软件复用技术,提出一个测试脚本构件模型TSCM。该模型结合测试脚本特性,在借鉴现行软件构件模型基础上加入构件连接子增强测试脚本构件的独立性和可复用性。设计了TSCM模型的XML框架,实现了测试脚本构件自动生成、验证及不同测试语言之间的自动转换。     

测试脚本自动生成器的设计与实现

分析了现有的几种测试脚本生成技术,按照Mosley的同步数据驱动测试框架(CSDDT)框架设计并实现了一个针对面向对象程序的测试脚本生成器,通过实例验证了方法的可行性和工具的有效性,降低了产生测试脚本的工作量,对已知测试脚本产生过程中的弱点有很好的改进作用.生成脚本可以从单元测试开始应用,重用性良好,可同时测试多个类与方法,无须特定脚本开发语言.     

含存储器数字电路系统的自动测试生成

已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型，不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征，提出了面向测试的ROM和RAM结构模型的建立方法，其中，ROM根据所储存的数据等效成组合电路模型， RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中，解决了含存储器数字电路的自动测试生成问题。     

基于XML封装关键字的GUI自动化测试系统

研究如何提升Web应用程序自动测试效率的问题.利用XML技术设计并封装关键字,完成自动化测试脚本的编写,自动测试引擎解析XML文件,解释关键字,导航测试执行并生成报告.以ERP产品的应用案例表明该系统达到了测试脚本分层设计,提升可读性和可维护性,降低编写难度,提升效率的目的.     

车身网络控制系统开发的模块化设计方法

针对汽车车身网络控制系统开发中网络拓扑结构、功能定义不统一导致应用层开发重复性工作大、开发效率低的现状,提出了一种通过构建符合AUTOSAR标准的车身应用层软件的模型,使功能定义及描述、软件代码自动生成,功能自动测试转化为基于模型设计的方法。此方法具体是将车身网络控制系统抽象为一个事件驱动系统,采用Stateflow图形化建模工具对系统进行建模,利用Targetlink代码生成工具基于模型实现代码自动生成,采用Lab-VIEW RT实时测试系统架构自测试系统。论述了以模型方式进行控制系统开发的方法,并结合应用实例给出该方法的设计过程和应用结果,在提高系统的可交换性、可复用性和减少系统开发时间方面取得了明显的成效。     

基于1149.7标准的测试生成方法研究

单芯片多核设计、片上系统等技术的不断发展为边界扫描技术带来了新的挑战,多扫描拓扑的测试矢量自动生成也成为了研究的重点与热点。基于1149.7标准对测试生成方法进行了研究,包括互连测试矢量、调试应用指令及数据和寄存器配置命令的生成,提出了测试生成的总体框架,以VS2008作为软件平台搭建自动测试生成系统,从数据库中提取目标板信息对寄存器进行配置,生成互连测试矢量或调试数据,最后将生成的信息插入数据库中,在互连测试矢量生成过程中,提出了一种基于边界扫描寄存器的功能来设置网络结点类型的新方法,有效地完成了对复杂网络的测试。     

A user-centred approach to the design and evaluation of auditory warning signals: 1. Methodology

This paper presents a method for the design and evaluation of auditory warning signals modelled on an existing internationally standardized method for evaluating public information systems (ISO/DIS 7001: 1979). The procedure is essentially user-centred, capitalizing upon users' associations between sounds and their meanings. The procedure is presented in a step-by-step manner, from the initial identification of referents for which warnings might be required, through the generation of ideas for warning sounds, an appropriateness ranking test, a learning and confusion test, an urgency mapping test, a recognition test and an operational test. Practical issues are discussed with respect to each of the stages, and suggestions are made as to courses of action that might be taken if problems are encountered. Theory behind the relationship between sound and meaning is discussed with reference to the practical issues addressed.     

一种Web服务的测试数据自动生成方法

软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.     

基于J2EE平台的信息化系统代码生成

企业信息系统在企业的经营管理中发挥着至关重要的作用,然而,在企业信息系统的开发过程中,存在着开发效率低下、系统架构不一致、开发周期长等问题.针对上述问题,设计了一种基于J2EE平台的信息化系统代码生成工具,开发人员只需要进行模型的可视化设计,由代码生成工具完成代码的生成.目前该代码生成工具已应用于实际的开发平台中,实践表明,代码生成工具的使用可以统一企业信息系统的开发架构,大幅度减少开发人员编写重复性代码的工作量,实现设计成果的复用和共享,提高企业信息系统开发的质量和效率.     

两两组合覆盖测试数据自动生成集成工具的设计与实现

两两组合覆盖测试方法是一种科学有效的软件测试方法,相应的测试数据生成算法是人们研究的一个重点问题,本文在人们已有的研究基础上,结合我们在这个方面的研究成果,设计实现了一个两两组合覆盖测试数据自动生成工具,所产生的测试数据集与同类工具相比具有一定的特点和优势。     

Using requirement-functional-logical-physical models to support early assembly process planning for complex aircraft systems integration

The assembly line process planning connects product design and manufacturing through translating design information to assembly integration sequence. The assembly integration sequence defines the aircraft system components installation and test precedence of an assembly process. This activity is part of the complex systems integration and verification process from a systems engineering view. In this paper, the complexity of modern aircraft is defined by classifying aircraft system interactions in terms of energy flow, information data, control signals and physical connections. At the early conceptual design phase of assembly line planning, the priority task is to understand these product complexities, and generate the installation and test sequence that satisfies the designed system function and meet design requirements. This research proposes a novel method for initial assembly process planning that accounts for both physical and functional integrations. The method defines aircraft system interactions by using systems engineering concepts based on traceable RFLP (Requirement, Functional, Logical and Physical) models and generate the assembly integration sequence through a structured approach. The proposed method is implemented in an industrial software environment, and tested in a case study. The result shows the feasibility and potential benefits of the proposed method.     

Implementing macro test in silicon compiler design

A testability strategy for a complex VLSI device that is implemented in the Piramid digital-signal-processor silicon compiler is presented. The macro test method proposed supports built-in self-test, scan test, restricted partial scan, and test-control logic at various levels in the design hierarchy. The strategy uses techniques such as a macro test plan, transfer information, and intermediate vector storage. The overhead from adding testability is only 10% of the total area and test-program generation is done with 100% fault coverage in a very short time, since there is no need for global test-pattern generation. A set of tools that guide the testability implementation from design to the final test program is described     

数据库系统应用基准测试规范设计方法

为准确度量数据库系统对领域应用系统的支撑能力,提出了一种应用基准测试规范设计方法,指导数据库系统的基准测试。提出以动作、环境、负载等信息项为框架,建立数据库系统使用需求集,规范初始信息格式;将使用需求初分为操作场景,建立关键变量矩阵,并应用K-means算法、层次式聚类等方法进行操作场景分组,确认典型应用系统集;设计了基准测试用例结构,提出了环境要求、事务要求、执行要求等重要信息项,并构建测试规范框架,描述了典型应用系统与应用基准测试规范的关系;通过实例应用,证明了该方法的可行性与适用性。所提方法可辅助解决应用系统在多个数据库系统中择优选型问题,也可用于数据库系统厂商自测,促进产品能力提升。     

Template-based AADL automatic code generation

Embedded real-time systems employ a variety of operating system platforms. Consequently, for automatic code generation, considerable redevelopment is needed when the platform changes. This results in major challenges with respect to the automatic code generation process of the architecture analysis and design language (AADL). In this paper, we propose a method of template-based automatic code generation to address this issue. Templates are used as carriers of automatic code generation rules from AADL to the object platform. These templates can be easily modified for different platforms. Automatic code generation for different platforms can be accomplished by formulating the corresponding generation rules and transformation templates. We design a set of code generation templates from AADL to the object platform and develop an automatic code generation tool. Finally, we take a typical data processing unit (DPU) system as a case study to test the tool. It is demonstrated that the autogenerated codes can be compiled and executed successfully on the object platform.     

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

UML已经成为建模语言的事实标准，如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战．为了从UML设计模型中的活动图直接生成测试用例，给出了UML活动图的形式化定义和灰盒测试方法．该方法首先分析UML活动图上的所有执行路径（每条路径称为一个测试场景），然后根据测试场景中的节点和转换所代表的活动及其输入／输出变量、相关约束条件等生成测试用例．并根据该方法实现了一个自动生成测试用例的工具UMLTGF，它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例．该工具能够提高软件测试的效率，降低测试成本．