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

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

摘要：针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。

摘要：在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。

摘要：面向对象软件的基本测试单元是类，文中提出了用一种基于代码的测试技术——数据流测试来全面地测试类。对类测试分为３级：单个成员函数的测试；公有成员函数的测试；公有成员函数间接口的测试。大多数现有的数据流测试可以对前两级进行测试，作者利用改进的数据流测试来测试第３级，通过构造类控制流图来计算数据流信息。这种技术即使在无规格说明的情况下也可以决定类中成员函数间消息传递的次序，根据这种次序来测试类。

摘要：类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。

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

摘要：随着2010年高考报名工作的开展，一年一度的艺术类高考专业测试工作也将拉开帷幕。根据山西省招生考试管理中心的安排，2010年我省艺术类专业测试将从1月8日开始一直持续到3月底结束。笔者就艺术类考生专业测试中院校选择和志愿报考中容易出现的误区和问题，

摘要：介绍了面向对象的软件测试的基本方法,分析了面向对象程序设计对测试的影响,利用VisualUnit工具结合具体实例进行类测试,得到相关测试结果。

摘要：针对一般的类状态测试中存在的不足之处,引入了“类阀”的模型。在类阀模型的基础上,提出了一种新的类测试方法。该方法以类状态图为依据,以类阀为主要观察对象,结合类方法测试去同步地实施类测试。由于能与类方法测试有机的结合,该方法不用专门地去另外设计测试用例。