Institutional Repository
Technical University of Crete
Technical University of Crete
EN
|
EL
| URI | http://purl.tuc.gr/dl/dias/C786AF78-03BD-4A9A-A1E2-D5F1CD0D1224 | - |
| Identifier | https://link.springer.com/article/10.1007/s10270-018-0676-3 | - |
| Identifier | https://doi.org/10.1007/s10270-018-0676-3 | - |
| Language | en | - |
| Extent | 27 pages | en |
| Title | A method for testing and validating executable statechart models | en |
| Creator | Mens Tom | en |
| Creator | Decan Alexandre | en |
| Creator | Spanoudakis Nikolaos | en |
| Creator | Σπανουδακης Νικολαος | el |
| Publisher | Springer | en |
| Content Summary | Statecharts constitute an executable language for modelling event-based reactive systems. The essential complexity of statechart models solicits the need for advanced model testing and validation techniques. In this article, we propose a method aimed at enhancing statechart design with a range of techniques that have proven their usefulness to increase the quality and reliability of source code. The method is accompanied by a process that flexibly accommodates testing and validation techniques such as test-driven development, behaviour-driven development, design by contract, and property statecharts that check for violations of behavioural properties during statechart execution. The method is supported by the Sismic tool, an open-source statechart interpreter library in Python, which supports all the aforementioned techniques. Based on this tooling, we carry out a controlled user study to evaluate the feasibility, usefulness and adequacy of the proposed techniques for statechart testing and validation. | en |
| Type of Item | Peer-Reviewed Journal Publication | en |
| Type of Item | Δημοσίευση σε Περιοδικό με Κριτές | el |
| License | http://creativecommons.org/licenses/by-nc-nd/4.0/ | en |
| Date of Item | 2019-09-03 | - |
| Date of Publication | 2019 | - |
| Subject | Statechart | en |
| Subject | Executable modeling | en |
| Subject | Behaviour-driven development | en |
| Subject | Design by contract | en |
| Subject | Runtime verification | en |
| Bibliographic Citation | T. Mens, A. Decan and N. I. Spanoudakis, "A method for testing and validating executable statechart models," Softw. Syst. Model, vol. 18, no. 2, pp. 837–863, Apr. 2019. doi: 10.1007/s10270-018-0676-3 | en |
Copyright © DIAS 2013
