软件库调用规约挖掘

• 作者: 张路 梅宏 钟浩
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 挖掘规约 软件库
• 年，卷（期）: 2011,（3）
• 页码范围: 408-416
• 分类号: TP311
• 字数: 7126字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03931

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟浩		1	5	1.0	1.0