Integrated Test Evaluation Framework on Android Applications for LTL Properties
Date Issued
2016
Date
2016
Author(s)
Chen, Chien-Hung
Abstract
Along with the rapid development of mobile techniques, the importance and quantity of mobile device applications takes on a trend of explosive increase. How to verify and maintain the quality of these applications becomes a huge problem today, so an efficient automated testing is necessary. LTL (Linear temporal logic) is a well-suited language to describe the behaviors of mobile device applications for software testing. But it’s also incomprehensible to most of common people. In this thesis, we present a framework to perform the testing for Android applications with LTL properties. The framework contains a tool with GUI to help users to construct their own LTL formulas automatically or manually (depending on user’s choice) to describe the specification of the SUT (system under test), and a trace evaluator to determine whether the traces of the SUT satisfy the given LTL property or not. Our goal is offering more professional testing method and getting higher accuracy in test evaluation.
Subjects
Software Testing
Android Applications
Test Evaluation
LTL
Automatic Testing
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-105-R99943151-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):f537bfacd5b848917b5bb5dca3a5a7e8