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 Mari{\"e}lle 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
3
Twitter Mentions

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Model Based Testing with Labelled Transition Systems

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

n-Complete test suites for IOCO

VIEW 3 EXCERPTS

The Complexity of Coverage

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Synthesis of safety controllers robust to unmodeled intermittent disturbances

VIEW 1 EXCERPT

Synthesizing adaptive test strategies from temporal logic specifications

VIEW 1 EXCERPT

Model-Based Testing

VIEW 1 EXCERPT

Alternating Simulation and IOCO

VIEW 3 EXCERPTS