随着面向对象软件开发技术的广泛应用，面向对象的测试技术成为研究的热点问题。由于模型在软件设计和开发中得到普遍应用，基于模型的软件测试越来越受到人们的关注。基于模型的软件测试需要模型尽可能形式化，并与实际系统相符合。另外，基于模型的软件测试的一个重要问题是制定模型的测试覆盖准则。 UML具有定义良好、易理解、可视化等特点，不仅是软件开发的重要工具，而且也是指导测试的重要模型。但是，UML作为一种半形式化工具，缺乏形式化的语义，将其应用于软件测试需要对其适度形式化，扩充其可测试性。Petri网作为一种形式化的语言，具有形式化的语义和成熟的分析技术。因此，将UML和Petri网结合应用于基于模型的软件测试具有重要的意义。 本文探讨了将UML模型与Petri网相结合在构建形式化的软件测试模型方面的研究和应用。 首先，基于模型的软件测试要求模型尽可能形式化，但UML只是一种半形式化的描述方法。针对此问题，本文在前人研究的基础上，构建了一个基于UML和着色Petri网的软件测试模型——抽象着色Petri网(ACPN)模型，并论述了由UML模型映射为ACPN模型的方法和策略。 其次，制定模型的测试覆盖准则是基于模型测试的一个重要问题，因此，本文通过对已有的测试覆盖准则的研究，提出适合ACPN模型的测试覆盖准则，并提出测试序列生成方法产生测试序列。 最后，本文对一个具体的实例进行研究，将实例的UML模型映射为ACPN模型，并在该模型基础上产生测试序列，再提取实例系统的测试需求，将测试需求与产生的测试序列进行比较分析。