NDLI: Iterative mining of resource-releasing specifications

Content Provider	IEEE Xplore Digital Library
Author	Qian Wu Guangtai Liang Qianxiang Wang Tao Xie Hong Mei
Copyright Year	2011
Description	Author affiliation: Institute of Software, School of Electronics Engineering and Computer Science, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Peking University, Beijing, 100871, China (Qian Wu; Guangtai Liang; Qianxiang Wang; Hong Mei) \|\| Department of Computer Science, North Carolina State University, Raleigh, 27695, USA (Tao Xie)
Abstract	Software systems commonly use resources such as network connections or external file handles. Once finish using the resources, the software systems must release these resources by explicitly calling specific resource-releasing API methods. Failing to release resources properly could result in resource leaks or even outright system failures. Existing verification techniques could analyze software systems to detect defects related to failing to release resources. However, these techniques require resource-releasing specifications for specifying which API method acquires/releases certain resources, and such specifications are not well documented in practice, due to the large amount of manual effort required to document them. To address this issue, we propose an iterative mining approach, called RRFinder, to automatically mining resource-releasing specifications for API libraries in the form of (resource-acquiring, resource-releasing) API method pairs. RRFinder first identifies resource-releasing API methods, for which RRFinder then identifies the corresponding resource-acquiring API methods. To identify resource-releasing API methods, RRFinder performs an iterative process including three steps: model-based prediction, call-graph-based propagation, and class-hierarchy-based propagation. From heterogeneous information (e.g., source code, natural language), the model-based prediction employs a classification model to predict the likelihood that an API method is a resource-releasing method. The call-graph-based and class-hierarchy-based propagation propagates the likelihood information across methods. We evaluated RRFinder on eight open source libraries, and the results show that RRFinder achieved an average recall of 94.0% with precision of 86.6% in mining resource-releasing specifications, and the mined specifications are useful in detecting resource leak defects.
Starting Page	233
Ending Page	242
File Size	588818
Page Count	10
File Format	PDF
ISBN	9781457716386
e-ISBN	9781457716393
DOI	10.1109/ASE.2011.6100058
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2011-11-06
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Libraries Predictive models Object oriented modeling Java Resource management Feature extraction Iterative methods specification mining resource-releasing specification resource leak detection
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Iterative mining of resource-releasing specifications.

Object-oriented modeling and synthesis of SystemC specifications

A primer on object-oriented measurement

Iterative mining of resource-releasing specifications

A Domain-Oriented, Java Specification Language

Leveraging specifications of subcomponents to mine precise specifications of composite components

Object oriented reuse through algebraic specifications

Java based object oriented hardware specification and synthesis

Learning Resource Management Specifications in Smartphones

Iterative mining of resource-releasing specifications

Similar Documents

Iterative mining of resource-releasing specifications.

Object-oriented modeling and synthesis of SystemC specifications

A primer on object-oriented measurement

Iterative mining of resource-releasing specifications

A Domain-Oriented, Java Specification Language

Leveraging specifications of subcomponents to mine precise specifications of composite components

Object oriented reuse through algebraic specifications

Java based object oriented hardware specification and synthesis

Learning Resource Management Specifications in Smartphones

Iterative mining of resource-releasing specifications