基于有向生成图的需求验证方法.pdfVIP

第34卷 第22期 计 算 机 工 程 2008年 l1月 11o1．34 No．22 ComputerEngineering November2008 · 博士论文- 文章编号：1000~3428(2008) — ———— 葡再 ■ 基于有向生成图的需求验证方法 荣辉桂1,2p周 宁 ，‘陆绍飞2p肖 爽 (1．武汉大学信息管理学院，武汉 430072；2．湖南大学软件学院，长沙 410082) 摘 要：软件工程中的需求具有抽象性和复杂性，未经验证的需求会给项目带来较大需求风险。该文提出一种基于有向生成图的需求验证 方法，论述UML对话图建模和模型映射规则、任务分解策略和形式化描述，以及需求验证过程涉及的转化模型和算法。该方法有效克服 了需求验证过程中的复杂性和经验操作。从理论上分析该方法的可用性，通过实例验证了该方法的有效性。 关健词：需求验证；有向生成图；对话图模型