一个支持软件需求验证的过程模型研究  

Research of process model supporting for software requirements verification

作　　者：荣辉桂[1] 李玮[1] 郭卫锋[1] 

机构地区：[1]湖南大学软件学院

出　　处：《计算机应用》2008年第5期1287-1290,1294,共5页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60673093)

摘　　要：需求验证是软件需求阶段的一个重要环节,未经验证的需求给项目成功带来较大的需求风险。在前期研究的基础上,从需求验证的基本原理和可操作性出发,提出一个支持需求验证的过程模型(RVPM),进行形式化描述,并论述了需求验证过程的几个关键过程和策略。结合实例,分析了如何应用该模型来指导需求验证过程。理论和实例分析表明:该模型有效地克服了需求验证过程的复杂性和经验操作,有效降低项目需求风险。Requirements verification is an important procedure for software requirements, and requirements having not being verified will bring larger risk for the success of project. A Requirements Verification Process Model （RVPM） was proposed from the principles and operability of requirements verification, with reference to the former research of requirements analysis. Several key procedures and strategies of requirements verification were provided, and the corresponding formal description was given. Applying this model to guiding requirements verification was analyzed by a real example. Theoretical and experimental analyses show that this model can effectively overcome the complexity and experiential operation of requirements verification process and greatly reduce the risk of project requirements.

关 键 词：需求验证 活动序列 任务分解 对话图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]