Automatic Android App Testing and LTL Model Checking
Date Issued
2014
Date
2014
Author(s)
Chen, Pin-Hsiuan
Abstract
Software development of mobile computing and cloud services presents a paradigm shift. In this new paradigm, we may often need to deal with system under test (SUT) without source code and up-to-date documentation of the SUT. And when it comes to software testing in the industry, engineers often spend lots of effort to produce test cases themselves, writing script or manipulating SUT. Here we introduce a framework of automatic test case generation procedure that creating SUT trace, building the model of an SUT out of execution traces, and generating test cases according to the built model with specifications in Linear-time Temporal Logic (LTL). Then executing the test cases to check the SUT and examining the validation of test cases. As long as all transitions in a fail trace have been observed in the test session, then our procedure will eventually generate a test case that corresponds to the fail trace. We implement and report experiments on Android mobile applications.
Subjects
軟體測試
Android應用程式測試
線性時序邏輯
模型檢查
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-103-R01921087-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):b2731aaab4c25f1b580aa193aa386052