University of Twente Student Theses
Test Case Generation by Game Theory
Lendering, J.H.J (2024) Test Case Generation by Game Theory.
|
PDF
671kB |
| Abstract: | Model-based testing is a systematic method to create test cases by using a specification model of the system. In earlier papers, the idea of using strategies, for formal games, as test cases was explored. By using a multitude of strategies that have a goal to go to a certain part of the application, the application gets traversed and bugs can be found. This paper compares test generation by different game strategy synthesis techniques to determine which creates better strategies for creating tests. Two synthesizers are compared, Backward Induction (BI) and Simultaneous Move Monte Carlo Tree Search (SM-MCTS). Those strategies are executed on a game, derived from the specification of an executable application created especially for this paper. By using metrics of coverage, speed and test termination factors, I found out that BI works well for small applications and SM-MCTS does not with the used specification. I also predict that SM-MCTS will not work well on any application if it is used as I used it in this paper. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/101004 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page