软件测试在软件开发过程中是一个极其重要的环节,但是软件测试本身却是一个过程复杂、耗时耗力且具有较高重复性的工作。为了提高软件测试的效率人们开发了多种适用于软件生命周期的自动化测试工具。测试用例是软件测试的基础,测试用例对于软件测试的质量和效率有很重要的影响,因此测试用例的自动生成和测试用例集的精简也就成了软件自动化测试的一个重要研究方向。随着面向对象软件开发技术的广泛应用,面向对象所特有的一些特性诸如：多态性、继承性、封装性等等,对于软件测试提出了新的要求。本文介绍了当前国内外软件测试的研究现状,简要分析了面向对象的软件开发技术中一些特性对软件测试所产生的影响。详细介绍了目前测试用例的主要生成方法,并对面向对象的测试用例自动生成技术进行了分析。类的测试用例主要包括测试序列和测试数据,本文详细分析了适用于面向对象测试序列生成的基于形式化规格说明的方法和基于状态的方法,以及结构测试数据生成技术,详细介绍了现代启发式算法在测试数据生成上的应用。本文提出以化学抽象机为基础的类测试序列生成方法,通过使用化学抽象机来对类的状态进行描述,以化学抽象机的反应规则来表示状态间的交互行为。选择标号迁移系统作为化学抽象机动态行为的表述工具。最后按照状态测试的覆盖标准生成测试序列。在以上分析的基础上本文以ATM状态图为例介绍了CHAM模型的构建、溶液的反应过程以及LTS的建立,在LTS的基础上按照状态和迁移覆盖准则生成了相应的测试序列。本文所涉及到的算法均在VC环境下实现。