13 MBT USING GRAPHS – GRAPHWALKER
Why is this chapter worth reading?
In this chapter, you will learn how easy it is to start with a new MBT tool. GraphWalker is an open source MBT tool that can read models in the form of directed graphs and generate tests from them. We explain how to use GraphWalker for state transition testing, and how to write test code and execute random tests for our ticket vending machine example.
In the previous chapter, we introduced a text-based MBT tool. In this chapter, we provide an overview of GraphWalker (available at https://graphwalker.github.io/), an open source MBT tool for generating test sequences from (extended) finite-state machines.
The modelling language of GraphWalker is (E)FSM. EFSM’s graph representations ...