For academic use, please cite our journal paper in JRIE.

Kanter, G., Vain, J. Model-based testing of autonomous robots using TestIt. J Reliable Intell Environ 6, 15–30 (2020). https://doi.org/10.1007/s40860-019-00095-w

TestIt toolkit aims to simplify, optimize and automate testing for ROS-based autonomous robots in a CI-friendly way.

Please take a look at the tutorials.

TestIt DTRON extension: https://github.com/GertKanter/testit_dtron

DTRON extensions are used for model-based testing with Uppaal TA.

TestIt SUT additions: https://github.com/GertKanter/testit_sut

Additions that need to be installed on the SUT (System Under Test) if code coverage measurement is desired.

TestIt messages package: https://github.com/GertKanter/testit_msgs

Shared message definitions for TestIt toolkit.

ROS wiki link: http://wiki.ros.org/testit