快速原型的方法是当前比较受欢迎的一种软件开发方法，它使开发更加迅速、成本合理。本文在统一建模语言(UML)的基础上，提出一种面向对象的软件快速原型的方法，及其支持这种软件快速原型方法的工具—AutoPA(automatic prototype generation and analysis)。 AutoPA是一个基于形式化方法的UML工具，它用于软件快速原型的自动生成和分析，有着坚实、可靠的理论基础。本文将主要介绍AutoPA1.0版本的设计与开发，它将实现从UML系统需求模型到与其对应的一个可执行的软件快速原型的转换。一个UML系统需求模型是由一个用况模型和一个概念类模型构成，可以用UML中的用况图和类图来描述。AutoPA1.0所接受的UML需求模型是，通过MagicDraw9.5来描述的，输出在一个符合XMI规范的XML文件上。对于在用况模型中的每个用况，分别用一对基于概念类模型的前置条件和后置条件描述，或者用一个同样基于概念模型的活动图描述。对于用前置条件和后置条件描述的用况，AutoPA1.0将用一系列算法产生一个活动图，使之满足前置和后置条件所要求的用况功能。通过生成的UML需求模型，AutoPA1.0将生成一个UML需求模型对应的软件快速原型程序的Java源代码，运行生成的代码将可以观察每个用况的运行。一旦获得了系统需求模型的快速原型，就可以通过运行软件快速原型，来检查每个用况运行的前置条件和后置条件，以及系统不变式来验证需求是否正确，这将有助于用户与系统设计者的沟通和理解。 在文章的最后将给出一个图书馆的例子，通过建立一个的图书馆系统的UML需求模型，介绍如何用AutoPA1.0生成图书馆系统的快速原型，及其运行情况。