Paper Info
Title
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.
Year
DOI
Venue
2009
10.1007/978-3-642-04772-5_37
computer aided systems theory
Keywords
Field
DocType
high-level model,special treatment,model-based testing,current model,target implementation,corresponding action,exceptional state,test case,state machine,model based testing
System under test,Computer science,Theoretical computer science,Model-based testing,Test case
Conference
Volume
ISSN
Citations 
5717
0302-9743
2
PageRank 
References 
Authors
0.39
3
1
Name
Order
Citations
PageRank
Cyrille Artho158844.46