随着面向对象的软件开发技术的迅速发展和应用,面向对象的测试技术成为研究的热点问题。在面向对象软件中,由于类之间消息传递的复杂性,使得类级测试成为面向对象软件测试的难点。UML具有定义良好、易于表达、功能强大的特性。不仅支持面向对象的分析和设计,而且支持需求分析开始的整个软件开发流程,但是UML作为一种半形式化工具,缺乏动态的语义,因而在对于具体规约的分析上有一定的局限性。而Petri网作为一种形式化的语言,它具有动态语义的特性,有助于规约的分析。同时,基于Petri网的模型具有图示的直观性、易于被用户理解等特性,所以,基于Petri网模型的软件测试更方便用户参与测试过程。尤其是Petri网模型中体现了节点和对象的关联,这样很容易建立事件与对象之间的对应关系,为面向对象软件的类级测试奠定了基础。本文探讨了UML顺序图和状态图与Petri网技术相结合进行软件测试的方法,以及将UML与Petri网技术相结合捕获系统行为的形式化规约的过程。课题研究工作着眼于面向对象的类级测试,研究运用Petri网模型形式化地描述整个系统的行为规约,提出了一种基于该测试模型的测试序列生成方法,最后介绍了基于该模型的软件测试工具的设计与实现,该测试工具提供测试模型的设计、分析和模拟,并提供基于Petri网可达树的测试用例生成。