基于Junit自动生成类测试案例框架的实现

论文对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出了不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit生成包含测试神谕的测试案例框架的工具。借助该工具,程序员在编写测试案例时,只需在自动生成的测试案例框架中添加测试数据就可获得完整的测试案例。     

做坦克游戏·学Java编程（二）——创建坦克类并实现BadTank

抽象类是Java中一种重要的类,合理地使用抽象类可以使程序更加简洁,复用度高。设计一个抽象类Tank,把坦克共有的属性和方法定义其中,实现了其一个具体的子类BadTank,并让其对象能够随机地自动移动。     

基于状态的类测试研究

类测试是面向对象的软件测试过程中的一个重要方面。类测试需要结合对象的状态行为,并考察在执行相应的方法后是否能达到预期状态。该文描述了基于状态的类测试的方法,并通过实例分析给出了测试用例生成方法,验证被测对象在经过操作变换后是否处于预期的正确状态,使得测试人员在缩减测试用例数量的同时,提高了测试效率。     

基于状态的类测试研究

类测试是面向对象的软件测试过程中的一个重要方面。类测试需要结合对象的状态行为,并考察在执行相应的方法后是否能达到预期状态。该文描述了基于状态的类测试的方法,并通过实例分析给出了测试用例生成方法,验证被测对象在经过操作变换后是否处于预期的正确状态,使得测试人员在缩减测试用例数量的同时,提高了测试效率。     

俄罗斯方块游戏的敏捷设计与开发

本文提出一种利用数组及敏捷开发思想开发俄罗斯方块游戏的过程，以数组为界面显示的数据结构。设计界面类。利用STRATEGY模式设计方块类，先设计抽象类．通过应用测试优先原则，设计简单方块让抽象类的测试通过。在逐步的迭代与重构中未响应不断变化的需求，来实现所有类。最后通过界面的优化来完成系统的开发。     

基于模态的嵌入式软件动态重构技术研究

终结共代数上的互模拟是等价关系,这一性质为对象的行为等价提供了一种基于共归纳原理的证明方法。首先,利用共代数给出面向对象方法中的抽象类、类和对象的形式化描述,其中抽象类被定义为一个包含方法和断言声明的类规范,类被定义为满足类规范的共代数,类的各个对象看成是共代数状态空间上的元素,而对象中方法的各种行为结构则通过强Monads进行参数化描述;接着,利用类规范的终结共代数给出对象行为等价关系的证明方法以及在各种不同Monads结构下的终结共代数语义;最后,通过实例说明如何利用PVS工具对研究结果进行验证。     

类状态测试模型

针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。     

一种基于共代数的面向对象形式语义

针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。     

Java类测试工具Junit的分析与扩展

分析了Java类测试工具Junit的功能和结构，并讨论了如何扩展Junit以满足一些Java类特殊要求的测试。Junit主要由3个包（framework、runner、textui）构成。通过对包中主要类的分析，阐述了每个包的作用，并最终以流程图的形式将3个包关联起来，以说明包之间的相互协作及测试在Junit中的执行过程。透过上述分析，可以了解测试在Junit中的执行原理。此外，针对Junit本身的不足和一些特殊的测试需要，总结出对Junit的部分扩展应用，并以实例进行说明。     

一种新的具适应性的程序结构

TRAP/J结构可以将可适应性透明地加入已有的应用程序中,不用修改应用程序源代码和虚拟机。该文提出一种新的具适应性的结构,采用包装类和AspectJ获得对原类的封装和替代,使用抽象类代表原类,避免了原结构反射的使用。实验表明,与TRAP/J相比,用该结构构成的程序在单机环境中执行速度更快,但是在网络环境下两者相当。     

协议一致性测试执行系统的体系结构研究

对现有的协议一致性测试方法进行了介绍，然后针对TCP/IP协议族的一致性测试所必需的特殊要求和必需用到的多种测试方法，提出一种测试执行系统的体系结构，可以灵活地进行各个层次协议的测试。应用该体系结构开发的协议一致性测试套已经应用于高端路由器的研发中，为协议的顺利开发起到了积极的促进作用。     

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.     

A testing strategy for abstract classes

One of the characteristics of the increasingly widespread use of object‐oriented libraries and the resulting intensive use of inheritance is the proliferation of dependencies on abstract classes. Since abstract classes cannot be instantiated, they cannot be tested in isolation using standard execution‐based testing strategies. A standard approach to testing abstract classes is to instantiate a concrete descendant class and test the features that are inherited. This paper presents a structured approach that supports the testing of features in abstract classes, paying particular attention to ensuring that the features tested are those defined in the abstract class. Two empirical studies are performed on a suite of large Java programs and the results presented. The first study analyses the role of abstract classes from a testing perspective. The second study investigates the impact of the testing strategy on the programs in this suite to demonstrate its feasibility and to comment on the pragmatics of its use. Copyright © 2010 John Wiley & Sons, Ltd.     

协议一致性抽象测试集的设计研究

协议一致性测试是验证计算机网络协议实现与其国际标准相一致的重要技术。在一致性测试中，抽象测试集的地位十分重要。对不同协议标准化抽象测试集的研究导致了一致性测试的国际标准，是近几年国际上研究的热门话题。本文首先介绍了协议一致性抽象测试集的基本概念的结构，然后阐述抽象测试认样生的一般过程，最后对我们正在研究的３Ｘ协议一致性测试集的设计进行介绍。     

ASRSP——一种新的并发程序测试准则

可达性测试是目前较为成熟的一种并发程序测试方法,该方法解决了如何生成最小完备偏序测试序列集的问题.但研究表明,对于一般规模的并发程序,这一测试序列集仍然太大,以至穷尽测试无法完成.因此,目前亟需能投入实际应用的并发程序测试准则和相应的测试序列生成算法.本文提出了一种实用性较高的并发程序测试准则:全发送接收语句对(ASRSP),并针对该准则提出了一种新的并发程序测试方法:全发送接收语句对可达性测试(ASR-SP-RT).该方法利用可达性测试生成测试序列集的完备性来保证覆盖所有的发送接收语句对,并在每次生成新序列 之后及时去掉对覆盖剩下发送接收语句对无作用的序列,从而达到约简测试序列集的目的.     

基于锚点类的GDA标准接口测试方法

介绍一种GDA标准接口的自动化测试方法。选择业务系统相关的锚点类．根据锚点类去除CIM模型中对业务系统无效的搓型,制定对业务系统有效的测试模型,分析测试数据,根据测试模型自动化生成测试的输入和期望输出．从而实现对GDA标准接口的自动化测试。与传统的测试方法相比,可适用于任意的CIM模型,任意的测试数据,随机生成测试的输入数据．保证测试的有效性、准备性及覆盖性。     

类测试技术研究

类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

基于抽象状态的类的行为规格化方法

为独立方法定义严谨的规格可以保证程序的正确性。但是在面向对象的程序中,方法之间因为共享属性而相互影响,这就需要能够反映方法间影响的规格化方法。研究者们使用抽象变量、状态抽象、堆、查询等多种方法进行了尝试。文中给出一种基于抽象状态的类的行为规格方法,该方法基于抽象状态解决了类方法间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证。     

软件测试质量的度量

该文在详细分析了软件测试充分性和揭错能力度量理论后,根据软件质量的本质特性,提出一种更全面的软件测试质量度量方法———通过度量软件测试方法减低软件残留风险程度的能力来度量测试质量的新方法。     

Web服务测试问题综述

近来出现了一种新的支持分布式计算的范型--面向服务的体系结构(SOA).Web服务就是这种结构的具体实现形式之一.众所周知,为了获得一个可信的、可靠的服务,对服务实施完全、充分的测试是至关重要的.所以本文对Web服务的测试方法和技术进行了调查研究.本文从SOA体系结构下Web服务的特点及其测试的新的挑战出发,讨论了Web服务测试与传统测试的不同点;接着从多个不同的角度(测试的视角和测试的策略)讨论了Web服务测试的相关问题.然后给出了一个Web服务测试过程的组织框架,还讨论了目前Web服务测试的研究现状和一些代表性的Web服务测试技术.最后总结全文并给出未来的研究方向.