随着计算机应用的日益普及和深化,计算机软件的数量急剧膨胀,软件规模十分庞大。然而,软件的在开发和维护过程中的一些模糊或错误做法和概念,致使很多项目不幸夭折,其中很多是由于需求不明确或需求有误造成的。需求分析是一种软件工程活动,在软件开发过程中起着极其重要的作用,必须采用有效的手段和需求分析方法来进行需求调研及需求验证。作为广泛应用的标准系统建模语言,UML支持软件建模全过程,并且可以描述所有RUP模型。但是,在需求建模中,它没有提供系统各功能执行序列及与外部系统交互的描述。同时也没有对需求验证提供足够的信息。针对面向对象和需求验证技术现存的问题,本文利用Fusion生命周期模型扩展用例图,提出用例的动态模型,使其可以描述用例间所有可能的关系;利用操作模型扩展活动图,使其可以表示数据存储、外界及与系统的交互以及所涉及的数据。同时对扩展后的用例图和活动图进行形式化表示,利用机器识别自动生成测试序列。并通过一定的算法对测试序列进行测试用例模型概念上的验证。从而可以有效验证需求并为系统测试作出准备。