Software Metrics in Static Program Analysis

Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

Software metrics play an important role in the management of professional software projects. Metrics are used, e.g., to track development progress, to measure restructuring impact and to estimate code quality. They are most beneficial if they can be computed continuously at development time. This work presents a framework and an implementation for integrating metric computations into static program analysis. The contributions are a language and formal semantics for user-definable metrics, an implementation and integration in the existing static analysis tool , and a user-definable visualization approach to display metrics results. Moreover, we report our experiences on a case study of a popular open source code base.
Original languageEnglish
Title of host publicationFormal Methods and Software Engineering
Subtitle of host publication12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
EditorsJin Song Dong, Huibiao Zhu
PublisherSpringer
Pages485-500
Number of pages16
ISBN (Electronic)978-3-642-16901-4
ISBN (Print)978-3-642-16900-7
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event12th International Conference on Formal Engineering Methods 2010 - Shanghai, China
Duration: 17 Nov 201019 Nov 2010
Conference number: 12

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume6447

Conference

Conference12th International Conference on Formal Engineering Methods 2010
Abbreviated titleICFEM 2010
CountryChina
CityShanghai
Period17/11/1019/11/10

Fingerprint Dive into the research topics of 'Software Metrics in Static Program Analysis'. Together they form a unique fingerprint.

  • Cite this

    Vogelsang, A., Fehnker, A., Huuck, R., & Reif, W. (2010). Software Metrics in Static Program Analysis. In J. S. Dong, & H. Zhu (Eds.), Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings (pp. 485-500). (Lecture Notes in Computer Science; Vol. 6447). Springer. https://doi.org/10.1007/978-3-642-16901-4_32