软件库调用规约挖掘

CORC > 北京大学 > 信息科学技术学院

	软件库调用规约挖掘
	钟浩 ; 张路 ; 梅宏
刊名	软件学报
	2011
关键词	挖掘规约软件库
DOI	10.3724/SP.J.1001.2011.03931
英文摘要	软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.; EI; 中文核心期刊要目总览(PKU); 中国科技核心期刊(ISTIC); 中国科学引文数据库(CSCD); 0; 03; 408-416; 22
语种	中文
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/254577]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	钟浩,张路,梅宏. 软件库调用规约挖掘[J]. 软件学报,2011.
APA	钟浩,张路,&梅宏.(2011).软件库调用规约挖掘.软件学报.
MLA	钟浩,et al."软件库调用规约挖掘".软件学报 (2011).