DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2019-04-04 - Article/Dans un journal avec peer-review - Anglais - 27 page(s)

Decan Alexandre , Mens Tom , Spanoudakis Nikolaos I., "A method for testing and validating executable statechart models" in Software and Systems Modeling, 18, 2, 837-863, https://doi.org/10.1007/s10270-018-0676-3

  • Edition : Springer (Germany)
  • Codes CREF : Informatique appliquée logiciel (DI2570), Informatique générale (DI1162)
  • Unités de recherche UMONS : Génie Logiciel (S852)
  • Instituts UMONS : Institut de Recherche en Technologies de l’Information et Sciences de l’Informatique (InforTech), Institut de Recherche sur les Systèmes Complexes (Complexys)
Texte intégral :

Abstract(s) :

(Anglais) 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, that 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.

Identifiants :
  • ISSN : 1619-1366
  • DOI : https://doi.org/10.1007/s10270-018-0676-3

Mots-clés :
  • (Anglais) behaviour-driven development
  • (Anglais) executable modeling
  • (Anglais) statechart
  • (Anglais) runtime verification
  • (Anglais) design by contract