该文主要对面向对象软件中类级别的测试用例自动生成方法以及类级别的回归测试用例选取问题进行研究.作者采用基于规约的测试用例生成的思想,通过在面向对象软件开发过程中产生的分析设计规约,特别是类的行为模型,作为测试用例生成的基础.UML状态图是一个语义丰富的动态行为的描述模型,但其结构较为复杂,其存在层次嵌套结构以及并发结构.要研究如何从中生成测试用例,我们采用自底向上的思路,首先我们研究一个为简单的行为描述模型-有限状态机,建立从有限状态生成测试用例的方法;然后我们再研究一个比有限状态稍微复杂一些的模型-扩展有限状态机,对基于有限状态机模型产生测试用例的方法进行了进一步的扩展,建立从扩展有限状态机中生成测试用例的方法;UML的状态图在扩展有限状态机的基础上增加了层次嵌套以及并发的结构,在前面两个部分研究的基础上,我们对UML状态图进行平坦化处理,然后使用扩展有限状态机的测试用例生成方法生成所需的测试用例.在该文中我们提出对回归测试问题采取分层的策略,即对类的回归测试问题和集成测试中的回归测试问题,我们采取不同的策略.并重点讨论了类中存在的各种依赖关系,特别是指出了对类内存在的数据依赖进行精确计算的方法,从而能够建立起更加完整和精确的类内依赖图,为软件改动影响范围的确定打下良好的基础.此外,根据以上的研究成果,该文设计并实现了一个测试辅助工具的原型系统.