Discovering Program Topoi Via Hierarchical Agglomerative Clustering Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Total Page:16
File Type:pdf, Size:1020Kb
Discovering Program Topoi via Hierarchical Agglomerative Clustering Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar To cite this version: Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar. Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Transactions on Reliability, Institute of Electrical and Electronics Engineers, 2018, 67 (3), pp.758-770. 10.1109/TR.2018.2828135. lirmm-02088786 HAL Id: lirmm-02088786 https://hal-lirmm.ccsd.cnrs.fr/lirmm-02088786 Submitted on 4 Apr 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 1 Discovering Program Topoi via Hierarchical Agglomerative Clustering Carlo Ieva, Member, IEEE, Arnaud Gotlieb Member, IEEE, Souhila Kaci and Nadjib Lazaar Abstract—In long lifespan software-systems, specification docu- OFTWARE systems are developed to satisfy an identified ments can be outdated or even missing. Developing new software S set of user requirements. When the initial version of a sys- releases or checking whether some user requirements are still tem is developed, contractual documents are produced to agree valid becomes challenging in this context. This challenge can be addressed by extracting high-level observable capabilities of on its capabilities. However, when the system evolves over a a system by mining its source code and the available source- long period of time, the initial user requirements can become level documentation. This paper presents FEAT, an approach that obsolete or even disappear. This mainly happens because of automatically extracts topoi, which are summaries of the main evolution of systems, maintenance either corrective or adaptive capabilities of a program, given under the form of collections of and personnel turn-over. When new business cases are consid- code functions along with an index. FEAT acts in two steps: (1) Clustering. By mining the available source code, possibly ered, software engineers face the challenge of recovering the augmented with code-level comments, hierarchical agglomerative main capabilities of a system from existing source code and clustering groups similar code functions. In addition, this process low-level code documentation. Unfortunately, recovering user- gathers an index for each function; (2) Entry-Point Selection. observable capabilities is extremely hard since they are hidden Functions within a cluster are then ranked and presented to behind the complexity of countless implementation details. validation engineers as topoi candidates. Our work focuses on finding a cost-effective solution to We implemented FEAT on top of a general-purpose test management and optimization platform and performed an exper- this challenging problem by automatically extracting topoi, imental study over 15 open-source software projects amounting which can be seen as summaries of the main capabilities to more than 1 MLOC proving that automatically discovering of a program. These topoi are given under the form of topoi is feasible and meaningful on realistic projects. collections of ordered code functions along with a set of words Index Terms—Program Analysis, Software Maintenance, (index) characterizing their purpose. Unlike requirements from Source Code Mining, Clustering, Program Topos . external repositories or documents, which may be outdated, vague or incomplete, topoi extracted from source code are an actual and accurate representation of the capabilities of a NOTATION system. Our notion of topos makes the concept of feature, A Accuracy defined by [1] as “. a feature is a set of logically related fn False negative functional requirements that provides a capability to the user fp False positive and enables the satisfaction of a business objective”, more concrete and suitable for an automated computation. P Precision This paper presents FEAT, an approach that automatically R Recall extracts topoi, which are summaries of the main capabilities tn True negative of a program, given under the form of collections of code tp True positive functions along with an index. FEAT acts in two steps: (1) Clustering. By mining the available source code, possibly augmented with code-level comments, hierarchical agglom- ABBREVIATIONS &ACRONYMS erative clustering groups similar code functions. In addition, HAC Hierarchical Agglomerative Clustering this process gathers an index for each function; (2) Entry- NLP Natural Language Processing Point Selection. Functions within a cluster are then ranked PCA Principal Component Analysis and presented to validation engineers as topoi candidates; VSM Vector Space Model Our work differs from automatic feature extraction (see a detailed overview in Sec.II) for two reasons. First, FEAT extracts topos which are structured summaries of the main I. INTRODUCTION capabilities of the program, while features are usually just in- A. Context and Challenge formal description of software characteristics. Second, FEAT extracts topos by using an unsupervised machine learning C. Ieva and A. Gotlieb are with the Department of Software Engineer- technique not requiring any additional data to the bare source ing, Simula Research Laboratory, Oslo, Norway e-mail: [email protected]; code. [email protected]. Souhila Kaci and Nadjib Lazaar are with LIRMM, University of Montpel- B. Contribution of the paper lier, Montpellier, France email: [email protected]; [email protected]. Manuscript received April 19, 2005; revised August 26, 2015. The contribution of this paper is three-fold: 2 1) We present FEAT, a fully automated approach for topos and text analysis techniques. Secondly, it uses hierarchical extraction based on hierarchical agglomerative clustering agglomerative clustering assuming that software functions are functions. Our approach introduces an original, hybrid organized according to a certain (hidden) structure to be distance combining lexical and structural proximity be- automatically discovered. tween functions. This distance, through the definition of Mining Source Code. In [10], Linstead et al. propose dedi- graph medoids (an extension of the classical notion of cated probabilistic models based on code analysis using Latent medoids [2]), can be applied also to set of functions. In Dirichlet Allocation to discover features under the form of so- addition, our approach makes use of graph modularity called topics (main functions in code). McMillan et al. in [11] [3] to select the appropriate number of clusters; present a source-code recommendation system for software 2) Our method extracts topoi by sorting code functions reuse. Based on a feature model (a notion used in product-line through Principal Component Analysis (PCA), which is engineering and software variability modelling), the proposed a classical technique to deal with high-dimensional data system tries to match the description with relevant features in [4]. PCA, in the context of a cluster, classifies functions order to recommends the reuse of existing source code from as topos candidates; open-source repositories. [12] proposes to use natural language 3) We implemented FEAT on top of a general-purpose parsing to automatically extract an ontology from source code. software testing platform and performed a large-scale Starting from a lightweight ontology (a.k.a, concept map), the experimental analysis over 15 open-source projects authors develop a more formal ontology based on axioms. amounting to more than 1M lines of code. Our results Using natural language dependencies in sentences which are show that automatic topos extraction is feasible on constructed from identifier names, the method allows one realistic projects and it can effectively assist human- to identify concepts and relations among the sentences. [13] based analysis of long time spanning software systems. addresses the problem of determining the number of latent concepts (features) in a software system with an empirical C. Organisation of the paper method. By constructing clusterings with different topics for The rest of the paper is organized as follows. Sec.II presents a large number of software-systems, the method uses a pair of the most relevant works in the area of feature extraction. measures based on source code locality and similarity between Sec.III gives the necessary background on clustering, distance topics to assess how well the topic structure identifies related notions and call graph. Sec.IV details the two main steps of our source code units. FEAT approach. Sec.V gives the experimental results obtained Unlike these approaches, FEAT is fully automated and does with FEAT on 15 open-source software projects. Finally, not require any form of training or any additional modelling Sec.VI concludes the paper and draws some perspectives to activity (e.g., feature modelling). It uses an unsupervised this work. machine learning technique which makes its usage and ap- plication much simpler. II. RELATED WORK The closest approaches to FEAT are those of [14], [15] and Feature extraction [5], [6], [7] aims at automatically dis- [16]. [14] uses clustering and LSI (Latent Semantic Indexing) covering the main characteristics