• DOI:10.4204/EPTCS.277.9
Corpus ID: 52182423

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

@article{Bos2018TesterVB,
  title={Tester versus Bug: A Generic Framework for Model-Based Testing via Games},
  author={Petra van den Bos and M. Stoelinga},
  journal={CoRR},
  year={2018},
  volume={abs/1809.03098},
  pages={118-132}
}

Petra van den Bos, M. Stoelinga

Published 2018

Mathematics, Computer Science

CoRR

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… CONTINUE READING

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed