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 language | English |
|---|---|
| Title of host publication | Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. |
| Editors | Andrea Orlandini, Martin Zimmermann |
| Publisher | Dagstuhl |
| Pages | 118-132 |
| Number of pages | 15 |
| DOIs | |
| Publication status | Published - 7 Sept 2018 |
| Event | 9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018 - Saarland University, Saarbrücken, Germany Duration: 26 Sept 2018 → 28 Sept 2018 Conference number: 9 https://www.react.uni-saarland.de/gandalf2018/ |
Publication series
| Name | Electronic Proceedings in Theoretical Computer Science (EPTCS) |
|---|---|
| Publisher | Schloss Dagstuhl |
| Volume | 277 |
Conference
| Conference | 9th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018 |
|---|---|
| Abbreviated title | GandALF |
| Country/Territory | Germany |
| City | Saarbrücken |
| Period | 26/09/18 → 28/09/18 |
| Internet address |