|Testing, Debugging, and Verification||TDA566/DIT082, LP2, HT2011|
Installation instructions JUnit, and links to further information, can be found here.
JML tool kit
This year we include for the first time a 'new' tool for JML parsing, called OpenJML. Instructions for this tool can be found here.
Older versions of JML parsing tools can be found here, in case you run in to troubles with OpenJML.This toolkit is important for
Please read there instructions carefully. If you still experience problems, post them to our Google group. This way, you can help each other. And finally, you may also contact the course assistants.
A black box testing tool that relies on a jml checker and the TestNG tool. It will be introduced in the lectures/exercises on black box automated test case generation. JMLUnitNG homepage
KeY Test Generation
|Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools | Links||W. Ahrendt, V. Klebanov, Nov 24, 2011|