This CD contains all the deliverables of the UnitCheck tool. This includes
- all the binaries,
- text of the thesis, user documentation
- paper accepted for publication,
- generated documentation,
- licenses,
- complete sources including the build scripts,
- third party libraries needed to run UnitCheck,
- test data.
Documentation
The following list summarizes all pieces of documentation provided with the UnitCheck tool.- Master Thesis
- Text of the master thesis describes the motivation behind the UnitCheck tool, various approaches to unit checking, the implementation of UnitCheck, the way embedding UnitCheck in Eclipse and Ant. A list of related work is also attached.
- User Manual
- Describes the UnitCheck from the user point view. It covers the UnitCheck Eclipse plugin and the Ant task.
- Paper
- The paper UnitCheck: Unit Testing and Model Checking combined has been accepted for publication in ATVA '09, LNCS.
- Javadoc Documentation
- Generated documentation describing the internals of all the components of the UnitCheck tool.
Binaries
Unless you would like to compile UnitCheck on your own, you will need these binaries to run various UnitCheck parts. See the user documentation for information on how to install them.
- unitcheck-ant-task-r218.zip
- ----- It is also available in the tgz format.
- unitcheck-r218.zip
- ---- It is also available in the tgz format.
- unitcheck-eclipse-plugin-r218.zip
Sources, test data, license
All the source files are distributed along with the UTMA system. They are contained in the src directory.
The test data (example source files which will test the IDE plugins) is included in the testdata directory.
Licenses are located in the license directory.