Separation of Transitions, Actions, and Exceptions in Model-Based Testing

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.

• Type: Conference
• Year: 2009
• Where: EUROCAST
• Authors: Cyrille Artho
• Keywords: Corresponding Actions, EUROCAST 2009, Hardware, Models Employ Extensions, Testing Generates Test