软件测试对软件质量的保证具有非常重要的意义,随着面向对象分析与设计在软件开发中的大规模应用,面向对象软件测试也成为不可忽视的研究领域。传统的测试技术已经不能保证面向对象软件的正确性,但新近研究出的面向对象测试技术大多针对类测试,类簇级测试特别是系统测试方面的研究尚显薄弱。功能测试在面向对象系统测试中占有相当重要的地位,能否扎实顺利地完成功能测试与能否成功地完成系统测试关系极大,而系统测试是系统投入运行前进行的最后一项也是最重要的一项测试,它直接决定了系统能否达到用户的需求,因此面向对象系统功能测试的研究急待深入。本文以面向对象系统测试中的功能测试为研究重点,阐述了面向对象测试的三个层次、UML以及对象约束语言OCL,讨论了面向对象系统功能测试的若干方法。在上述基础之上,本文围绕面向对象系统测试中的功能测试,给出了面向对象系统功能测试用例的生成方法。本文的主要工作包括以下四个部分：(1)给出用案序列的生成方法。针对系统每个用户建立UML用例图,研究了用案序列的生成过程,给出了用案序列的生成算法,并对算法进行了性能分析。详细给出了参数化的用案序列实例化的方法。(2)针对每个需求用案给出其操作序列的生成方法。将每个需求用案划分为若干个场景,用规则表达式描述场景,合并场景的规则表达式得到需求用案的规则表达式,通过展开成积项和处理循环得到需求用案的操作序列,利用OCL描述操作序列的前置条件。(3)系统测试用例及测试预测结果生成方法研究。组合用案序列中各需求用案的操作序列得到变量序列,变量序列指导系统测试用例的生成。利用OCL描述操作序列的后置条件,并以此作为生成系统测试用例测试预测结果的基础。生成决定表。(4)以基金交易系统为例详细说明与验证了本文提出的面向对象系统功能测试用例生成的方法。