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

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

面向对象的类测试技术

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

面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术，从基于服务的，基于状态的，基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术.从基于服务的、基于状态的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法.     

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

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

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

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

面向对象软件开发中基于类的测试

面向对象软件测试是保证软件质量提高软件可靠性的关键问题,已经成为当前研究的热点.面向对象具有的封装性、继承性和多态性等特性,给程序设计带来了好处,但却给软件测试提出了新的要求,加大了测试难度.在分析了面向对象语言对软件测试的影响之后,讨论了软件测试的策略和技术并提出了一种适应于作为基本测试单元的类测试途径.因此,提出一...     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

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

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

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

面向对象软件测试是面向对象软件开发不可缺少的环节,对保证软件质量、提高软件可靠性至关重要。传统的测试技术已经很成熟,但无法对其进行有效测试。针对面向对象软件所具有的特性,提出面向对象软件的测试模型,详细讨论和分析了其测试方法和解决方案。     

一种基于UML状态图的面向对象类级测试模型

扩展有限状态机（EFSM）因其具有对系统控制特征（即系统的状态）和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种UML状态图转为扩展有限状态机的方法,使之能采用传统的测试疗法对类进行状态覆盖和数据流覆盖。     

面向对象程序的抽象类测试之研究

许多面向对象语言支持抽象类机制,抽象类是一种特殊的类,因为它本身不能被实例化,所以对抽象类的基于执行的测试就比测试一般具体类更复杂。测试一般类需要该类的实例,然后调用方法执行测试用例,并分析测试结果,而测试抽象类就不能直接这样做了。论文首先分析了抽象类的故障特征,并提出了抽象类测试的改进方法。     

一种用于软件测试的程序结构划分方法

软件测试中的结构性测试是以程序的结构为基础生成测试用例，以测试准则为判定测试的充分性，由于程序结构的复杂性，难于保证对程序进行充分而高效的测试，本文提出了一种基于程序依赖图的程序结构划分的测试方法，即程序块划分法。该方法难过对程序进行结构划分，将复杂的程序分解为若干程序块，并通过程序块间的数据依赖关系导出各程序块的语义，从而使测试可以在程序块的级别的基础上独立进行。     

Program Slicing-Based Regression Testing Techniques

After changes are made to a previously tested program, a goal of regression testing is to perform retesting based on the modifications while maintaining the same testing coverage as completely retesting the program. This paper presents a novel approach to data flow based regression testing that uses slicing algorithms for the explicit detection of definition-use associations that are affected by a program change. An important benefit of this slicing technique is that, unlike previous techniques, neither data flow history nor recomputation of data flow for the entire program is required to detect affected definition-use associations. The program changes drive the recomputation of the required partial data flow through slicing. Another advantage is that the technique achieves the same testing coverage with respect to the affected definition-use associations as a complete retest of the program, without maintaining a test suite. Thus, the overhead of maintaining and updating a test suite is eliminated.     

基于UML的C++软件静态测试方法

提出一种基于UML的面向对象软件静态测试的方法,论述了方法的基本框架及针对C 的具体实现,使测试人员能直观地了解程序结构上的错误,并有效地设计测试用例。本静态测试方法是通过分析源程序文件,采用数据库来保存分析结果,并以UML类关系图显示出来。     

基于多分支语句的控制流迷惑技术

控制流速惑是代码迷惑的一个重要方面．程序控制流分为过程内控制流及过程间控制流．本文提出了一种基于switch_case语句的控制流迷惑技术；首先给出一种基于switch语句的程序变换方法，使得过程内的控制流关系变得复杂，同时利用switch语句对整个程序中的函数进行重新定义，从而迷惑程序中的函数调用关系，以达到迷惑过程间控制流信息的目的．最后表文定性地分析了这种代码迷惑技术的性能．     

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

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

基于UML面向对象软件静态测试方法的研究

文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。     

面向对象MIS开发中的对象识别技术

从分析客观实体中对象的表现形态出发,结合结构化数据流图,阐述了面向对象MIS开发中对象识别的技术和方法。     

基于混合测试和动态分析的分段代码测试

传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现sCREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。