摘要： 软件工程中的需求具有抽象性和复杂性，未经验证的需求会给项目带来较大需求风险。该文提出一种基于有向生成图的需求验证方法，论述UML对话图建模和模型映射规则、任务分解策略和形式化描述，以及需求验证过程涉及的转化模型和算法。该方法有效克服了需求验证过程中的复杂性和经验操作。从理论上分析该方法的可用性，通过实例验证了该方法的有效性。

关键词: 需求验证, 有向生成图, 对话图模型

Abstract: Requirements are abstract and complex during software engineering. Requirements without verification will bring larger risk for the success of project. A method of requirements verification based on directed spanning graph is proposed, and UML dialog map and the mapping strategies of dialog map model are discussed. The process of task division and formal description are analyzed. Some other translation model and algorithms of the verification process are obtained. The validity is tested by the method analyses and a real application.

Key words: requirements verification, directed spanning graph, dialog map model

中图分类号: 

• TP311