A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop
ACM SIGSOFT Software Engineering Notes
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Using graph grammars for modeling wiring harnesses - an experience report
Graph transformations and model-driven engineering
Developing tools with fujaba XProM
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Model-driven rapid prototyping with programmed graph transformations
Journal of Visual Languages and Computing
Hi-index | 0.00 |
In the last years, SCESM community has studied a number of synthesis approaches that turn scenario descriptions into some kind of state machine. In our story driven modeling approach, the statechart synthesis is done manually. Many other approaches rely on human interaction, too. Frequently, the resulting state machines are just the starting point for further system development. The manual steps and the human interaction and the subsequent development steps are subject to the introduction of errors. Thus, it is not guaranteed that the final implementation still covers the initial scenarios. Therefore, this paper proposes the exploitation of scenarios for the derivation of automatic tests. These tests may be used to force the implementation to implement at least the behavior outlined in the requirements scenarios. In addition, this approach raises the value of formal scenarios for requirements elicitation and analysis since such scenarios are turned into automatic tests that may be used to drive iterative development processes according to test-first principles.