Web应用测试技术进展

Web应用的特殊性使得其测试具有挑战性,但目前针对其测试的研究同其设计开发的研究相比相对薄弱.从Web应用的体系结构、实现技术、组成成分、运行机制、运行环境、开发设计等方面分析了影响测试的因素.归纳了现有Web应用设计阶段、开发阶段、运行阶段、维护阶段所涉及的主要测试方面及使用的动态、静态测试技术.并从测试的几个关键方面,如链接测试、组件黑盒测试、组件白盒测试、WS及WSC测试及性能测试等方面综述当前研究热点难点,包括面向对象的建模、统计建模、控制流测试、数据流测试、数据组合测试、WS测试、WS组测试、WSC测试、协议测试、性能测试的负载模型与用户会话数据集的优化等问题.指出了有关研究的局限性.从模型驱动测试、基于Agent测试、WS及SOA测试、性能测试等方面探讨了Web应用测试未来的研究方向.     

Java多线程测试策略及测试方法探讨

Based on analyzing the features of Java multithread, testing strategies and methods are discussed in this paper. Java multithread testing is consist of class testing,integration block testing and system testing. The main testing methods for Java multithread are proposed, such as inherit testing, synchronization testing and synchronization efficiency testing.     

SOC微处理器核测试技术研究

介绍了SOC中微处理器核的几种测试方法(并行测试法,串行测试法,测试接口控制器(TIC)法和内建自测试法)和SOC微处理器核的调试支持,并着重介绍了其中测试接口控制器(TIC)法和内建自测试法两种方法的具体实现。     

组合测试中用例集的选择策略

组合测试用例众多,软件测试人员都希望用最少的测试用例集达到最好的测试覆盖。研究了组合测试的常规算法,比较了配对测试法和正交表测试法的特点,并借助于PICT测试工具重点研究了2因子模型的配对组合测试,在此基础上,总结出在组合测试中测试用例集的选择策略,进而达到满意的测试覆盖。     

基于先进工作过程的软件测试课程教学

软件测试课程是软件技术专业的核心课程之一。软件测试过程可分为单元测试、集成测试、系统测试、验收测试等。依据软件测试过程来组织教学内容,引入自动化测试工具,基于先进工作过程来进行教学设计,可提高软件测试课程的教学效果。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

面向对象软件类测试研究新进展

软件测试是软件开发过程中不可缺少的一环,是保证软件质量和提高软件可靠性的关键.近年来,随着面向对象软件开发方法应用的更加广泛和研究的不断深入,面向对象软件测试已成为软件工程领域的一个重要研究课题.类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键.从基于状态、基于规范、基于UML、基于方法序列、基于数据流等6方面论述了类测试的目前研究成果,分析了研究现状,探讨了进一步工作的方向.     

GUI testing assisted by human knowledge: Random vs. functional

Software testing is a labor-intensive task in software development life-cycle. Human knowledge is useful in the practices of software testing, especially GUI testing. There are many strategies for GUI testing assisted by human knowledge, in which manual random testing and manual functional testing are two of widely used ones. In this paper, an empirical study is conducted to compare random testing and functional testing in order to provide guidelines for GUI testing. 234 participants were recruited to create thousands of random and functional test cases for open source GUI applications. Some of these test cases were selected with certain coverage criteria and then run on GUI applications to evaluate random testing and functional testing. We study three aspects on the two testing strategies: effectiveness, complementarity and impact of test case length. Some useful observations in the empirical study are: (1) Random testing is more effective in the early stage of testing on small applications and functional testing has more extensive applicability for testing large sized applications. (2) Random testing and functional testing exhibit some complementarity in our experiment. (3) Short test cases can reveal some faults more quickly and long test cases can reveal more faults lastingly.     

一种基于测试状态的回归测试方法

软件测试在软件生命周期中是一个非常重要的过程,而回归测试则又在软件测试中占有极其重要的地住。本文提出的RTSPS方法综合考虑了测试状态即测试频次、测试成本、错误检测率要求等多种因素来选择合适的回归测试策略,并对测试用例进行优先排序,可以有效地提高测试效率。     

软件自动化测试效费分析

给出了手工测试和自动化测试生存周期模型,并通过对模型的分析比较,给出了手工测试和自动化测试费用计算公式,论述了自动化测试所带来的效益,针对不同的测试项目,提出了选择手工测试还是自动化测试的建议。     

面向对象系统灰盒测试模型的研究与应用

白盒测试是保证高可靠性软件质量的有效手段.由于传统白盒测试成本较高,且具有相对的局限性,对大型可靠性软件实施测试可能并不实用.因此,在实际测试过程中需要使用一套黑盒和白盒相结合的灰盒测试的工程化方法.结合实际项目,给出了一个灰盒测试模型,并将该模型应用于大型面向对象系统的测试中,验证了模型的有效性.     

民用航空器测试技术体系架构研究

分析了构建民用航空器测试技术体系的需求,提出了民用航空器测试技术体系架构,并分析了测试技术需求层、测试技术实现层、测试技术产品层、测试技术标准层、测试技术验证层和测试技术应用层等要素的实施途径,明确了民用航空器测试技术体系的构建方法,希望研究成果对于构建民用航空器测试技术体系有一定的指导作用。     

成对测试中的测试生成策略研究

测试用例生成是软件测试的关键，成对测试是根据特定的测试原则研究测试用例的产生方法。基于这一原则分别构造了IPO-H算法和IPO-V算法的测试以产生整个测试用例，具有产生的测试用例少，时间消耗小等优点。并与另一个成对测试的测试生成工具AETG(高效自动测试生成器)进行了比较、分析，证明了改进的IPO策略便于构造自动测试工具。     

综合网管系统软件测试模型的研究与实现

综合网络管理系统对稳定性、及时性要求很高.论文在功能测试、性能测试和自动化测试等方面对测试流程及重点技术进行理解,通过对综合网管系统的结构和业务进行分析以及对软件测试理论的深入研究,拟定了一套综合网管系统测试解决方案,包括系统测试模型,功能测试模型和性能测试模型,并针对回归测试提出了一个自动化测试模型.提高测试效率,保证软件质量.     

嵌入式软件与硬件的集成测试过程研究

嵌入式软件自身软硬件结合的复杂性及其质量的重要性,造成其软件测试的特殊性,就是在执行正常软件测试的单元测试、集成测试、系统测试的过程中,还要考虑到软件与硬件的兼容问题,即需要进行软硬件集成测试。本文首先介绍了嵌入式软件与硬件集成测试的相关概念,然后归纳提出了软硬件集成测试过程,结合当前软件测试理论前沿知识,把该测试过程进行重组和改进,并给出了测试模型。     

一种用于类测试的新方法

面向对象程序的复杂性和类对象间广泛的相互依赖性使得对这样的程序的测试变得非常困难,而类又是面向对象测试中最基本的单元。对类的测试又可以分为3个级别(方法内测试,方法间测试,类内测试),难点主要集中在类内测试上。文章提出一种基于OSD(对象状态图)的新的算法用来产生进行类内测试的方法调用序列。这种算法是对传统的类测试的两种方法基于规格说明的测试和数据流测试的综合,可以使产生测试用例的复杂度大大的降低。     

无损检测技术在特种车辆裂纹检测中的应用

无损检测技术是检测技术的重要组成部分,将其应用到特种车辆裂纹检测中,能有效提高其检测与诊断效果;根据现代无损检测技术的发展,介绍了超声检测法、涡流法、磁检测法和红外热成像、激光全息和微波检测等新技术在无损检测中的应用,并根据特种车辆裂纹检测和故障诊断特点设计了基于超声技术和漏磁技术的裂纹缺陷检测系统;该系统经过标准件和实装的严格测试,结果表明该系统测试精度高、性能稳定可靠,达到设计要求,满足装备需求。     

软件确认测试概述

软件确认测试在软件测试生命周期中占有重要地位。尽管在整个开发过程中经历了各种测试和检验,但是,在其正式发布和投入运行之前仍必需通过正式的和系统全面的测试,来确认其是否符合需求。本文介绍了软件确认测试的主要测试内容及活动,分析了确认测试在软件开发过程中的作用和地位,归纳了确认测试的基本测试模型,总结了确认测试的基本测试过程和方法。     

电子计价秤软件测试关键技术研究

本文从静态测试方法和动态测试方法两个方面对电子计价秤软件测试中的关键技术进行了研究和总结,包括代码检查、等价类划分测试、控制流测试、数据流测试等,能够为电子计价秤软件测试领域的研究提供参考,同时可以为相关计量器具软件的测试提供借鉴。     

浅谈面向对象软件类的测试

面向对象软件测试与传统的软件测试区别不大,只有类和类簇的测试才体现了面向对象软件测试的特点,而两者之间又以类的测试最为关键。本文通过对状态机模型生成类的测试序列的方法和代码实现以及基于状态测试法的测试数据生成的问题的探讨,认为基于状态的测试方法和基于代数规约的测试方法（ASTOOT方法）将是类测试的主要的发展方向,其余方法大多只能以辅助的面貌出现。