This work develops a static analysis to create a model of the behavior of an Android application’s GUI. We propose the window transition graph (WTG), a model representing the possible GUI window sequences and their associated events and callbacks. A key component and contribution of our work is the careful modeling of the stack of currently-active windows, the changes to this stack, and the effects of callbacks related to these changes. To the best of our knowledge, this is the first detailed study of this important static analysis problem for Android. We develop novel analysis algorithms for WTG construction and traversal, based on this modeling of the window stack. We also propose WTG extensions to handle certain aspects of asynchronous control flow. We describe an application of the WTG for GUI test generation, using path traversals. The evaluation of the proposed algorithms indicates their effectiveness and practicality.

中文翻译：

---

Android 的静态窗口转换图

这项工作开发了一个静态分析来创建一个 Android 应用程序 GUI 的行为模型。我们提出了窗口转换图 (WTG)，这是一个表示可能的 GUI 窗口序列及其相关事件和回调的模型。我们工作的一个关键组成部分和贡献是对当前活动窗口堆栈的仔细建模、对该堆栈的更改以及与这些更改相关的回调的影响。据我们所知，这是对 Android 这个重要静态分析问题的第一次详细研究。我们基于窗口堆栈的这种建模开发了用于 WTG 构建和遍历的新型分析算法。我们还提出了 WTG 扩展来处理异步控制流的某些方面。我们描述了使用路径遍历的 WTG 用于 GUI 测试生成的应用程序。