states

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