UML已经是软件建模方面的标准语言，UML状态图描述系统在其生命周期中的动态行为。
实例证明，该方法可以从UML状态图得出软件的测试路径。
然后就可以使用序列图、流程图、状态图或者基于代码的测试来测试规格。
基于UML状态图的工作流时序约束一致性研究
UML状态图测试充分性准则的公理化评估