软件库调用规约挖掘

摘要：

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.

关键词：挖掘规约、软件库

所属期刊栏目：22

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金90718042,90718016;国家重点基础研究发展计划9732007CB310802,2009CB320703;国家高技术研究发展计划8632007AA010303,2007AA010301

在线出版日期：2011-05-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：408-416