CSE503 Assignment #3/Mini-Project #3 (Spring 2000)

This assignment is due on Monday June 5, 2000.  (Yes, it overlaps in time with the take home final.)

The entire focus of this combined assignment/mini-project is to take one of the following software tools, install it, apply it to a semi-realistic problem, and then write an evaluation of the tool's strengths and weaknesses.  Some of the tools were not covered in class, although several were.  The tools vary widely in terms of their ease of use, documentation, etc.   You may also suggest a tool not on this list, if you want.

You will be graded based on all aspects, in particular your choice of a semi-realistic problem, your application of the tool to that problem, and your evaluation (which should be no more than 2-3 pages long).
Rigi
Daikon
Mike Ernst' dynamic invariant detection tool
LCLint
Womble
"Womble is a lightweight tool for extracting object models from Java bytecode."
Alcoa
"Alloy is an object modelling notation that is compatible with development approaches such as UML, Catalysis, Fusion, OMT and Syntropy. It has a simple ASCII textual notation of which a subset can be expressed graphically. Alcoa (Alloy Constraint Analyzer) is a tool for analyzing Alloy models. It offers fully automatic animation: it can generate states that satisfy invariants, executions of operations, and counterexamples to claimed properties of a model."
SMV
If you do this, I recommend using an example like your statecharts-like example from the last homework; finding properties to check may be the most challenging aspect.
Star Diagram Tool