Concatenating sequence-based requirements in model-based testing with state machines

Model-based testing is a promising technique for quality assurance. In this paper, we present an approach to tackle two challenges in model-based testing: the traceability to functional requirements and the automatic derivation of test cases that represent typical behavior. Our approach is based on the assumption that functional requirements describe typical sequences of behavior. The requirements sequences can be mapped to sequences in a system behavior model and can be used for automatic test generation. In this paper, we choose UML sequence diagrams to describe requirements behavior and UML state machines to describe the complete system behavior. We present the approach, new coverage criteria, the prototype implementation ConSequence, and first experiences using an ATM case study