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