9、基于搜索的计算机游戏自动化游玩测试与混合多级交叉算子在单元测试用例生成中的应用

基于搜索的计算机游戏自动化游玩测试与混合多级交叉算子在单元测试用例生成中的应用

在软件开发过程中，测试是确保软件质量的关键环节。对于计算机游戏和软件单元测试，自动化测试技术的发展为提高测试效率和质量提供了有力支持。本文将介绍基于搜索的计算机游戏自动化游玩测试方法以及一种用于单元测试用例生成的混合多级交叉算子。

基于搜索的计算机游戏自动化游玩测试

EvoMBT 原型

EvoMBT 提供了本文中使用的扩展有限状态机（EFSM）的实现，以及从模型生成和执行测试、计算适应度值和收集覆盖率所需的机制。它使用了 EvoSuite 中实现的搜索算法，目前实现了状态和转换覆盖标准、相对点交叉和一些变异算子。EvoMBT 还实现了对 Lab Recruits 应用程序的变异操作，并能在该应用程序上具体化和执行生成的测试。它会生成不同的报告，便于分析结果和调试潜在故障。EvoMBT 可在 Github 上公开获取，同时还提供了包含所有必要资源的可执行 jar 文件和额外的图表。

被测系统的模型

使用了 Lab Recruits 的三种不同模型：
- buttonDoors1：运行示例，有 10 个状态和 30 个转换。
- randomMedium：随机生成的模型，有 8 扇门和 10 个按钮，26 个状态和 116 个转换。
- randomLarge：随机生成的模型，有 15 扇门和 20 个按钮，50 个状态和 194 个转换。

实验设置

实验旨在评估基于搜索的算法从模型生成抽象测试序列的可行性、抽象测试在实际被测系统上执行的实用性以及生成测试的故障查找潜力。为此，提出了以