18
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

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

      Preprint
      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Most cited references18

          • Record: found
          • Abstract: not found
          • Conference Proceedings: not found

          Algorithms, games, and the internet

            Bookmark
            • Record: found
            • Abstract: not found
            • Book Chapter: not found

            Alternating refinement relations

              Bookmark
              • Record: found
              • Abstract: not found
              • Book: not found

              CONCUR 2010 - Concurrency Theory

                Bookmark

                Author and article information

                Journal
                09 September 2018
                Article
                10.4204/EPTCS.277.9
                1809.03098
                9de29e6b-b895-4f67-ad1e-25baf9df72d3

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                EPTCS 277, 2018, pp. 118-132
                In Proceedings GandALF 2018, arXiv:1809.02416
                cs.GT
                EPTCS

                Theoretical computer science
                Theoretical computer science

                Comments

                Comment on this article