本文旨在根据陈火炎教授提出的具有形式化基础的通过属性变换与方法变换生成面向对象类级变异体的概念和思想,将变异分析与变异测试方法运用到面向对象的类级测试中。本文首先介绍变异测试理论、思想和充分性度量以及变异分析方法与面向对象测试结合的研究进展与实现难点。然后,介绍陈火炎教授提出的新型类级变异体概念和基本思想。在此基础上,介绍本文作者完成的算法实现方法及其相应的测试充分性研究。该算法目标是针对面向对象类程序中简单易犯的程序错误生成类级变异体。其基本思想是先通过将给定的类内的属性和方法进行类别划分,接着扫描给定的类的程序体,每遇到某一个属性(或方法)的一处出现,就用该属性(或方法)同类别的另一个属性(或方法)替换之,从而得到给定类的该属性(或方法)的一个变异体。这样生成的变异体,语法上就没问题。然后对已知的测试用例分别运行这组变异体和源程序,通过结果比较记录杀死变异体个数作为用例测试充分性的量度,同时分析测试覆盖率及方法有效性。本文的主要工作是构造一个面向对象类级变异测试工具来自动生成已知类的变异体程序,然后基于生成的变异体进行相应的测试充分性分析。