Early filtering of polluting method calls for mining temporal specifications | |
Zhong, Hao ; Zhang, Lu ; Mei, Hong | |
2008 | |
英文摘要 | Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high cost of writing them manually or being out-ofdate due to the rapid evolution of software. As API clients contain many usages of libraries including temporal rules, various approaches have been proposed to automatically mine temporal specifications from these clients. Typically, only a small part of the mined specifications are real specifications because the generated traces from clients are quite large and polluted. In this paper, we analyze four types of unwanted method calls that are not useful for mining, and we refer to these method calls as polluting method calls. As these method calls are not useful for mining, it is desirable to filter out them as early as possible. To address the problem, we develop a tool, named Mining Accurate Temporal Specifications (MATS), that filters out most of the preceding polluting method calls before traces are generated. Our experiments show that with these filtering techniques, the specifications mined byMATS are more accurate than without these filtering techniques. Our experiments also show the detailed impacts of MATS's filtering techniques. The results provide further insight on how and why MATS improves existing specification mining.; EI; 9-16 |
语种 | 英语 |
出处 | 15th Asia-Pacific Software Engineering Conference, APSEC 2008 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/461597] ![]() |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Zhong, Hao,Zhang, Lu,Mei, Hong. Early filtering of polluting method calls for mining temporal specifications. 2008-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论