Tester versus Bug：一个通过游戏进行基于模型测试的通用框架
Tester versus Bug: A Generic Framework for Model-Based Testing via Games
摘要：
我们提出了一个通用的游戏为基础的测试用例生成方法。我们在测试人员和被测系统之间建立了一个游戏，测试用例对应于游戏策略，一致性关系ioco对应于交替细化。我们表明，不同的测试假设，从文献中可以很容易地纳入，略有不同的动作在游戏中，他们的结果。通过这种方式，我们的框架允许广泛的博弈论技术被部署为基于模型的测试。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
