Debugging Statecharts Via Model-Code Traceability

Model-driven software development involves constructing behavioral models from informal English requirements. These models are then used to guide software construction. The compilation of behavioral models into software is the topic of many existing research works. There also exist a number of UML-based modeling tools which support such model compilation. In this paper, the authors show how State chart models can be validated/debugged by generating code from the State chart models, employing established software debugging methods like program slicing on the generated code, and relating the program slice back to the State chart level.