面向对象类测试方法分析

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

面向对象的类测试技术

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

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

类测试软件开发中是面向对象软件软件开发中十分重要的一个环节,也是影响程序正确性、可靠性以及稳定性的关键性因素。该文主要提出了一种面向对象的软件测试技术中的类测试方法,并从基于服务的和基于状态的类测试两个方面论述了类测试的思想和方法。     

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

类测试软件开发中是面向对象软件软件开发中十分重要的一个环节,也是影响程序正确性、可靠性以及稳定性的关键性因素。该文主要提出了一种面向对象的软件测试技术中的类测试方法,并从基于服务的和基于状态的类测试两个方面论述了类测试的思想和方法。     

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

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

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

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

一种用于类测试的新方法

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

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

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

类测试技术研究

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

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

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

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

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

面向IPv6的协议测试技术

网络协议测试是检验网络协议实现的一个关键性方式,它是在软件测试的基础上发展起来的。面向IPv6的协议测试技术作为它的一个分支,则是为了验证IPv6协议栈是否满足协议标准而提出的。文章详细介绍了针对小设备上的IPv6协议栈开发过程中所用到的一致性测试工具和方法,包括:PacketGenator,TAHI Project,and TTCN-3,并结合Ethereal抓包软件,对项目组自行开发的协议栈进行测试,实测效果良好。     

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

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

一种C++单元测试支持工具的研究与设计

单元测试是针对单个功能模块的测试,能尽早发现缺陷,降低滞后纠错的高成本。当今面向对象软件开发强调迭代和增量式的开发方法,单元测试为其提供了质量保证支持。在单元测试实践的基础上提出了一种单元测试支持工具的设计方法,该工具提供了一个灵活有效的单元测试框架和基于该框架的测试用例管理和优化方法。     

Regression test selection for C++ software

Regression testing is an important but expensive software maintenance activity performed with the aim of providing confidence in modified software. Regression test selection techniques reduce the cost of regression testing by selecting test cases for a modified program from a previously existing test suite. Many researchers have addressed the regression test selection problem for procedural language software, but few have addressed the problem for object‐oriented software. This paper presents a regression test selection technique for use with object‐oriented software. The technique constructs graph representations for software, and uses these graphs to select test cases, from the original test suite, that execute code that has been changed for the new version of the software. The technique is strictly code based, and requires no assumptions about the approach used to specify or test the software initially. The technique applies to modified and derived classes, and to application programs that use modified classes. Copyright © 2000 John Wiley & Sons, Ltd.     

基于彩色污点传播的黑盒测试方法

软件漏洞检测是确保软件安全的重要方法之一.现有可执行程序漏洞检测方法主要分为白盒测试和黑盒测试两类:前者需要完整构造程序漏洞产生表达式,因此存在路径爆炸以及表达式难以求解等问题;后者通过尝试各种输入以检测程序漏洞,针对性不强且存在过多重复计算.本文通过确定程序输入中直接影响程序检测点的部分,结合种子输入产生能够直接到达检测点的输入数据,提高黑盒测试过程的针对性.分析检测点间守护条件和检测条件的相关性,去除检测过程中冗余的检测点,提高整体检测效率.提出了彩色污点传播的方法,快速确定程序检测点与外部输入及约束条件间的依赖关系.通过对4款现有应用软件的分析试验,结果表明本方法提高了黑盒测试的针对性和分析效率.     

面向实时嵌入式机载软件的测试技术研究

文章对实时嵌入式机载软件的测试方法进行了研究，地对机载计算软件的时空约束，面向机器和容错计算每一系列特点，提出了一个适用于实时嵌入式机载系统的ＲＥＡＳＴ软件测试模型，并地该模型实现中的４个核心技术进行了简要的阐明，最后，介绍了以上软件测试方法在实际工程项目中的应用情况。