Institutional Repository [SANDBOX]
Technical University of Crete
EN  |  EL

Search

Browse

My Space

A method for testing and validating executable statechart models

Mens Tom, Decan Alexandre, Spanoudakis Nikolaos

Simple record


URIhttp://purl.tuc.gr/dl/dias/C786AF78-03BD-4A9A-A1E2-D5F1CD0D1224-
Identifierhttps://link.springer.com/article/10.1007/s10270-018-0676-3-
Identifierhttps://doi.org/10.1007/s10270-018-0676-3-
Languageen-
Extent27 pagesen
TitleA method for testing and validating executable statechart modelsen
CreatorMens Tomen
CreatorDecan Alexandreen
CreatorSpanoudakis Nikolaosen
CreatorΣπανουδακης Νικολαοςel
PublisherSpringeren
Content SummaryStatecharts 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 ItemPeer-Reviewed Journal Publicationen
Type of ItemΔημοσίευση σε Περιοδικό με Κριτέςel
Licensehttp://creativecommons.org/licenses/by-nc-nd/4.0/en
Date of Item2019-09-03-
Date of Publication2019-
SubjectStatecharten
SubjectExecutable modelingen
SubjectBehaviour-driven developmenten
SubjectDesign by contracten
SubjectRuntime verificationen
Bibliographic CitationT. 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

Available Files

Services

Statistics