面向对象编程语言提供了继承、封装、多态的特性,提高了代码的重用性、安全性、维护性,给开发人员带来较大便利的同时,也给软件测试带来了一定的挑战。由于动态绑定和多态性,使得程序可执行的路径急剧增加,方法间、类间的关系变得更加复杂,给传统的类测试方法带了巨大的挑战,面向对象程序具有较高的复用率,更需要严格测试,避免错误的繁衍。针对上述问题,本文提出一种基于路径的类测试方法,围绕该模型本文做了以.下研究:(1)针对类的继承、多态特性引起的类间测试不充分问题,提出一种类成员方法扩展控制流图(Class Member Method Control Flow Graph,CMMCFG)结构。首先通过静态分析构建类的抽象表示模型,然后基于传统的控制流图进行节点替换和扩展,得到适用于面向对象程序的控制流结构。(2)针对由于类动态绑定特性而导致的可执行路径突增问题,提出面向类成员方法路径生成算法。通过将一条完整路径拆分成实例化子路径和基本子路径,采用路径组合的方式精简了路径数量,改善路径爆炸问题。(3)针对面向对象程序复杂路径约束提取和求解的问题,提出了面向路径的测试用例生成算法,采用符号执行技术完成成员方法路径分析,通过抽象内存建模精准提取路径上变量的语义和约束,并引入分支限界算法加快约束求解的速率。实验表明,本文提出的面向对象程序类测试方法有效的提高了类间测试的充分性,在一定程度上减少了不必要的路径选择,并为类成员方法自动生成有效的测试用例。