Ιδρυματικό Αποθετήριο
Πολυτεχνείο Κρήτης
Πολυτεχνείο Κρήτης
EN
|
EL
| URI | http://purl.tuc.gr/dl/dias/C786AF78-03BD-4A9A-A1E2-D5F1CD0D1224 | - |
| Αναγνωριστικό | https://link.springer.com/article/10.1007/s10270-018-0676-3 | - |
| Αναγνωριστικό | https://doi.org/10.1007/s10270-018-0676-3 | - |
| Γλώσσα | en | - |
| Μέγεθος | 27 pages | en |
| Τίτλος | A method for testing and validating executable statechart models | en |
| Δημιουργός | Mens Tom | en |
| Δημιουργός | Decan Alexandre | en |
| Δημιουργός | Spanoudakis Nikolaos | en |
| Δημιουργός | Σπανουδακης Νικολαος | el |
| Εκδότης | Springer | en |
| Περίληψη | 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 |
| Τύπος | Peer-Reviewed Journal Publication | en |
| Τύπος | Δημοσίευση σε Περιοδικό με Κριτές | el |
| Άδεια Χρήσης | http://creativecommons.org/licenses/by-nc-nd/4.0/ | en |
| Ημερομηνία | 2019-09-03 | - |
| Ημερομηνία Δημοσίευσης | 2019 | - |
| Θεματική Κατηγορία | Statechart | en |
| Θεματική Κατηγορία | Executable modeling | en |
| Θεματική Κατηγορία | Behaviour-driven development | en |
| Θεματική Κατηγορία | Design by contract | en |
| Θεματική Κατηγορία | Runtime verification | en |
| Βιβλιογραφική Αναφορά | 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
