Contract是一种形式化规格说明语言,用于说明相互协作完成某种功能的一组对象间的行为依赖关系。在面向对象软件开发中可用于作为系统的簇级规格说明,说明系统中类间的交互。它显式地说明了对象之间的消息传递,方便于用来进行面向对象的软件测试。一种系统性的面向对象软件测试方法——TACCLE,就基于它作为簇级规格说明,进行面向对象软件的簇级测试。但作为形式化规格说明,它要求使用者(包括系统分析员、设计员和测试员)的数学训练较好,因此在产业界较难普及。UML是当前主流的建模语言,比较直观,方便理解,正在被越来越多的开发人员掌握。UML交互图(包括Sequence图和collaboration图)说明了系统中的对象之间的交互,通过从UML交互图到Contract规格说明的转换,就可以使用TACCLE方法对以UML为规格说明的软件系统进行测试。 本文给出了从UML交互图到Contract规格说明的转换算法。考虑到目前各UML工具都没有完全实现UML所有语法,本文也同时给出了在UML的普遍实现形式下的转换算法,以及在此实现形式下,用XML表示的UML模型的交互图到Contract规格说明的转换算法和这个算法的原型实现及实例验证。