软件库调用规约挖掘 | |
钟浩 ; 张路 ; 梅宏 | |
刊名 | 软件学报
![]() |
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). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论