ABSTRACT
This chapter considers a list of model-based testing (MBT) open-source tools created by Robert V. Binder and assigned selected tools to student teams. The ModelJUnit tool is a Java Library that extends from JUnit for MBT and is published under the open-source license GPL v2. The tool functions by either using its own graphical user interface or by including the library into the Java project. Spec Explorer was developed within the Microsoft organization. Spec Explorer is an add-in tool for Visual Studio that features MBT functionality in the.NET environment. Model-Based Integration and System Test Automation (MISTA) uses lightweight high-level Petri nets as a visual modeling notation. Auto Focus 3 supports modeling and analyzing the structure and behavior of distributed, reactive, and timed computer-based systems. Graphwalker is an open-source tool being offered under the MIT license. Free model-based testing (fMBT) can be a very powerful tool and great option provided the users are familiar with the OS environments and languages.
