摘要:
随着计算机技术的不断发展,软件的规模和复杂度都有了很大的提高.软件失效已成为系统瘫痪的主要原因.因此,提高软件质量及可靠性已成为当前软件工程领域的重要任务.
软件测试是软件工程中的一个阶段,是保证软件质量的一个重要手段.面向对象软件测试技术的研究是面向对象开发方法不可缺少的环节,但目前的研究状况与面向对象的分析,设计方法以及程序设计语言的研究相比稍显薄弱.
本文首先介绍了传统的结构化软件测试的方法,以求从总体上认识软件测试.然后重点介绍了面向对象软件测试的技术,接下来着重介绍了基于状态的类测试技术的特点以及其局限性;然后为了解决其局限性引入了一种本人称为ClassPower的测试模型.ClassPower用来表达类的各个属性和方法之间的关系,它能够检查在某个状态下所有的边的状态,看看那些不应该被调用的边是否有被调用的可能性.如果有被调用的可能性,就说明方法的实现上有漏洞.ClassPower测试模型主要以类状态测试为依据,辅以方法序列规范和状态转移矩阵,最终达到测试上述目的的结果.最后作者将本文提出的测试方法,应用到一个实际的工程项目当中,即应用到工作流引擎项目中,来对项目中的某些类加以测试,讲述了具体的测试实施过程.
展开