This documentation is deprecated and should no longer be used.

Please, check the new documentation at, which is being actively maintained.

Also note that all projects related to AltWalker were moved from GitLab to GitHub, you can find the new projects at



Application/System Under Test refers to a application/system being tested.


A Finite State Machines it is an abstract machine that can be in exactly one of a finite number of states at any given time. The FSM can change from one state to another in response to some inputs; the change from one state to another is called a transition.

Directed Graph

A Directed Graph is a graph that is made up of a set of vertices connected by edges, where the edges have a direction associated with them.


Model-Based Testing is a testing technique which offers a way of generating test cases based on models that describe the behavior (functionality) of the system under test.


The Model is an abstract representation of the behaviors and functionalities of the SUT. AltWalker uses FSM for the models.


Modeling is the process of translating the behaviors and functionalities of the SUT into an abstract model.

Test Fixture

A Test Fixture represents the preparation needed to perform one or more tests, and any associate cleanup actions.

Test Case

A Test Case is the individual unit of testing. It checks for a specific response to a particular set of inputs.

Test Runner

A Test Runner is a component which orchestrates the execution of tests and provides the outcome to the user.