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 language | English |
---|---|
Title of host publication | Formal Methods and Software Engineering |
Subtitle of host publication | 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
Editors | Jin Song Dong, Huibiao Zhu |
Publisher | Springer |
Pages | 485-500 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-642-16901-4 |
ISBN (Print) | 978-3-642-16900-7 |
DOIs | |
Publication status | Published - 2010 |
Externally published | Yes |
Event | 12th International Conference on Formal Engineering Methods, ICFEM 2010 - Shanghai, China Duration: 17 Nov 2010 → 19 Nov 2010 Conference number: 12 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 6447 |
Conference
Conference | 12th International Conference on Formal Engineering Methods, ICFEM 2010 |
---|---|
Abbreviated title | ICFEM 2010 |
Country/Territory | China |
City | Shanghai |
Period | 17/11/10 → 19/11/10 |