Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

A method for testing and validating executable statechart models

Mens Tom, Decan Alexandre, Spanoudakis Nikolaos

Απλή Εγγραφή


URIhttp://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 pagesen
ΤίτλοςA method for testing and validating executable statechart modelsen
ΔημιουργόςMens Tomen
ΔημιουργόςDecan Alexandreen
ΔημιουργόςSpanoudakis Nikolaosen
ΔημιουργόςΣπανουδακης Νικολαοςel
ΕκδότηςSpringeren
Περίληψη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 Publicationen
ΤύποςΔημοσίευση σε Περιοδικό με Κριτέςel
Άδεια Χρήσηςhttp://creativecommons.org/licenses/by-nc-nd/4.0/en
Ημερομηνία2019-09-03-
Ημερομηνία Δημοσίευσης2019-
Θεματική ΚατηγορίαStatecharten
Θεματική ΚατηγορίαExecutable modelingen
Θεματική ΚατηγορίαBehaviour-driven developmenten
Θεματική ΚατηγορίαDesign by contracten
Θεματική ΚατηγορίαRuntime verificationen
Βιβλιογραφική Αναφορά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-3en

Διαθέσιμα αρχεία

Υπηρεσίες

Στατιστικά