Separation of transitions, actions, and exceptions in model-based testing

Abstract

Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the model and their corresponding actions in the target implementation, and also includes special treatment of exceptional states. © 2009 Springer-Verlag Berlin Heidelberg.