基于MDA的软件测试用例生成

将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体上提高软件的开发效率。     

一种针对单元测试框架的测试脚本重用方法

单元测试框架下的软件测试将产生大量的测试脚本, 在软件测试过程中如何有效利用现有的测试脚本, 实现软件测试脚本（代码）的重用成为业界关心的一个重要问题。业界最常见的复用需求是当开发项目更换新的测试框架时, 如何重用开发人员在原单元测试框架下积累的测试脚本。针对这一问题, 提出了基于测试脚本移植的重用方案。通过对单元测试脚本的分析和自动翻译方法, 将原测试脚本中包含的信息提取出来, 解析为基于XML的中间脚本, 然后再利用XSLT技术, 依据XML记录的信息, 自动生成目标框架的单元测试脚本, 从而解决单元测试脚本的重用问题。最后实验验证了方案的可行性。     

用TestCase对Spring的Bean进行单元测试

随着软件项目的越来越复杂,软件测试在软件开发中的地位显得越来越重要。单元测试是整个软件开发测试流程中最基础的部分,要求程序员尽可能早地发现问题,这样就为在软件开发流程中建立高效的事件反应机制打下坚实基础。在此对JUnit框架进行介绍,并且结合实例来说明用Junit框架中的TestCase对Spring框架下的Bean进行单元测试的方法。     

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

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

软件单元测试实验课程教学改革

单元测试是软件测试中的最底层的一种测试活动,是软件开发中不可忽视的一个环节,但我国高校软件单元测试的教学效果并不理想。本文分析了传统实验教学存在的问题,引入先进流行的开源测试框架,设计了单元测试实验课程教学内容;采用任务驱动教学方法,以理论知识为基础,以企业需求为标杆,对实验教学方法进行了改革,收到了良好的教学效果。     

电子电器产品嵌入式软件单元测试技术研究

电子电器产品中嵌入式软件的故障和失效已是产品质量出现问题的重要原因之一,软件测试是保证软件质量的重要手段,单元测试作为软件测试过程的第一阶段,高质量的测试效果是确保整个测试的必要条件。通过对典型嵌入式软件测试工具RTRT(Rational Test RealTime)的分析及利用RTRT进行实际电器产品软件单元测试的试验,结果表明RTRT是一个可以有效得应用于电子电器产品嵌入式软件开发和测试阶段的自动化测试工具,利用RTRT进行软件单元测试可以减少测试工作量,加快测试进度和提高软件测试质量。     

单元测试及测试工具的研究与应用

软件测试在软件生命周期中占据重要的地位,是软件产品交付用户使用之前保证软件质量的重要手段。在软件测试V模型中,测试阶段通常分为单元测试、集成测试、系统测试和验收测试。所谓好的开头是成功的一半,单元测试作为整个测试过程的第一阶段,自然占据看十分重要的地位。由于单元测试的高覆盖率要求,往往需要反复的运行诸多测试用例,这将增加大量的人力物力成本。如能正确熟练的使用单元测试工具,将极大地提高单元测试工作的效率和质量。但是,在软件测试课程中,对于单元测试的学习具有较大的难度。本文针对高职高专院校开设软件测试技术课程的现状,分析了单元测试的学习过程,并且针对目前流行的Java开发环境,选用Junit单元测试工具作为实例,介绍了Junit工具的使用方法和测试脚本的编写规范,并讨论了单元测试用例的设计方法,来全面的完成单元测试知识的教学。     

软件单元测试应用研究及案例分析

单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性,以及在系统、产品以及数据方面的独立性,在对几种基本的软件测试框架进行研究的基础上上,结合在实际的项目中的软件自动化测试的实践,提出一种基于数据驱动的自动化测试框架(TAF)。分析了软件测试以及软件测试自动化的现状,阐述了软件测试自动化框架的策略目标、关键的成功因素,以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

基于数据驱动的软件自动化测试框架

为了提高软件测试自动化程序的可复用性，以及在系统、产品以及数据方面的独立性，在对几种基本的软件测试框架进行研究的基础上上，结合在实际的项目中的软件自动化测试的实践，提出一种基于数据驱动的自动化测试框架（TAF）。分析了软件测试以及软件测试自动化的现状，阐述了软件测试自动化框架的策略目标、关键的成功因素，以及5种基本的软件自动化测试框架。最后提出新的软件自动化测试框架。     

单元测试在PowerBuilder开发环境中的应用

单元测试是提高软件质量的重要手段,而数据库应用程序的测试是单元测试中的难点之一.阐述了单元测试和测试框架在软件开发中的作用,展示了在PowerBuilder开发环境中使用单元测试框架对数据库访问代码进行单元测试的实例.     

基于BIST软件测试思想的单元测试框架

BIST是一种成熟的硬件可测性设计的方法,BIST软件测试思想则借用了该技术,它主要包括模板和自治测试部分两大基本结构。在该思想的指导下,整合测试用例、测试点、插装函数、测试报告等测试要素,提出了各个要素的存储或使用方式,以路径覆盖为测试目标,提出了一种BIST软件自测试的测试框架。实践证明,该测试框架有利于BIST软件测试思想的进一步研究和实现。     

A practical model‐based statistical approach for generating functional test cases: application in the automotive industry

With the growing complexity of industrial software applications, industrials are looking for efficient and practical methods to validate the software. This paper develops a model‐based statistical testing approach that automatically generates online and offline test cases for embedded software. It discusses an integrated framework that combines solutions for three major software testing research questions: (i) how to select test inputs; (ii) how to predict the expected results of a test; and (iii) when to stop testing software. The automatic selection of test inputs is based on a stochastic test model that accounts for the main particularity of embedded software: time sensitivity. Software test practitioners may design one or more test models when they generate random, user‐oriented, or fault‐oriented test inputs. A formal framework integrating existing and appropriate specification techniques was developed for the design of automated test oracles (executable software specifications) and the formal measurement of functional coverage. The decision to stop testing software is based on both test coverage objectives and cost constraints. This approach was tested on two representative case studies from the automotive industry. The experiment was performed at unit testing level in a simulated environment on a host personal computer (automatic test execution). The two software functionalities tested had previously been unit tested and validated using the test design approach conventionally used in the industry. Applying the proposed model‐based statistical testing approach to these two case studies, we obtained significant improvements in performing functional unit testing in a real and complex industrial context: more bugs were detected earlier and in a shorter time. Copyright © 2012 John Wiley & Sons, Ltd.     

Windows文件系统自动化测试框架的研究与设计

随着软件规模的庞大,程序量和复杂度在不停地增长,测试工作变得越加艰巨,自动化软件测试可以在一定程度上减少测试开销,同时增加在有限时间内的测试。文章在单元测试框架CPPUnit的基础上开发了Windows文件系统的自动化测试框架,将CPPUnit从单元测试领域扩展到功能测试和非功能测试领域,设计的框架不仅可以支持文件系统的功能回归测试,而且可以支持文件文件系统的部分非功能测试,结果用XML文件保存并可在Web上浏览,论文详细的阐述了该自动化测试框架的结构以及设计模式,该设计思路对于研究文件系统自动化测试工具有一定的参考价值。     

Windows文件系统自动化测试框架的研究与设计

随着软件规模的庞大,程序量和复杂度在不停地增长,测试工作变得越加艰巨,自动化软件测试可以在一定程度上减少测试开销,同时增加在有限时间内的测试。文章在单元测试框架CPPUnit的基础上开发了Windows文件系统的自动化测试框架,将CPPUnit从单元测试领域扩展到功能测试和非功能测试领域,设计的框架不仅可以支持文件系统的功能回归测试．而且可以支持文件文件系统的部分非功能测试,结果用XML文件保存并可在Web上浏览,论文详细的阐述了该自动化测试框架的结构以及设计模式,该设计思路对于研究文件系统自动化测试工具有一定的参考价值。     

嵌入式软件可靠性仿真测试环境框架

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍，对测试环境中的测试运行时组件进行了功能需求的分析，构建出测试运行时组件的框架实现，借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍，总结了利用框架实现仿真测试环境的优势。     

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

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

软件测评能力成熟度模型研究

软件测评作为软件质量保证的重要手段,其重要性已越来越受到各方的高度关注。要在有限的时间、人员和经费等约束条件下,验证软件是否满足要求并尽可能多地发现其中存在的缺陷,就必须找到提高测评效率和质量的有效途径,为此不仅要研究软件测评的技术、方法和工具,还必须注重软件测评过程的管理和改进。本文在借鉴CMM、CMMI、TMMi、GJB5000、GJB5000A思想的基础上,提出了适用于软件第三方测评机构的软件测评能力成熟度模型,有助于第三方测评机构改进其测评过程、主管部门遴选测评机构。     

软件自动化测试实施过程与问题研究

当软件项目测试进展到一定阶段,测试对象达到一定规模,对测试提出更高效的要求时,引入自动化测试成为提升测试效率的必经之路,以大幅减少测试开销,同时提高单位时间内的测试产出.以网络设备嵌入式软件自动化测试实施案例为主要研究对象,从自动化测试目标定位、测试效率、测试质量等角度分析自动化测试存在的问题,从项目管理、认识转变、技...