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)


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
Number of pages16
ISBN (Electronic)978-3-642-16901-4
ISBN (Print)978-3-642-16900-7
Publication statusPublished - 2010
Externally publishedYes
Event12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, China
Duration: 17 Nov 201019 Nov 2010
Conference number: 12

Publication series

NameLecture Notes in Computer Science


Conference12th International Conference on Formal Engineering Methods, ICFEM 2010
Abbreviated titleICFEM 2010


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

Cite this