%0 Book Section %1 guo_09_debugging %A Guo, Liang %A Roychoudhury, Abhik %D 2009 %J Leveraging Applications of Formal Methods, Verification and Validation %K 2008 traceability statecharts slicing debugging %P 292--306 %R http://dx.doi.org/10.1007/978-3-540-88479-8_21 %T Debugging Statecharts Via Model-Code Traceability %U http://dx.doi.org/10.1007/978-3-540-88479-8_21 %X 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, we show how Statechart models can be validated/debugged by (a) generating code from the Statechart models, (b) employing established software debugging methods like program slicing on the generated code, and (c) relating the program slice back to the Statechart level. Our study is presented concretely in terms of dynamic slicing of Java code produced from Statechart models. The slice produced at the code level is mapped back to the model level for enhanced design comprehension. We use the open-source JSlice tool for dynamic slicing of Java programs in our experiments. We present results on a wide variety of real-life control systems which are modeled as Statecharts (from the informal English requirements) and debugged using our methodology. We feel that our debugging methodology fits in well with design flows in model-driven software development.

@incollection{guo_09_debugging, abstract = {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, we show how Statechart models can be validated/debugged by (a) generating code from the Statechart models, (b) employing established software debugging methods like program slicing on the generated code, and (c) relating the program slice back to the Statechart level. Our study is presented concretely in terms of dynamic slicing of Java code produced from Statechart models. The slice produced at the code level is mapped back to the model level for enhanced design comprehension. We use the open-source JSlice tool for dynamic slicing of Java programs in our experiments. We present results on a wide variety of real-life control systems which are modeled as Statecharts (from the informal English requirements) and debugged using our methodology. We feel that our debugging methodology fits in well with design flows in model-driven software development.}, added-at = {2009-02-11T20:09:59.000+0100}, author = {Guo, Liang and Roychoudhury, Abhik}, biburl = {https://www.bibsonomy.org/bibtex/2c786550dde220e10dbf78509bb30f4c5/leonardo}, citeulike-article-id = {3577997}, doi = {http://dx.doi.org/10.1007/978-3-540-88479-8_21}, interhash = {14972d9d22c2ee1e869410be294dc1c3}, intrahash = {c786550dde220e10dbf78509bb30f4c5}, journal = {Leveraging Applications of Formal Methods, Verification and Validation}, keywords = {2008 traceability statecharts slicing debugging}, pages = {292--306}, posted-at = {2008-11-19 12:34:08}, priority = {2}, timestamp = {2009-02-11T20:09:59.000+0100}, title = {Debugging Statecharts Via Model-Code Traceability}, url = {http://dx.doi.org/10.1007/978-3-540-88479-8_21}, year = 2009 }