Tester versus Bug: A Generic Framework for Model-Based Testing via Games

Petra van den Bos, Mariëlle Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    18 Downloads (Pure)

    Abstract

    We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternating refinement. We show that different test assumptions from the literature can be easily incorporated, by slightly varying the moves in the games and their outcomes. In this way, our framework allows a wide plethora of game-theoretic techniques to be deployed for model based testing.
    Original languageEnglish
    Title of host publicationProceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.
    EditorsAndrea Orlandini, Martin Zimmermann
    Pages118-132
    Number of pages15
    DOIs
    Publication statusPublished - 7 Sep 2018
    Event9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018 - Saarland University, Saarbrücken, Germany
    Duration: 26 Sep 201828 Sep 2018
    Conference number: 9
    https://www.react.uni-saarland.de/gandalf2018/

    Conference

    Conference9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018
    Abbreviated titleGandALF
    CountryGermany
    CitySaarbrücken
    Period26/09/1828/09/18
    Internet address

      Fingerprint

    Cite this

    Bos, P. V. D., & Stoelinga, M. (2018). Tester versus Bug: A Generic Framework for Model-Based Testing via Games. In A. Orlandini, & M. Zimmermann (Eds.), Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. (pp. 118-132) https://doi.org/10.4204/EPTCS.277.9