Marinescu, Cristina; Marinescu, Radu; Gîrba, Tudor (2005). Towards a Simplified Implementation of Object-Oriented Design Metrics. In: 11th IEEE International Symposium Software Metrics (p. 11). IEEE 10.1109/METRICS.2005.48
Text
Mari05aSAIL.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (187kB) |
To automatically analyze the code, the analyses must be implemented as software programs. As analyses become increasingly complex, implementing them using imperative and interrogative programming is oftentimes cumbersome. Consequently, the understanding, testing and reuse of analyses is severely hampered. In this paper we identify a set of key mechanisms that are involved in the implementation of any static analysis: navigation, selection, set arithmetics, filtering and property aggregation. We show that neither of the aforementioned approaches offers a simple support for these mechanisms and, as a result, an undesirable overhead of complexity is added to the implementation of most analyses. The paper introduces SAIL, a language designed to offer a proper support to a simplify writing of analyses. In order to validate the expressiveness of SAIL the paper provides a comprehensive comparison with the other two approaches.
Item Type: |
Conference or Workshop Item (Paper) |
---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued] |
UniBE Contributor: |
Girba, Tudor Adrian |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
1530-1435 |
ISBN: |
0-7695-2371-4 |
Publisher: |
IEEE |
Language: |
English |
Submitter: |
Anja Ebeling |
Date Deposited: |
30 Oct 2017 15:28 |
Last Modified: |
11 Apr 2024 16:11 |
Publisher DOI: |
10.1109/METRICS.2005.48 |
BORIS DOI: |
10.7892/boris.104623 |
URI: |
https://boris.unibe.ch/id/eprint/104623 |