面向对象的类测试技术

面向对象软件测试是面向对象软件开发的重要阶段,是保证软件质量、提高软件可靠性的关键,而类是面向对象软件的基本构成单元,因此类测试是面向对象软件测试的关键。该文主要提出了一种面向对象的软件测试技术中的类测试方法,并通过实例从基于服务类测试、基于状态类测试和基于响应状态的类测试等方面论述了类测试的思想和方法。     

基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种基于服务的类测试模型，即服务的块分支图。     

面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段,面向对象测试的关键是类测试.当前,类测试常用的方法是基于状态的测试和数据流测试.文章对这两种方法进行了分析和比较,提出了将来基于这两种方法的研究重点.     

基于服务的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环,是保证软件质量、提高软件可靠性的关键.类测试是面向对象软件测试的关键,类的服务的测试是面向对象软件测试中的重要内容.本文介绍了一种基于服务的类测试模型,即服务的块分支图.     

面向对象软件中类的服务测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，中保证软件质量，提高软件可靠性的关键。类测试是面向对象软件测试的关键，类的服务测试是面向对象软件测试中的重要内容。本介绍了一种类的服务的测试模型（即服务的块分支图）及相应的测试策略。     

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

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

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

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

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

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

基于数据流的类测试技术研究

面向对象软件测试已成为软件工程领域的一个重要研究课题,其中,类测试是面向对象软件测试的关键。论文在介绍传统数据流测试技术的基础上,以面向对象软件的类作为基本测试单元,研究了一种基于数据流的类测试技术。     

面向对象类测试方法分析

面向对象软件测试是面向对象软件开发的重要阶段，面向对象测试的关键是类测试，当前，类测试常用的方法是基于状态的测试和数据流测试，文章对这两种方法进行了分析和比较，提出了将来基于这两种方法的研究重点。     

面向对象软件测试技术进展

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析，设计技术以及程序设计语言的研究相比尚显薄弱。文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向。     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段,面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究,然后讨论了面向对象软件的测试用例设计的方法。     

MuJava: an automated class mutation system

Several module and class testing techniques have been applied to object‐oriented (OO) programs, but researchers have only recently begun developing test criteria that evaluate the use of key OO features such as inheritance, polymorphism, and encapsulation. Mutation testing is a powerful testing technique for generating software tests and evaluating the quality of software. However, the cost of mutation testing has traditionally been so high that it cannot be applied without full automated tool support. This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behaviour and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. A mutation tool based on the MSG/bytecode translation method has been built and used to measure the speedup over the separate compilation approach. Experimental results show that the MSG/bytecode translation method is about five times faster than separate compilation. Copyright © 2004 John Wiley & Sons, Ltd.     

面向对象软件测试及测试用例设计

面向对象软件测试是面向对象软件开发的重要阶段．面向对象软件测试的用例设计是面向对象软件测试技术的重要组成部分。本文对面向对象软件测试技术的特点和层次的划分进行了研究，然后讨论了面向对象软件的测试用例设计的方法。     

面向对象的软件测试技术研究

随着面向对象技术的发展成熟,如何对面向对象软件进行充分有效的测试已成为人们关注的焦点.本文针对面向对象软件开发的特点,提出了面向对象软件测试的模型,并在此模型的基础上,分别介绍了对于OOA与OOD所产生的模型的测试方法和对于OOP所产生的类的测试技巧.     

一种基于对象状态的软件测试方法

面向对象的软件测试是面向对象软件开发的重要阶段,基于对象状态的软件测试方法是面向对象软件测试中类测试的常用方法。文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。根据状态集和状态转换集构造出状态图,从而生成相应的测试用例集。