Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

15 Downloads (Pure)

Résumé

Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence.
langue originaleAnglais
Pages325-332
Nombre de pages8
Les DOIs
étatPublié - 2 août 2018
Evénement18th IEEE International Conference on Quality, Reliability, and Security - Lisbon, Portugal
Durée: 16 juil. 201820 juil. 2018

Une conférence

Une conférence18th IEEE International Conference on Quality, Reliability, and Security
Titre abrégéQRS
PaysPortugal
La villeLisbon
période16/07/1820/07/18

Empreinte digitale

Taxonomies
Testing
Specifications
Costs

mots-clés

    Citer ceci

    Ortiz Vega, J. J., Perrouin, G., Amrani, M., & Schobbens, P-Y. (2018). Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. 325-332. Papier présenté � 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal. https://doi.org/10.1109/QRS.2018.00045
    Ortiz Vega, James Jerson ; Perrouin, Gilles ; Amrani, Moussa ; Schobbens, Pierre-Yves. / Model-based Mutation Operators for Timed Systems : A Taxonomy and Research Agenda. Papier présenté � 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal.8 p.
    @conference{8bb472aa72f043edb70aaa90789697eb,
    title = "Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda",
    abstract = "Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence.",
    keywords = "model-based testing, timed automata, real-time systems, mutation operators taxonomy, Mutation operators taxonomy, Model-based testing, Timed automata, Real-time systems, Mutation testing",
    author = "{Ortiz Vega}, {James Jerson} and Gilles Perrouin and Moussa Amrani and Pierre-Yves Schobbens",
    year = "2018",
    month = "8",
    day = "2",
    doi = "10.1109/QRS.2018.00045",
    language = "English",
    pages = "325--332",
    note = "18th IEEE International Conference on Quality, Reliability, and Security, QRS ; Conference date: 16-07-2018 Through 20-07-2018",

    }

    Ortiz Vega, JJ, Perrouin, G, Amrani, M & Schobbens, P-Y 2018, 'Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda' Papier présenté � 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal, 16/07/18 - 20/07/18, p. 325-332. https://doi.org/10.1109/QRS.2018.00045

    Model-based Mutation Operators for Timed Systems : A Taxonomy and Research Agenda. / Ortiz Vega, James Jerson; Perrouin, Gilles; Amrani, Moussa; Schobbens, Pierre-Yves.

    2018. 325-332 Papier présenté � 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal.

    Résultats de recherche: Contribution à un événement scientifique (non publié)Article

    TY - CONF

    T1 - Model-based Mutation Operators for Timed Systems

    T2 - A Taxonomy and Research Agenda

    AU - Ortiz Vega, James Jerson

    AU - Perrouin, Gilles

    AU - Amrani, Moussa

    AU - Schobbens, Pierre-Yves

    PY - 2018/8/2

    Y1 - 2018/8/2

    N2 - Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence.

    AB - Mutation testing relies on the principle of artificially injecting faults in systems to create mutants, in order to either assess the sensitivity of existing test suites, or generate test cases that are able to find real faults. Mutation testing has been employed in a variety of application areas and at various levels of abstraction (code and models). In this paper, we focus on model-based mutation testing for timed systems. In order to cartography the field, we provide a taxonomy of mutation operators and discuss their usages on various formalisms, such as timed automata or synchronous languages. We also delineate a research agenda for the field addressing mutation costs, the impact of delays in operators specification and mutation equivalence.

    KW - model-based testing

    KW - timed automata

    KW - real-time systems

    KW - mutation operators taxonomy

    KW - Mutation operators taxonomy

    KW - Model-based testing

    KW - Timed automata

    KW - Real-time systems

    KW - Mutation testing

    UR - http://www.scopus.com/inward/record.url?scp=85052296014&partnerID=8YFLogxK

    U2 - 10.1109/QRS.2018.00045

    DO - 10.1109/QRS.2018.00045

    M3 - Paper

    SP - 325

    EP - 332

    ER -

    Ortiz Vega JJ, Perrouin G, Amrani M, Schobbens P-Y. Model-based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. 2018. Papier présenté � 18th IEEE International Conference on Quality, Reliability, and Security, Lisbon, Portugal. https://doi.org/10.1109/QRS.2018.00045