ModelTester: a tool for teaching model-based testing
James M. Slack · Journal of computing sciences in colleges · 2011
Model-based testing is an increasingly important software-testing technique that CS and IS students must become familiar with. With ModelTester, students write an extended finite-state machine model for the software under test (SUT). ModelTester then uses the model to generate test cases for the SUT. The SUT language can be nearly anything; Java and Python back ends are currently available, and other back ends can be created easily. Previous versions of ModelTester have been used successfully for four years in an upper-level software-testing course.