Search Results for "source testing unit testing" - Page 2

Development of traces for VDM. A trace statement is used to enhance a VDM models quality by providing an easy way to describe statements used to perform regression testing on the model. This project is related to the OvertureTool project.

JSeq is a tool to automatically create UML sequence diagrams. It works by following the execution of a Java program, noting each method entry and exit. It then generates a sequence diagram from this information.

M3Actions is a framework to define operational semantics in MOF metamodels. It provides a graphical action language to define model behaviour, a simulator, debugger and execution trace recorder, build on top of eclipse modeling projects (EMP).

JLayerCheck checks package dependencies in Java projects to ensure that they match the desired architecture. Packages are grouped into modules and dependencies are specified. It can also find cycles and orphaned classes.

SeSAm (Shell for Simulated Agent Systems) provides a generic environment for modelling and experimenting with agent-based simulation with a special focus on the easy construction of complex models including dynamic interdependencies or emergent behaviour