Proj CMI Paper Reading: Time-travel Testing of Android Apps

Abstract

背景：

1. Android 测试⼯具会⽣成输⼊事件序列来运行被测应⽤的状态空间。
2. 对事件序列突变，原先序列所对应的app状态可能无法被突变序列访问到，相当于被截断了

本文：
工具：TimeMachine
基于Monkey
任务：进化一组状态，states which can be captured upon discovery and resumed when needed
方法：好像只是在找最优秀的测试状态？
In this paper, we propose instead to evolve a population of states which can be captured upon discovery and resumed when needed. The hope is that generating events on a fit program state leads to the transition to even fitter states. For instance, we can quickly deprioritize testing the main screen state which is visited by most event sequences, and instead focus our limited resources on testing more interesting states that are otherwise difficult to reach
实验：
数据集：开源、闭源
竞争软件：Sapienz, Stoat
效果：

1. TimeMachine outperforms the state-of-theart search-based/model-based Android testing tools Sapienz and Stoat, both in terms of coverage achieved and crashes found.