可信软件需求获取与分析研究综述及展望倡.doc

《可信软件需求获取与分析研究综述及展望倡.doc》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、第27卷第10期2010年10月ApplicationResearchofComputersVoI・27No・10可信软件需求获取与分析研究综述及展望罗新星，朱名勋，唐中君(中南大学商学院，长沙410083)摘要：需求获取与分析是可信软件领域的研究热点，近年來得到了广泛的关注和快速的发展。首先分析了屮小型软件系统屮需求获取方法与分析方法的国内外研究现状，接若对新近出现的可信软件屮需求获取与分析方法进行了分析和综述；最后对需求获取与分析方法的研究动态进行了总结与展望。关键词：需求获取；需求分析；可信软件；元需求中图分类号：TP311文献标志码：A文章编

2、号：1001唱3695(2010)10唱3617唱053Literaturereviewontrustworthysoftwareacquisitionandana1ysiAbstract：Inrecentyears,therehavebeenextensivestudiesandrapidprogressesinrequirementacquisitionandana1ys1sticandforeignRAAmethodfirstly,theninparticu1artana1yzedtherequirementacquisitionandanal

3、ysismethodwhichwassKeywords：requirementacquisition；requiremeent0引言近儿年，发达国家的政府纽织、跨国公司、大梨科研机构逐步认识到可信软件研究的巨大价值和应用前景。美国耘国家软件发展战略(20062015)枠将开发髙可信软件放在首位。美国政府的网络与信息技术研究发展计划(NITRD)的八个重点领域中有四个与可信软件密切相关。NITRD在高可信软隼盘熬领域2006年投入约1.34亿美元，在2007算1.45亿美元。在中国，国家自然科学基金委员会2007年底启动可信软件基础研究重大研究计划,周

4、期6年，计划经费I]共识,且诸多领域存在差异，但一般认为可信是指一个实体在实现既定H标的过程中，行为及结果町以预期，它强调冃标打tn]的可信是指软件系统的动态行为及其结呆总是符合人们的预期，在受到干扰时仍能提供连续的服务。这甲的干扰包括操作错误、环境影响、外部攻击等。典型的可信软件有航空航天、金融、军事等领域的信息系统。山于可信软件所涉组织和人员越來越多，需求越來越复杂，要满足的需求项也越來越多、越來越复杂，参与人员处于动该包括可靠性(reliability).(safety)>保密安金性危性、可维护性也是可信属性的了属性。尽管可信性尚未形成态分散状

5、态Kl情形.需求获取与分析（requirementacquisition1畅丨需求获取方法研究现状、需求获取方法可分为物理法和模型法。物理法是指系统andanalysis,RAA）戏得越来眉困难，一方啲使得RAA成为需ts求管理的核心，另一方血也使需矗;理血临前所未有的挑战。nt9n.hhQC匚[2爲.信息系统项H的调查结果表明，需求错误是引起软件失败的故主要原因。在所有错误中，需求错误占41%,排第一，而排第二的逻辑设计错误只占28%。目前，越來越多的方法，如本体理论、形式化方法、数据挖掘技术和其他的新技术被应用到RAA领域中。当前对需求获取方法及

6、其分析技术已有大量的研究，因此有必要对当前的研究现状进行深入分析。1屮小型系统RAA研究现状收稿日期：2010唱03唱21；修回日期：2010唱04唱29呈金委创新群体资助出了一种参与各方在软件全生命周期内的谈判交流方法；R01归[7]项活动的输入和输出以及需要的技术。这些方法都是针对传统的封闭静态软件开发环境提出的，较难适用于升放、动态、多变和人员分散的互联网环境，难以有效地应用于可信软件的需求获収。模型法是运用有关模型，从而促进系统分析员与系统所涉各方之间信息交流的方法。模型法主要有下述三类：基金项目:国家自然科学基金资助项目（90818014

7、）；国家自然科学项目（70921001/0I04）；中南大学冊士研究生创新基金资助项目（071601023〉作曲简齐丄1涌显969J6昭$S.J履挾・0廉弟・・圭耍研究方向为管理信息系统（star@mail.csu・cdu・cn）；朱名勋（1975咽），男•湖南衡阳人,博士,主要研究方向为可信软件;唐中君（1969唱），男,湖南武冈人，副教授,博士.LUOXin®ing,ZHUMing^un,TANGZhong^un*RAA),which；$oneofthehotspotsintrcitworthyjoft»arefiled.Thitpiperana

8、lyzedtheresearchpresent(ituationofdome调fortrc$totthy$o