Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/62553
Title: | 從Android應用軌跡探勘時態規則於錯誤分析 Temporal Rules Mining from Android Application Traces for Anomaly Analysis |
Authors: | Cheng-Chieh Chang 張程傑 |
Advisor: | 王凡 |
Keyword: | 規格探勘,時態規則,程式軌跡, Specification Mining,FLTL,Clustering,Program trace,Android, |
Publication Year : | 2013 |
Degree: | 碩士 |
Abstract: | We investigate how to use specification mining techniques for program anomaly analysis. We assume the input of positive traces (without execution anomalies) and negative traces (with execution anomalies).
We then partition the traces into the following clusters: a positive cluster that contains all positive traces and some negative clusters according to the characteristics of trace anomalies. We present techniques for learning temporal properties in Linear Temporal Logic with finite trace semantics (FLTL). We propose to mine FLTL properties that distinguish the negative clusters from the positive cluster. We present a method to learn the importance of FLTL properties for each cluster. We experiment with 5 Android applications from Google Code and Google Play with traces of GUI events and crashes as the target anomaly. The reported FLTL properties reveal the temporal patterns in GUI traces that cause the crashes. The performance data also shows that the clustering of negative traces indeed enhances the accuracy in mining meaningful temporal properties for test verdict prediction. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/62553 |
Fulltext Rights: | 有償授權 |
Appears in Collections: | 電子工程學研究所 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
ntu-102-1.pdf Restricted Access | 2.3 MB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.