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
    6 Citations
    Coverage-Based Testing with Symbolic Transition Systems
    • 3
    • PDF
    Relating Alternating Relations for Conformance and Refinement ? Technical Report
    • Highly Influenced
    Relating Alternating Relations for Conformance and Refinement
    • 3
    • Highly Influenced
    State Identification for Labeled Transition Systems with Inputs and Outputs
    • PDF

    References

    SHOWING 1-10 OF 21 REFERENCES
    A Game-Theoretic Approach to Real-Time System Testing
    • 19
    • PDF
    The Complexity of Coverage
    • 7
    • Highly Influential
    • PDF
    Cooperative Testing of Timed Systems
    • 11
    • PDF
    Complexity of node coverage games
    • 1
    Timed Testing under Partial Observability
    • 24
    • PDF
    Model-Based Testing
    • 22
    • PDF
    Generating Complete and Finite Test Suite for ioco: Is It Possible?
    • 21
    • PDF
    Synthesizing adaptive test strategies from temporal logic specifications
    • 2
    • PDF
    n-Complete test suites for IOCO
    • 4
    • PDF
    Model Based Testing with Labelled Transition Systems
    • J. Tretmans
    • Computer Science
    • Formal Methods and Testing
    • 2008
    • 420
    • Highly Influential
    • PDF