一种基于问题框架的软件密集型系统增量需求问题.PDF

第卷第期 计 算 机 学 报 ３７ ３ 　 　　　　　　　　 Ｖｏｌ．３７Ｎｏ．３ 年月 ２０１４３ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｍａｒ．２０１４ 　 一种基于问题框架的软件密集型系统 增量需求问题求解方法 ），） ） ） １２ １ １ 董瑞志 彭鑫 赵文耘 　 　 ） １（复旦大学计算机科学技术学院上海 ） ２０１２０３ 　 　 ） ２（常熟理工学院计算机科学与工程学院江苏常熟 ） ２１５５００ 　 　 摘要软件密集型系统的增量需求是在原有需求基础之上，以增量、迭代的方式提出的新需求在增量需求分析 ． 　　 ， ， 及求解过程中如何在复用现有解决方案的基础上诱导出增量需求的解决方案如何验证增量需求解决方案的正 确性，如何评估增量需求解决方案的潜在风险，就成了必须解决的重要问题文中把增量需求解决方案的求解问题 ． 视为一个典型的软件开发问题———增量需求问题，并据此提出一种基于软件开发问题框架的增量需求问题求解方 、 ， ， 法该方法采用增量迭代的方式求解增量需求的解决方案把解决方案的验证问题转换成可满足问题进行求解 ． 同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策文中通过一个基于科技助老系统的案 ． 例研究展示了应用该方法求解增量需求解决方案的过程验证了方法的有效性 ， ， ． 关键词 ； ； ； 软件开发问题框架需求建模需求分析软件密集型系统 　 中图法分类号 号 ／ ＴＰ３１１ 犇犗犐 １０．３７２４ＳＰ．Ｊ．１０１６．２０１４．００５５１ 　　　 　 犘狉狅犫犾犲犿犉狉犪犿犲狊犅犪狊犲犱犃狉狅犪犮犺犳狅狉犉犻狀犱犻狀犛狅犾狌狋犻狅狀狊狅犳 狆狆 犵 犐狀犮狉犲犿犲狀狋犪犾犚犲狌犻狉犲犿犲狀狋狊狑犻狋犺犻狀犛狅犳狋狑犪