Mining Effective Temporal Specifications from Heterogeneous API Data  

作　　者：吴倩 梁广泰 王千祥 梅宏 

机构地区：[1]Institute of Software,School of Electronics Engineering and Computer Science,Peking University [2]CCF [3]ACM [4]IEEE

出　　处：《Journal of Computer Science & Technology》2011年第6期1061-1075,共15页计算机科学技术学报（英文版）

基　　金：supported by the National Basic Research 973 Program of China under Grant No.2009CB320703;the Science Fund for Creative Research Groups of China under Grant No.60821003

摘　　要：Temporal specifications for Application Programming Interfaces （APIs） serve as an important basis for many defect detection tools. As these specifications are often not well documented, various approaches have been proposed to automatically mine specifications typically from API library source code or from API client programs. However, the library-based approaches take substantial computational resources and produce rather limited useful specifications, while the client-based approaches suffer from high false positive rates. To address the issues of existing approaches, we propose a novel specification mining approach, called MineHEAD, which exploits heterogeneous API data, including information from API client programs as well as API library source code and comments, to produce effective specifications for defect detection with low cost. In particular, MineHEAD first applies client-based specification mining to produce a collection of candidate specifications, and then exploits the related library source code and comments to identify and refine the real specifications from the candidates. Our evaluation results on nine open source projects show that MineHEAD produces effective specifications with average precision of 97.2%.Temporal specifications for Application Programming Interfaces （APIs） serve as an important basis for many defect detection tools. As these specifications are often not well documented, various approaches have been proposed to automatically mine specifications typically from API library source code or from API client programs. However, the library-based approaches take substantial computational resources and produce rather limited useful specifications, while the client-based approaches suffer from high false positive rates. To address the issues of existing approaches, we propose a novel specification mining approach, called MineHEAD, which exploits heterogeneous API data, including information from API client programs as well as API library source code and comments, to produce effective specifications for defect detection with low cost. In particular, MineHEAD first applies client-based specification mining to produce a collection of candidate specifications, and then exploits the related library source code and comments to identify and refine the real specifications from the candidates. Our evaluation results on nine open source projects show that MineHEAD produces effective specifications with average precision of 97.2%.

关 键 词：specification mining specification refinement defect detection comment analysis 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论] S661.2[自动化与计算机技术—计算机科学与技术]