EpiDroid：移动 GUI 测试中深度状态发现的依赖引导重组

移动应用程序的规模和复杂性不断增加，使得自动化 GUI 探索对于软件质量保证至关重要。然而，现有的方法经常忽略测试片段之间的状态依赖性，这导致冗余探索并阻止访问深层应用程序状态。我们推出 EpiDroid，这是一个黑盒、可插拔框架，可通过语义状态依赖感知来增强现有的浏览器。 EpiDroid 将原始痕迹提炼成稳定的测试片段，以提取底层依赖关系。然后，它采用重组重放范例，通过 LLM 执行影响推理，并对高值可变状态元素进行确定性重放。通过迭代反馈，EpiDroid 细化状态依赖图，以系统地达到深层应用程序状态。我们将 EpiDroid 集成到工业和最先进的研究工具中，并在 20 个实际应用程序上对其进行了评估。结果表明，与从同一起点继续使用基线相比，EpiDroid 持续改进了所有基线的性能，将平均代码覆盖率提高了 10--28\%，并提供了 3--4$\times$ 的覆盖率增益。这表明，无论有多少额外预算，依赖引导的重组都可以解锁前向探索无法访问的深层状态。