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 ...

Get Practical Test Design: Selection of traditional and automated test design techniques now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.