计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2014年
3期
551-567
,共17页
软件开发问题框架%需求建模%需求分析%软件密集型系统
軟件開髮問題框架%需求建模%需求分析%軟件密集型繫統
연건개발문제광가%수구건모%수구분석%연건밀집형계통
problem frames%requirement modeling%requirement analysis%software-intensive system
软件密集型系统的增量需求是在原有需求基础之上,以增量、迭代的方式提出的新需求.在增量需求分析及求解过程中,如何在复用现有解决方案的基础上诱导出增量需求的解决方案,如何验证增量需求解决方案的正确性,如何评估增量需求解决方案的潜在风险,就成了必须解决的重要问题.文中把增量需求解决方案的求解问题视为一个典型的软件开发问题——增量需求问题,并据此提出一种基于软件开发问题框架的增量需求问题求解方法.该方法采用增量、迭代的方式求解增量需求的解决方案,把解决方案的验证问题转换成可满足问题进行求解,同时复用特定关注点知识评估解决方案的潜在风险以支持后续的设计决策.文中通过一个基于科技助老系统的案例研究,展示了应用该方法求解增量需求解决方案的过程,验证了方法的有效性.
軟件密集型繫統的增量需求是在原有需求基礎之上,以增量、迭代的方式提齣的新需求.在增量需求分析及求解過程中,如何在複用現有解決方案的基礎上誘導齣增量需求的解決方案,如何驗證增量需求解決方案的正確性,如何評估增量需求解決方案的潛在風險,就成瞭必鬚解決的重要問題.文中把增量需求解決方案的求解問題視為一箇典型的軟件開髮問題——增量需求問題,併據此提齣一種基于軟件開髮問題框架的增量需求問題求解方法.該方法採用增量、迭代的方式求解增量需求的解決方案,把解決方案的驗證問題轉換成可滿足問題進行求解,同時複用特定關註點知識評估解決方案的潛在風險以支持後續的設計決策.文中通過一箇基于科技助老繫統的案例研究,展示瞭應用該方法求解增量需求解決方案的過程,驗證瞭方法的有效性.
연건밀집형계통적증량수구시재원유수구기출지상,이증량、질대적방식제출적신수구.재증량수구분석급구해과정중,여하재복용현유해결방안적기출상유도출증량수구적해결방안,여하험증증량수구해결방안적정학성,여하평고증량수구해결방안적잠재풍험,취성료필수해결적중요문제.문중파증량수구해결방안적구해문제시위일개전형적연건개발문제——증량수구문제,병거차제출일충기우연건개발문제광가적증량수구문제구해방법.해방법채용증량、질대적방식구해증량수구적해결방안,파해결방안적험증문제전환성가만족문제진행구해,동시복용특정관주점지식평고해결방안적잠재풍험이지지후속적설계결책.문중통과일개기우과기조로계통적안례연구,전시료응용해방법구해증량수구해결방안적과정,험증료방법적유효성.
