MetricView Evolution and MetricView

The amount of metrics data grows very large, even for small projects. It is a challenge to represent the metrics data such that it is easy to understand by the reader. We propose visualization techniques as projections on top of UML models to visualize metrics data. Our MetricView tool implements these techniques. MetricView Evolution is an extension of MetricView and includes more visualization features. MetricView Evolution supports the analysis of model quality and model evolution. See our pages on these tools.

DICT Toolset - Design Implementation Conformance Tools

We have developed techniques to assess the conformance and differences between the UML model of a system and its implementation. These techniques are implemented in the DICT toolset.

SquAT - Sequence Diagram Analysis Tool

The SquAT tool identifies the conformance of UML sequence diagrams to predefined rules. These rules include consistency and completeness rules as well as checks to assure conformance to behavioral patterns. The tool uses formal verification techniques such as a model checker. Download SquAT.

SAAT - Software Architecture Analysis Tool

The first tool of developed within the EmpAnADa project was the SAAT tool. We developed metrics that combine information from different UML diagram types, hence these metrics are specific for UML. The SAAT tool calculates these multi-diagram metrics as well as object-oriented metrics. Additionally the tool checks consistency and completeness rules to identify defects in UML models. Currently the tool covers class diagrams, sequence diagrams, state diagrams and use case diagrams.