Refine
Year of publication
Document Type
Keywords
- Softwaretechnik (5)
- Softwarevisualisierung (2)
- software evolution (2)
- Graphical User Interfaces (1)
- Graphical environments (1)
- Process Metrics (1)
- Product Metrics (1)
- Restructuring (1)
- Software-Ontologien (1)
- Softwarearchitektur (1)
Institute
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software systems. It is based on the combination of software metrics data with structure information to form a virtual information space. This information space is visualized using 3D graph structures that allow to represent in a uniform way many aspects and views on it. The layout approach for these graphs uses a generic similarity measure to calculate geometric distances between the graph nodes and a force-directed mapping into 3D space. A particular strength of the approach is that the resulting geometrical structures can be well interpreted with respect to the architecture and design quality of the analysed software. Such 3D visualizations have been used successfully in several case studies for the quality assessment of industrial C++/Java projects.
Anpaßbare, explorierbare virtuelle Informationsräume zur Qualitätsbewertung großer Software-Systeme
(2001)
Metrics Based Refactoring
(2001)
This paper gives a short overview of a model checking tool for real-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD size. This leads to a significant performance improvement compared to the tool RED and the BDD-based version of Kronos.
Abstract. Software architectures are key enabling assets within organizationsthat develop complex software systems. Among other purposes,software architectures are useful to maintain intellectual control overa software product. We propose a method to continuously check theconsistency between a specified architecture model and structural informationreverse engineered from the code. We develop criteria that adesign language for architectures should fulfill and show that an ontologybased description has substantial benefits over the standard modelinglanguages MOF/UML/OCL. Using ontologies allows the explicitmodelling of architectural styles as well as concrete system structuresin a single architecture design language. The resulting specifications aremodular, compositional and evolvable. Using ontologies we can apply anontology reasoner to implement consistency checks. Our method integratespreviously separate checks such as checking for allowed dependenciesand coding style into a single framework and enables more powerfuland flexible analyses.