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

摘要

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