指称域重叠的检测.doc

关于软件需求中的不一致性管理( 朱雪峰1,2+, 金 芝1,3 1(中国科学院 计算技术研究所,北京 100080) 2(中国科学院 研究生院,北京 100049) 3(中国科学院 数学与系统科学研究院,北京 100080) Managing the Inconsistency of Software Requirements ZHU Xue-Feng1,2+, JIN Zhi1,3 1(Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100080, China) 2(Graduate School, The Chinese Academy of Sciences, Beijing 100080, China) 3(Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080, China) + Corresponding author: Phn: +86-10ext 5668, E-mail: zhuxuefeng@, http://knowledge_ Received 2004-10-10; Accepted 2005-02-03 Zhu XF, Jin Z. Managing the inconsistency of software requirements. Journal of Software, 2005,16(7): 1221?1231. DOI: 10.1360/jos161221 Abstract: Analyzing and handling the inconsistency in requirements is critical to the development of complex software systems. How to solve this problem directly influences the quality of requirements specification, as well as the final software production. Based on a common-recognized management framework of requirements inconsistency, this paper summarizes representative researches on this topic. The main aim is to get a comprehensive understanding of the current techniques and methods of inconsistency management. Finally, the paper also identifies some issues which are still open to further research. Key words: requirements engineering; requirements specification; management of requirements inconsistency 摘 要: 复杂软件系统开发的一个关键问题是分析和处理可能存在的不一致的需求描述.这个问题解决得好坏直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的一个不一致需求管理框架的基础上,就需求不一致性管理方面的有代表性的工作,进行了较为系统的分析,以期建立对当前需求工程中,关于不一致的需求管理方法和技术的全面认识.最后,对需求不一致性管理方面的研究进行了展望. 关键词: 需求工程;需求描述;需求不一致性的管理 中图法分类号: TP18　　　文献标识码: A 在人类社会中,知识和信息的不一致性是普遍存在的.而软件系统的需求来自于人类对现实社会的知识和期望[1],从有可能不一致的知识或期望中归结出来的软件需求也不可避免地存在不一致的可能性.不一致需求是普遍存在的这个观点目前已经得到广泛的共识[2?4].另一方面,人类社会允许矛盾的知识和信息以不同的形式出现在不同的人、甚至同一个人的身上,而不需要事先进行特别的处理,一般都是在矛盾发生时才予以考虑.但软件系统就其本质而言是一个形式系统,一旦确定后,机器只会照章办事,因此必须事先确保软件系统的需求描述是完备、确定和无矛盾的,否则会导致软件系统运行时错误,直接影响系统的安全性和可靠性.如何管理需求中的不一致性,已