In this paper, a reactive and nondeterministic system is tested. This is done by applying a generic model that has been specified as a configurable Coloured Petri Net. In this way, model-based testing is possible for a wide class of reactive system at the level of discrete events. Concurrently executed tasks are specified at a high level of abstraction and test traces are collected through state space analysis of the model. A case study describing a car radio system with navigation functionality has been used throughout the project. This system is concurrent and nondeterministic and suits well for the purpose.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-based testing of a reactive system with coloured Petri Nets


    Beteiligte:
    Tjell, Simon (Autor:in)


    Erscheinungsdatum :

    2006


    Format / Umfang :

    8 Seiten, 3 Bilder, 15 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005


    A simplified passenger flow model using Coloured Petri Nets

    Takagi, R. / Roberts, C. / Goodman, C. J. | British Library Conference Proceedings | 2002


    Modeling of Coordination Policy Based on Coloured Petri Nets

    Xiaodong, N. / Renhou, L. / Qinghua, Z. | British Library Online Contents | 2001


    A Train Rescheduling System Using Timed Coloured Petri Nets

    Vanit-Anunchai, Somsak | Springer Verlag | 2020


    An urban traffic network model via coloured timed Petri nets

    Dotoli, Mariagrazia / Fanti, Maria Pia | Tema Archiv | 2006