東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Towards Automated Testing of Webview...

Hu, Jiajun,

FindBook

Google Book

Amazon

博客來

Towards Automated Testing of Webviews in Android Applications /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Towards Automated Testing of Webviews in Android Applications // Jiajun Hu.
作者:	Hu, Jiajun,
面頁冊數:	1 electronic resource (110 pages)
附註:	Source: Dissertations Abstracts International, Volume: 86-05, Section: A.
Contained By:	Dissertations Abstracts International86-05A.
標題:	Forgery. -
電子資源:	https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31718140
ISBN:	9798346543817

Towards Automated Testing of Webviews in Android Applications /
Hu, Jiajun,

Towards Automated Testing of Webviews in Android Applications /Jiajun Hu. - 1 electronic resource (110 pages)

Source: Dissertations Abstracts International, Volume: 86-05, Section: A.

WebView is a graphical user interface (GUI) widget that helps integrate web applications into the native context of Android apps. It provides powerful mechanisms to support bi-directional interactions between the native-end (Java) and the web-end (JavaScript) of an Android app. WebViews are widely adopted in real-world Android apps. Various studies have demonstrated that 83%-90% of the most-popular apps in the Google Play Store use WebViews in some fashion. Modern app-in-app ecosystems (e.g., WeChat Mini-Programs) are also built on top of WebViews.Despite its popularity among developers, WebView-induced bugs (ωBugs for short) are common in Android apps due to WebView's complicated cross-language interaction mechanisms. However, little is known about the characteristics of these WebView-induced bugs. To bridge the gap, we conduct an empirical study on 124 ωBugs collected from 51 popular open-source Android apps. Our study characterizes ωBugs from a wide range of perspectives, including their root causes, consequences, and manifestation. We conclude interesting observations that can be leveraged for detecting and diagnosing ωBugs. Base on our empirical findings, we further propose an automated test generation technique, ωDroid, that is equipped with effective oracles to expose ωBugs in Android apps. An evaluation on 146 open-source Android apps demonstrated its effectiveness in detecting previously-unknown ωBugs that are of the developers' concern.Although ωDroid can effectively manifest ωBugs, its test input generation procedure is based on a stress-testing tool Monkey, which generates a random sequence of user events (e.g., clicks, touches, or gestures) to exercise an app under test. Such a random test input generation approach is not effective in exploring diverse WebView behaviors in an app. In our second work, we study the problem of test input generation for WebViews in Android apps. Effective test input generation for WebViews requires identifying essential program properties to be covered by the generated tests. The coverage of these properties provides an effective measure of test adequacy for the WebView behaviors. Properties adopted by existing test generation techniques (e.g., program statements/branches) are not suitable for testing WebViews since none of them are specifically designed to model WebView behaviors. In this work, we propose WebView-specific properties to formally characterize WebView behaviors in an Android app. We also devise a cross-language dynamic analysis method to identify these properties. We further develop ωTest+, a fully-automated WebView-oriented test input generation technique that combines static and dynamic analysis. ωTest+ relies on a statically-built GUI component transition graph, in which GUI components that are helpful to reach WebViews are highlighted, as well as the coverage of WebView-specific properties to guide test input generation, in order to reach WebViews and exercise diverse WebView behaviors. We apply ωTest+ to test 38 real-world open-source Android apps. The results show that ωTest+ outperforms eight baseline methods in terms of the coverage of WebView-specific properties and the number of detected ωBugs.

English

ISBN: 9798346543817Subjects--Topical Terms:

3509393
Forgery.

Towards Automated Testing of Webviews in Android Applications /
LDR:04485nmm a22003853i 4500 001 2430830
005 20250603111626.5
006 m o d
007 cr|nu||||||||
008 261011s2024 miu||||||m |||||||eng d
020 $a 9798346543817
035 $a (MiAaPQD)AAI31718140
035 $a AAI31718140
040 $a MiAaPQD $b eng $c MiAaPQD $e rda
100 1 $a Hu, Jiajun, $e author. $3 3819346
245 1 0 $a Towards Automated Testing of Webviews in Android Applications / $c Jiajun Hu.
264 1 $a Ann Arbor : $b ProQuest Dissertations & Theses, $c 2024
300 $a 1 electronic resource (110 pages)
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Source: Dissertations Abstracts International, Volume: 86-05, Section: A.
500 $a Advisors: Cheung, Shing-Chi.
502 $b Ph.D. $c Hong Kong University of Science and Technology (Hong Kong) $d 2024.
520 $a WebView is a graphical user interface (GUI) widget that helps integrate web applications into the native context of Android apps. It provides powerful mechanisms to support bi-directional interactions between the native-end (Java) and the web-end (JavaScript) of an Android app. WebViews are widely adopted in real-world Android apps. Various studies have demonstrated that 83%-90% of the most-popular apps in the Google Play Store use WebViews in some fashion. Modern app-in-app ecosystems (e.g., WeChat Mini-Programs) are also built on top of WebViews.Despite its popularity among developers, WebView-induced bugs (ωBugs for short) are common in Android apps due to WebView's complicated cross-language interaction mechanisms. However, little is known about the characteristics of these WebView-induced bugs. To bridge the gap, we conduct an empirical study on 124 ωBugs collected from 51 popular open-source Android apps. Our study characterizes ωBugs from a wide range of perspectives, including their root causes, consequences, and manifestation. We conclude interesting observations that can be leveraged for detecting and diagnosing ωBugs. Base on our empirical findings, we further propose an automated test generation technique, ωDroid, that is equipped with effective oracles to expose ωBugs in Android apps. An evaluation on 146 open-source Android apps demonstrated its effectiveness in detecting previously-unknown ωBugs that are of the developers' concern.Although ωDroid can effectively manifest ωBugs, its test input generation procedure is based on a stress-testing tool Monkey, which generates a random sequence of user events (e.g., clicks, touches, or gestures) to exercise an app under test. Such a random test input generation approach is not effective in exploring diverse WebView behaviors in an app. In our second work, we study the problem of test input generation for WebViews in Android apps. Effective test input generation for WebViews requires identifying essential program properties to be covered by the generated tests. The coverage of these properties provides an effective measure of test adequacy for the WebView behaviors. Properties adopted by existing test generation techniques (e.g., program statements/branches) are not suitable for testing WebViews since none of them are specifically designed to model WebView behaviors. In this work, we propose WebView-specific properties to formally characterize WebView behaviors in an Android app. We also devise a cross-language dynamic analysis method to identify these properties. We further develop ωTest+, a fully-automated WebView-oriented test input generation technique that combines static and dynamic analysis. ωTest+ relies on a statically-built GUI component transition graph, in which GUI components that are helpful to reach WebViews are highlighted, as well as the coverage of WebView-specific properties to guide test input generation, in order to reach WebViews and exercise diverse WebView behaviors. We apply ωTest+ to test 38 real-world open-source Android apps. The results show that ωTest+ outperforms eight baseline methods in terms of the coverage of WebView-specific properties and the number of detected ωBugs.
546 $a English
590 $a School code: 1223
650 4 $a Forgery. $3 3509393
650 4 $a User interface. $3 3681528
650 4 $a Java. $3 517732
650 4 $a Motivation. $3 532704
650 4 $a Communication. $3 524709
650 4 $a Web browsers. $3 3697281
650 4 $a Design. $3 518875
650 4 $a Popularity. $3 3564342
650 4 $a JavaScript. $3 3685047
650 4 $a Criminology. $3 533274
650 4 $a Web studies. $3 2122754
690 $a 0389
690 $a 0459
690 $a 0627
690 $a 0646
710 2 $a Hong Kong University of Science and Technology (Hong Kong). $e degree granting institution. $3 3814653
720 1 $a Cheung, Shing-Chi $e degree supervisor.
773 0 $t Dissertations Abstracts International $g 86-05A.
790 $a 1223
791 $a Ph.D.
792 $a 2024
856 4 0 $u https://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=31718140