$\omega$Test：面向Android应用WebView的测试
软件工程
2023-06-07 v1
摘要
WebView是一种UI组件，有助于将Web应用集成到Android应用的原生上下文中。它为Android应用的原生端（Java）与Web端（JavaScript）之间的双向交互提供了强大机制。然而，这些交互机制十分复杂，并引发了多种类型的缺陷。为缓解该问题，已有各种技术通过动态分析检测WebView引发的缺陷，这严重依赖执行测试以探索WebView行为。遗憾的是，这些技术要么需要人工投入，要么采用随机测试生成方法，无法有效探索多样的WebView行为。本文研究Android应用中WebView的测试生成问题。WebView的有效测试生成需要识别待生成测试所应覆盖的本质程序属性。为此，我们提出WebView特有属性以刻画WebView行为，并设计了一种跨语言动态分析方法以识别这些属性。我们开发了Test，一种搜索覆盖已识别WebView特有属性的事件序列的测试生成技术。对74个真实世界开源/闭源Android应用的评估表明，Test能够覆盖多样的WebView行为并有效检测WebView引发的缺陷。Test检测出36个先前未知的缺陷。在报告给应用开发者的22个缺陷中，13个被确认，其中9个已被修复。
引用
@article{arxiv.2306.03845,
title = {$\omega$Test: WebView-Oriented Testing for Android Applications},
author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung},
journal= {arXiv preprint arXiv:2306.03845},
year = {2023}
}
备注
Accepted by the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)