检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于状态模式的面向对象的类测试技术研究

计算机工程 2007年第2期33卷 44-46页

作者：龚红仿童小娇长沙理工大学数学与计算科学学院长沙410076

类的状态测试是面向对象软件测试的重要内容,类的单元测试归结为测试类的数据成员和成员函数。该文提出了基于类的状态模式测试用例生成方法,从类的状态常量、状态变量以及成员函数等方面测试类的一致性与完整性,指出只有满足类的状态... 详细信息

类的状态测试是面向对象软件测试的重要内容,类的单元测试归结为测试类的数据成员和成员函数。该文提出了基于类的状态模式测试用例生成方法,从类的状态常量、状态变量以及成员函数等方面测试类的一致性与完整性,指出只有满足类的状态常量的约束条件与状态变量的前置条件和后置条件的测试数据,才能充分检验类的状态模式中存在的不一致、不完整性错误。

关键词：类测试状态模式测试用例生成

在线全文

学校读者我要写书评

暂无评论

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

小型微型计算机系统 2002年第9期23卷 1121-1124页

作者：张雪萍庄雷范艳峰郑州工程学院计算机科学系河南郑州450052 郑州大学信息工程学院河南郑州450052

面向对象软件测试是面向对象软件开发的重要一环 ,是保证软件质量、提高软件可靠性的关键 .类测试是面向对象软件测试的关键 ,类的状态的测试是面向对象软件测试中的重要内容 .

关键词：面向对象软件测试类测试测试模型软件开发

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

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2006年第1期42卷 89-91页

作者：余波王树林张大方湖南大学计算机与通信学院长沙410082

论文对Java程序的抽象类、包含内隐类的接口、其它内隐类和普通类的测试提出了不同的测试案例模式,结合Liskov替代原则对类测试的要求,实现一个基于Junit生成包含测试神谕的测试案例框架的工具。借助该工具,程序员在编写测试案例时,只... 详细信息

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

关键词：类测试单元测试测试神谕自动化测试工具

在线全文

学校读者我要写书评

暂无评论

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

计算机工程与应用 2005年第9期41卷 40-42页

作者：张雪萍范中山王家耀庄雷解放军信息工程大学测绘学院河南工业大学计算机科学系郑州450052 河南省交通科学技术研究院郑州大学信息工程学院

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

关键词：面向对象软件测试数据流测试类测试

Class Tester:一个基于状态转换的类测试工具的设计与实现

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2007年第3期28卷 447-450页

作者：谢晓东卢炎生华中科技大学计算机科学与技术学院湖北武汉430074

面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器... 详细信息

面向对象软件测试的类测试方法有三种:基于规约说明的类测试方法、基于类流图的类测试方法、基于状态转换的类测试方法.本文描述了一个针对C++语言的基于状态的类测试工具的设计和实现,介绍了该工具的体系结构和主要算法.对测试驱动器的自动生成的方法作了详细介绍.最后通过一个实例描述了该工具的工作流程.

关键词：软件测试面向对象软件测试类测试测试工具

在线全文

学校读者我要写书评

暂无评论

基于UML状态图的类测试技术

计算机工程 2010年第2期36卷 81-82,90页

作者：周清雷张文宁赵东明李喜艳郑州大学信息工程学院郑州450001

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有... 详细信息

针对基于状态的类测试技术缺陷检测率较低的问题,提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法,描述基于W方法的测试序列生成策略,使用Mujava变异工具对方法的有效性进行检测。实验结果表明,该测试策略具有较高的缺陷检测率。

关键词：类测试 UML状态图测试序列变异测试

在线全文

学校读者我要写书评

暂无评论

多核计算机上并行生成类测试用例

计算机工程 2010年第19期36卷 90-92页

作者：吴惜华钟诚莫英红唐金辉广西大学计算机与电子信息学院南宁530004

通过类的数据流分析计算出实例变量的"定义-使用"对信息以及成员函数的前置和后置条件,利用类的继承多态性对被测试类进行预处理。在JPF中设置搜索环境,将测试用例生成问题简化成模型检测中寻找反例的问题,提出一种在多核计算机上实现... 详细信息

通过类的数据流分析计算出实例变量的"定义-使用"对信息以及成员函数的前置和后置条件,利用类的继承多态性对被测试类进行预处理。在JPF中设置搜索环境,将测试用例生成问题简化成模型检测中寻找反例的问题,提出一种在多核计算机上实现的线程级并行生成类测试用例的方法。实验结果表明,该方法可以减少测试生成所需的状态数和运行时间,算法可使用的处理核心越多、测试生成所需的时间越少。

关键词：类测试用例生成多线程多核计算机并行处理

在线全文

学校读者我要写书评

暂无评论

类测试用例的设计与研究

微计算机信息 2008年第3期24卷 257-258,280页

作者：熊英湖北工业大学计算机学院湖北430068

合理地设计一个有限的测试用例集合是软件测试的关键,介绍了面向对象的软件测试用例设计的基本方法,并以堆栈类为例,详细讨论了基于前置条件和后置条件创建测试用例和基于UML状态图创建测试用例的方法,实践证明是可行的方案。

关键词：类测试测试用例状态转换图面向对象

在线全文

学校读者我要写书评

暂无评论

类测试中遗传算法与方法依赖图的应用研究

类测试中遗传算法与方法依赖图的应用研究

作者：周瑞杰南京航空航天大学

学位级别：硕士

随着面向对象软件开发技术的快速发展,面向对象程序设计的软件测试逐渐成为当前测试研究的主要内容。本文对传统的软件测试方法和遗传算法在测试中的应用做了详细的分析研究,在此基础上,深入探讨了方法依赖图和遗传算法在类测试中的应... 详细信息

随着面向对象软件开发技术的快速发展,面向对象程序设计的软件测试逐渐成为当前测试研究的主要内容。本文对传统的软件测试方法和遗传算法在测试中的应用做了详细的分析研究,在此基础上,深入探讨了方法依赖图和遗传算法在类测试中的应用。类不同于基本数据类型,遗传算法中传统的编码方式已不再适用于对类进行编码。本文给出了一种用于保证类方法之间调用合理性的编码规则,该规则在表示为种群个体时采用方法调用树形式,它能够对方法之间调用的合理性进行判定。类具有多继承性、多态性、封装性等特点,本文针对类所特有的性质进行深入探讨研究,主要包括以下几个方面。现有的方法依赖图并不能够对类的多继承性特点进行表达,本文对方法依赖图进行了扩展,使得能够表示具有继承关系的类之间的联系,并给出了指导此种表示方法时的测试用例生成准则。类的实例具有多个不同状态,为了达到对实例所有状态的测试覆盖,使用了基于状态迁移图表示的对象状态模型进行测试,并给出了构造对象状态模型的方法步骤。方法接收的参数为对象类,且子类实例也可以作为参数传递给方法,在方法依赖图需要对此种情况进行表示,本文给出了这种情况的测试用例生成准则,用于指导测试用例生成。在利用遗传算法生成测试用例时采用了扩展的海明距离法作为评估方法,为了防止种群过早的陷入局部最优解,引入了“缩放法”对评估值进行处理,使得“早熟”问题得到了很好的解决。本文的最后一部分实现了一个针对C++语言所书写的类的测试用例自动生成原型工具,并把所产生的测试序列转换为C++代码片段,再利用单元测试框架CppUnit执行,以验证用例执行结果与预期结果的一致性,实验证明该方法是有效可行的。

关键词：面向对象软件测试遗传算法测试用例类测试方法依赖图