Projects

JSXM (http://jsxm.org/) is a model-based testing tool developed in Java. One needs to provide a model specification of a system and the generated test cases reveal all functional inconsistencies in the implementation of the system. The tool provides the following functionalities: Model animation Test generation Test transformation Model animation Animation of the model means execution of the model or simulation of the modeled software. Interactive or batch animation allow the model designer to validate the specification, i....

StudentUML is a UML diagram tool for students. The main characteristics of the tool are: simplicity consistency checking The tool has been developed by several CITY college students and then maintained and further developed by me. StudentUML is written in Java as a Swing desktop application. Prolog is used for declaring the rules for consistency checking. Download StudentUML StudentUML can be downloaded from here.