2018/09/10 by Petra van den Bos, Marielle Stoelinga
Computer Science · #cs.GT #cs.LO
paper · pdf · doi:10.4204/eptcs.277.9
published as EPTCS 277, 2018, pp. 118-132 · In Proceedings GandALF 2018, arXiv:1809.02416
arxiv created 2018/09/10 · arxiv updated 2018/09/11
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.