Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications

2019-11-13 · Yavuz Koroglu, Alper Sen

There have been many studies on automated test generation for mobile Graphical User Interface (GUI) applications. These studies successfully demonstrate how to detect fatal exceptions and achieve high code and activity coverage with fully automated test generation engines. However, it is unclear how many GUI functions these engines manage to test. Furthermore, these engines implement only implicit test oracles. We propose Fully Automated Reinforcement LEArning-Driven Specification-Based Test Generator for Android (FARLEAD-Android). FARLEAD-Android accepts a GUI-level formal specification as a Linear-time Temporal Logic (LTL) formula. By dynamically executing the Application Under Test (AUT), it learns how to generate a test that satisfies the LTL formula using Reinforcement Learning (RL). The LTL formula does not just guide the test generation but also acts as a specified test oracle, enabling the developer to define automated test oracles for a wide variety of GUI functions by changing the formula. Our evaluation shows that FARLEAD-Android is more effective and achieves higher performance in generating tests for specified GUI functions than three known approaches, Random, Monkey, and QBEa. To the best of our knowledge, FARLEAD-Android is the first fully automated mobile GUI testing engine that uses formal specifications.

📄 PDF Abstract BibTeX arXiv:1911.05403

Code (0)

등록된 구현이 없습니다.

Tasks

reinforcement-learning Reinforcement Learning Reinforcement Learning (RL)

Methods 이 논문이 사용한 방법론

Test 설명 없음

LAMD: Context-driven Android Malware Detection and Classification with LLMs

2025-02-18 · Xingzhi Qian, Xinran Zheng, Yiling He, Shuo Yang 외

The rapid growth of mobile applications has escalated Android malware threats. Although there are numerous detection methods, they often struggle with evolving attacks, dataset biases, and limited explainability. Large L…

Android Malware Detection Malware Analysis Malware Detection

AndroidWorld: A Dynamic Benchmarking Environment for Autonomous Agents

2024-05-23 · Christopher Rawles, Sarah Clinckemaillie, Yifan Chang, Jonathan Waltz 외

Autonomous agents that execute human tasks by controlling computers can enhance human productivity and application accessibility. However, progress in this field will be driven by realistic and reproducible benchmarks. W…

Benchmarking

AndroidEnv: A Reinforcement Learning Platform for Android

2021-05-27 · Daniel Toyama, Philippe Hamel, Anita Gergely, Gheorghe Comanici 외

We introduce AndroidEnv, an open-source platform for Reinforcement Learning (RL) research built on top of the Android ecosystem. AndroidEnv allows RL agents to interact with a wide variety of apps and services commonly u…

reinforcement-learning Reinforcement Learning Reinforcement Learning (RL)

DL-Droid: Deep learning based android malware detection using real devices

2019-11-22 · Mohammed K. Alzaylaee, Suleiman Y. Yerima, Sakir Sezer

The Android operating system has been the most popular for smartphones and tablets since 2012. This popularity has led to a rapid raise of Android malware in recent years. The sophistication of Android malware obfuscatio…

Android Malware Detection Deep Learning Malware Detection

Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning

2023-09-04 · Chao Peng, Zhengwei Lv, Jiarong Fu, Jiayuan Liang 외

Android Apps are frequently updated to keep up with changing user, hardware, and business demands. Ensuring the correctness of App updates through extensive testing is crucial to avoid potential bugs reaching the end use…

Deep Reinforcement Learning reinforcement-learning Reinforcement Learning