About

Our novel toolset supports the automatic testing of Java implementations against behavior specifications constituted by test-ready UML sequence diagrams.

The toolset comprises:

  • A plug-in for the Enterprise Architect modeling tool, named TestGenerator. With a single click, it generates extended JUnit test cases from the sequence diagrams in the model, executes them on the Java implementation under test, and presents back visually in the model test results and coverage information (faulty messages and messages not covered).
  • A runtime test library based on AspectJ, that provides significant extensions to JUnit (which supports only simple API testing) to handle internal interaction checking, test stubs, and user interaction testing.

sdbt_atm

See more information in our publications, download the toolset, experiment with it and give us feedback!

Share