Software Metrics in Static Program Analysis

被引：0

作者：

Vogelsang, Andreas ^{[1
]}

Fehnker, Ansgar ^{[2
]}

Huuck, Ralf ^{[2
]}

Reif, Wolfgang ^{[3
]}

机构：

[1] Tech Univ Munich, Fak Informat, Boltzmannstr 3, D-85748 Garching, Germany

[2] Univ New S Wales, Natl ICT Australia Ltd NICTA, Sydney, NSW 1466, Australia

[3] Univ Augsburg, Lehrstuhl Softwaretechn & Programmiersprachen, D-86135 Augsburg, Germany

来源：

FORMAL METHODS AND SOFTWARE ENGINEERING | 2010年 / 6447卷

基金：

澳大利亚研究理事会;

关键词：

software metrics; static program analysis; software quality; software maintenance;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：485 / +

页数：3

共 16 条

[1]

[Anonymous], 1061 IEEE

[2]

[Anonymous], 2009, CHAOS REP

[3]

Badri L., 2004, J OBJECT TECHNOL, V3, P145

[4]

Clark J., 1999, XML PATH LANGUAGE 1

[5]

Clarke EM, 1999, MODEL CHECKING, P1

[6]

Curtis B., 1979, Proceedings of the 4th International Conference on Software Engineering, P356

[7]

Elshoff J. L., 1976, IEEE Transactions on Software Engineering, VSE-2, P113, DOI 10.1109/TSE.1976.233538

[8]

Fehnker A., 2007, P 1 INT S THEOR ASP

[9]

Ferzund J, 2009, LECT NOTES COMPUT SC, V5891, P242, DOI 10.1007/978-3-642-05415-0_18

[10]

IBM, PURS COD QUAL COD QU

← 1 2 →