請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/62553
標題: | 從Android應用軌跡探勘時態規則於錯誤分析 Temporal Rules Mining from Android Application Traces for Anomaly Analysis |
作者: | Cheng-Chieh Chang 張程傑 |
指導教授: | 王凡 |
關鍵字: | 規格探勘,時態規則,程式軌跡, Specification Mining,FLTL,Clustering,Program trace,Android, |
出版年 : | 2013 |
學位: | 碩士 |
摘要: | 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 |
全文授權: | 有償授權 |
顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-102-1.pdf 目前未授權公開取用 | 2.3 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。