Software metrics in static program analysis

Authors:
Andreas Vogelsang;Ansgar Fehnker;Ralf Huuck;Wolfgang Reif
Affiliations:
Fakultät für Informatik, Technische Universität München, Garching b. München, Germany;National ICT Australia Ltd. and University of New South Wales, Sydney, NSW, Australia;National ICT Australia Ltd. and University of New South Wales, Sydney, NSW, Australia;Lehrstuhl für Softwaretechnik und Programmiersprachen, Universität Augsburg, Augsburg, Germany
Venue:
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Year:
2010

Citing 11
Cited 0

Code complete: a practical handbook of software construction

Code complete: a practical handbook of software construction
Model checking

Model checking
Agile Software Development: Principles, Patterns, and Practices

Agile Software Development: Principles, Patterns, and Practices
Third time charm: Stronger prediction of programmer performance by software complexity metrics

ICSE '79 Proceedings of the 4th international conference on Software engineering
Mining metrics to predict component failures

Proceedings of the 28th international conference on Software engineering
Model Checking Software at Compile Time

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
An Analysis of Some Commercial PL/I Programs

IEEE Transactions on Software Engineering
A Complexity Measure

IEEE Transactions on Software Engineering
An Abstract Specification Language for Static Program Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Empirical Evaluation of Hunk Metrics as Bug Predictors

IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Relationships between selected software measures and latent bug-density: guidelines for improving quality

ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI

Quantified Score

Hi-index	0.00

Visualization

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 GOANNA, 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.