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

5 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
EventNinth International Symposium on Games, Automata, Logics, and Formal Verification 2018 - Saarland University, Saarbrucken, Germany
Duration: 26 Sep 201828 Sep 2018
Conference number: 9
https://www.react.uni-saarland.de/gandalf2018/

Conference

ConferenceNinth International Symposium on Games, Automata, Logics, and Formal Verification 2018
Abbreviated titleGandALF 2018
CountryGermany
CitySaarbrucken
Period26/09/1828/09/18
Internet address

Fingerprint

Testing

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
Bos, Petra van den ; Stoelinga, Mariëlle. / Tester versus Bug: A Generic Framework for Model-Based Testing via Games. Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.. editor / Andrea Orlandini ; Martin Zimmermann. 2018. pp. 118-132
@inproceedings{91c87ba153a942c1adf436dea459544d,
title = "Tester versus Bug: A Generic Framework for Model-Based Testing via Games",
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.",
author = "Bos, {Petra van den} and Mari{\"e}lle Stoelinga",
year = "2018",
month = "9",
day = "7",
doi = "10.4204/EPTCS.277.9",
language = "English",
pages = "118--132",
editor = "Andrea Orlandini and Martin Zimmermann",
booktitle = "Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbr{\"u}cken, Germany, 26-28th September 2018.",

}

Bos, PVD & 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, Ninth International Symposium on Games, Automata, Logics, and Formal Verification 2018, Saarbrucken, Germany, 26/09/18. https://doi.org/10.4204/EPTCS.277.9

Tester versus Bug: A Generic Framework for Model-Based Testing via Games. / Bos, Petra van den; Stoelinga, Mariëlle.

Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.. ed. / Andrea Orlandini; Martin Zimmermann. 2018. p. 118-132.

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

TY - GEN

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

AU - Bos, Petra van den

AU - Stoelinga, Mariëlle

PY - 2018/9/7

Y1 - 2018/9/7

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.277.9

DO - 10.4204/EPTCS.277.9

M3 - Conference contribution

SP - 118

EP - 132

BT - Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.

A2 - Orlandini, Andrea

A2 - Zimmermann, Martin

ER -

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