-
题名面向缺陷分析的软件库挖掘方法综述
被引量：11
- 1
-
-
作者
刘英博
王建民
-
机构
清华大学计算机科学与技术系
清华大学软件学院
-
出处
《计算机科学》
CSCD
北大核心
2007年第9期1-4,11,共5页
-
基金
973计划资助项目(2002CB312006)
国家自然科学基金(60373011)
-
文摘
缺陷分析是软件工程领域内一个重要的课题,软件开发过程中的历史信息(缺陷记录、各个版本的源代码等)为缺陷分析这一课题提供了很有价值的经验数据。如何有效地利用这些数据进行缺陷分析,是软件库挖掘研究所面临的挑战。本文从统计方法和程序分析方法两个主要方面介绍了软件开发的历史信息是如何被用来进行缺陷分析的。
-
关键词
软件库挖掘
软件缺陷分析
软件工程
-
Keywords
Mining software repositories, Software defect analysis, Software engineering
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件库调用规约挖掘
被引量：4
- 2
-
-
作者
钟浩
张路
梅宏
-
机构
中国科学院软件研究所互联网软件技术实验室
北京大学信息科学技术学院软件研究所
高可信软件技术教育部重点实验室(北京大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第3期408-416,共9页
-
基金
国家自然科学基金(90718042
90718016)
+3 种基金
国家重点基础研究发展计划(973)(2007CB310802
2009CB320703)
国家高技术研究发展计划(863)(2007AA010303
2007AA010301)
-
文摘
软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.
-
关键词
挖掘规约
软件库钟浩等
软件库调用规约挖掘
-
Keywords
mining specifications
API library
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
