基于LoadRunner自动化应用程序接口的舰船装备软件测试系统设计与实现

针对舰船装备软件接口交互信息量大,利用现有动态测试技术对此类软件开展测试工作时效率较低,自动化测试水平亟待提高的现状,归纳分析了舰船装备软件测试系统的主要能力需求,研究了接口协议形式化、测试用例自动生成、测试用例自动驱动、通信接口转换等关键技术,并以上述技术为基础给出了舰船装备软件测试系统的体系架构设计方案,进而实现了一种基于LoadRunner自动化应用程序接口(LoadRunner Automation API)的舰船装备软件测试系统,为舰船装备软件提供了一种可行的自动化测试手段;该测试系统主要包括测试管理模块、测试用例生成模块、测试用例驱动模块和数据收集与分析模块;采用该测试系统能够有效提高舰船装备软件的测试效率。     

基于约束的服务化软件测试系统

面向服务的软件体系结构近年来不仅在民用领域得到广泛应用，也越来越多地应用于军用装备软件系统研制。服务化软件的测试技术得到了越来越多的关注。传统的服务化软件测试工具大多关注于测试流程的自动化，在测试用例的自动生成等方面，还远不够成熟。现有测试技术和工具尤其难以表达真实应用中的业务逻辑规则，给生成高质量的测试带来许多困难。鉴于此，研发了一款针对服务化系统的软件测试原型工具。该工具运用一阶逻辑公式表达业务逻辑约束，基于Z3 SMT约束求解器生成测试用例、进行故障注入等，使得测试数据的生成更契合待测软件业务特征，为服务化软件的测试实践提供了更有力支持。     

基于XML的API自动化测试工具设计与实现

在研究应用编程接口(API)测试特点的基础上，运用软件测试技术与方法对API进行了正确性测试，设计了API自动化测试框架，采用XML语言进行API自动化测试工具的设计和实现方案。使用该工具可在API信息提取、测试用例生成及测试用例执行、测试报告生成等方面实现自动化。该工具主要用于验证第三方提供的API，由于单元测试中较多地使用了API测试，因此也可运用于软件的单元测试。     

Web应用测试集成环境的研究与设计

提出了Web应用的层次化测试方法,设计并实现了Web应用测试集成环境,该环境面向科学数据库系统平台软件测试的需要,对测试需求管理、测试脚本生成、自动化测试执行、测试报告生成等任务进行了集中化的处理.     

基于TestQuest的软件测试自动化方法研究

随着软件开发规模的增大以及复杂程度的增加,自动化测试工具在提高软件测试的效率及准确度上越来越重要,而现有的软件测试存在自动化程度不高、测试过程不完善等问题,针对此问题展开了软件测试自动化的研究。在分析了软件自动化测试的重要性及软件自动化测试的周期、技术的基础上,提出了基于TestQuest测试工具的一套软件测试自动化方法和测试流程,最后针对“虚拟维修训练系统”具体结合工具展开实例验证。     

一种基于QAC和Klocwork软件的静态测试方法

为了提高软件的测试质量和效率,在软件测试中越来越多的测试工具被应用进行软件自动化测试。文章提出了一种基于软件测试工具QAC和Klocwork对代码进行静态测试的方法。首先,文章简要地介绍了这2种软件测试工具,并阐述了它们的测试过程;之后,分析了它们各自的特点及侧重方向;接着,指出了该方法对提高软件质量的影响;最后,结合实例验证了该方法的优越性。     

一种面向应用的测试任务自动生成与运行方法

针对ATS工程应用中测试任务开发难度大、维护成本高的问题,分析软件测试自动化中的脚本技术,设计了一套新的脚本规范,提出了一种面向应用的测试任务自动生成与运行方法。基于该方法,构建了ATS通用开发平台的软件体系结构。分析了其中的层次结构、模块功能、接口标准,介绍了该方法的具体实现过程。实际应用表明,该方法实现了测试系统的任务重构、系统扩展和测试任务生成与运行的零编程,提高了ATS软件的开发效率。     

软件测试过程管理系统的研究和设计

提出一个基于过程的软件测试过程管理框架,采用DCOM组件开发技术,设计自动化测试过程管理软件,阐述软件总体框架、模块设计和关键技术的实现。该工具可规范软件测试过程,自动生成测试技术文档,提高测试效率。     

面向船舶软件的仿真测试平台研究

软件仿真测试是嵌入式软件黑盒测试领域行之有效且具有广泛应用前景的方法,为解决船舶软件利用仿真测试环境进行自动化测试问题,文中分析了舰船作战指挥控制系统中的嵌入式软件的交联环境,研究了软件测试交联环境协同管理技术;利用将测试模型转化为XML文件并解析驱动的方法实现测试用例的自动执行;对仿真测试中数据类别分析,提出了测试数据的自动收集与分析技术.设计并开发了舰船嵌入式软件仿真测试系统,有效提高了船舶软件测试效率和测试准确性.     

基于STAF自动化测试框架的研究与应用

随着软件功能实现技术越来越复杂,软件测试领域迫切需要具有自动化、多平台、开销小的自动化测试框架,STAF的出现很好地解决了这个问题。提出一种基于STAF的自动化测试框架,并进行模拟实践,采用ATT工具设计自动测试引擎,通过模拟实验测试,构建基于STAF的自动化测试框架。测试结果显示：在不同环境下,该框架均具有软件测试自动化程度高、测试效率高,易于管理、维护和可扩展等优点。     

Web软件的一种有效测试方法

测试Web软件面临极大的挑战。从构造Web软件的页面流图出发,提出了一种测试路径生成的方法,以一个简单的Wcb登录系统SWLS(Simple Web Login System)为例对该方法进行了阐述,并给出了Web软件测试的一种有效模型。该方法给页面流测试技术提供了一个有意义的基础。     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

Java-basiertes automatisiertes Test-Framework

Java-based Automated Test-Framework With an increasing number of software-systems built using components, software developers are faced with entirely new challenges. For example, testing these modu-lar systems has become far more complex. Manual test approaches are incapable of dealing with the new architectures, leaving several parts of the systems untested. Thorough tests require extensive use of human resources, with enormous financial repercussions. Most customers are unwilling to accept these, completely unaware of their eventual benefit. Even existing automated software test approaches can only remedy these problems in parts. They commonly require source code access to add the necessary test routines, making the approach unsuitable for third party compo-nents. The innovative CBTesten approach tackles this problem. A highly dynamic framework is introduced into the software-system after compilation, which allows de-riving of test cases as well as fully automated tests based on the collected data.     

舰船装备软件构件可靠性评估方法

为了解决对当前大型舰船装备软件构件可靠性评估不够直观详细,构件的性能参数缺乏足够的测试数据。针对以上问题进行研究,提出针对舰船装备软件构件的可靠性评估方法、分析和综合评价的工具。本文提出了一种针对舰船装备软件构件可靠性评估方法,接着对其评估过程进行介绍。最后,在开发出的可靠性评估工具上对方法进行验证,它可以实现软件可靠性早期预计以及可靠性分析的自动化实施。该软件可以极为方便的帮助软件可靠性工程师实现舰船装备软件构件可靠性早期预计分析工作,具有重要的工程意义。     

An automated framework for software test oracle

Context

One of the important issues of software testing is to provide an automated test oracle. Test oracles are reliable sources of how the software under test must operate. In particular, they are used to evaluate the actual results that produced by the software. However, in order to generate an automated test oracle, oracle challenges need to be addressed. These challenges are output-domain generation, input domain to output domain mapping, and a comparator to decide on the accuracy of the actual outputs.

Objective

This paper proposes an automated test oracle framework to address all of these challenges.

Method

I/O Relationship Analysis is used to generate the output domain automatically and Multi-Networks Oracles based on artificial neural networks are introduced to handle the second challenge. The last challenge is addressed using an automated comparator that adjusts the oracle precision by defining the comparison tolerance. The proposed approach was evaluated using an industry strength case study, which was injected with some faults. The quality of the proposed oracle was measured by assessing its accuracy, precision, misclassification error and practicality. Mutation testing was considered to provide the evaluation framework by implementing two different versions of the case study: a Golden Version and a Mutated Version. Furthermore, a comparative study between the existing automated oracles and the proposed one is provided based on which challenges they can automate.

Results

Results indicate that the proposed approach automated the oracle generation process 97% in this experiment. Accuracy of the proposed oracle was up to 98.26%, and the oracle detected up to 97.7% of the injected faults.

Conclusion

Consequently, the results of the study highlight the practicality of the proposed oracle in addition to the automation it offers.     

单元测试自动化工具的研究与实现

软件测试的自动化技术是软件测试技术研究的重点问题,对于提高软件测试的客观性和效率有着非常重要的意义.实现了一个可以自动生成、执行测试用例的工具,该工具针对软件测试过程中的单元测试,以容易发生异常例外的条件语句为中心,对其进行覆盖检查,实现了单元测试的自动化.     

基于TestDirector的软件自动化测试系统的设计

针对国内软件测试自动化程度较低的现状,介绍了软件自动化测试技术和Mercury Interactive公司的3个测试工具:TestDirector、WinRunner和LoadRunner.然后以全国短波监测网络系统为例详细阐述了用TestDirector做测试管理,用WinRunner和LoadRunner做自动测试的整个测试系统的设计.从实践中证明了测试系统的可用性,并将自动控制理论融入到测试问题中,以求用控制理论的方法来指导软件测试.     

SMArDT modeling for automotive software testing

Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error-prone. Model-based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model-based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.     

Linux下自动化测试执行管理工具的设计与实现

测试自动化是提高软件测试效率的重要途径。尽管各种测试工具具有强大的执行功能,但没有对测试过程和测试资源进行有效的管理。设计并实现了一个Linux下的自动化测试执行管理工具,侧重于测试执行管理和测试资源管理,并详细阐述了其总体构架、模块设计和关键技术。     

基于 RFT 的自动化测试框架

为了改进软件自动化测试过程,提高自动化测试的效率,设计并实现了一种基于RFT并由数据驱动的可复用软件自动化测试框架。该框架分离了测试用例与数据,实施该框架能够降低测试用例的开发及维护成本,提高测试用例的可复用性,大大优化软件测试过程,提高了自动化测试的效率,保证软件的质量。