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

Static analysis
Visualization
Semantics

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
Vogelsang, Andreas ; Fehnker, Ansgar ; Huuck, Ralf ; Reif, Wolfgang. / Software Metrics in Static Program Analysis. Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. editor / Jin Song Dong ; Huibiao Zhu. Springer, 2010. pp. 485-500 (Lecture Notes in Computer Science).
@inproceedings{d58744d7653a449db4d611f6215f452d,
title = "Software Metrics in Static Program Analysis",
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.",
author = "Andreas Vogelsang and Ansgar Fehnker and Ralf Huuck and Wolfgang Reif",
year = "2010",
doi = "10.1007/978-3-642-16901-4_32",
language = "English",
isbn = "978-3-642-16900-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "485--500",
editor = "Dong, {Jin Song} and Huibiao Zhu",
booktitle = "Formal Methods and Software Engineering",

}

Vogelsang, A, Fehnker, A, Huuck, R & Reif, W 2010, Software Metrics in Static Program Analysis. in JS 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. Lecture Notes in Computer Science, vol. 6447, Springer, pp. 485-500, 12th International Conference on Formal Engineering Methods 2010, Shanghai, China, 17/11/10. https://doi.org/10.1007/978-3-642-16901-4_32

Software Metrics in Static Program Analysis. / Vogelsang, Andreas; Fehnker, Ansgar; Huuck, Ralf; Reif, Wolfgang.

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings. ed. / Jin Song Dong; Huibiao Zhu. Springer, 2010. p. 485-500 (Lecture Notes in Computer Science; Vol. 6447).

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

TY - GEN

T1 - Software Metrics in Static Program Analysis

AU - Vogelsang, Andreas

AU - Fehnker, Ansgar

AU - Huuck, Ralf

AU - Reif, Wolfgang

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-16901-4_32

DO - 10.1007/978-3-642-16901-4_32

M3 - Conference contribution

SN - 978-3-642-16900-7

T3 - Lecture Notes in Computer Science

SP - 485

EP - 500

BT - Formal Methods and Software Engineering

A2 - Dong, Jin Song

A2 - Zhu, Huibiao

PB - Springer

ER -

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