%0 Journal Article
%T Mining Invocation Specifications for API Libraries<br>软件库调用规约挖掘
%A ZHONG Hao
%A ZHANG Lu
%A MEI Hong
%A <br>钟浩
%A 张路
%A 梅宏
%J 软件学报
%D 2011
%I 
%X 软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供已编写好的调用规约.为此,研究者提出了各种自动挖掘此种规约的方法.阐述了其中代表性的方法及其最新的研究进展,并在此基础上探讨了将来的研究方向.
%K mining specifications
%K API library<br>挖掘规约
%K 软件库
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=54D05A481625BE34AFFBC91A54425E1F&yid=9377ED8094509821&vid=BC12EA701C895178&iid=38B194292C032A66&sid=A53D7AA35F9929AF&eid=1FF3CD54EFC256A1&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=53