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} }
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
Topics from this paper
6 Citations
Relating Alternating Relations for Conformance and Refinement ? Technical Report
- 2019
- Highly Influenced
Relating Alternating Relations for Conformance and Refinement
- Computer Science
- IFM
- 2019
- 3
- Highly Influenced
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
- 2019
- Highly Influenced
State Identification for Labeled Transition Systems with Inputs and Outputs
- Computer Science
- FACS
- 2019
- PDF
References
SHOWING 1-10 OF 21 REFERENCES
A Game-Theoretic Approach to Real-Time System Testing
- Computer Science
- 2008 Design, Automation and Test in Europe
- 2008
- 19
- PDF
Timed Testing under Partial Observability
- Computer Science
- 2009 International Conference on Software Testing Verification and Validation
- 2009
- 24
- PDF
Model-Based Testing
- Mathematics, Computer Science
- Software and Systems Safety - Specification and Verification
- 2011
- 22
- PDF
Generating Complete and Finite Test Suite for ioco: Is It Possible?
- Mathematics, Computer Science
- MBT
- 2014
- 21
- PDF
Synthesizing adaptive test strategies from temporal logic specifications
- Computer Science, Medicine
- Formal Methods Syst. Des.
- 2019
- 2
- PDF
Model Based Testing with Labelled Transition Systems
- Computer Science
- Formal Methods and Testing
- 2008
- 420
- Highly Influential
- PDF