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