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 ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access