請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/63274
標題: | 探勘時序規則用以診斷 Mining Temporal for Diagnosis |
作者: | Chung-Cheng Li 黎忠政 |
指導教授: | 王凡(Farn Wang) |
關鍵字: | 軟體測試,自動化測試,規格探勘,資料探勘,線性時序邏輯, Data mining,Specification mining,Automatic testing,Black box,Android system, |
出版年 : | 2012 |
學位: | 碩士 |
摘要: | 我們設計一套系統,這套系統可以對手持裝置上的應用程式做軟體測試,且應用程式開發者不需提供程式原始碼,只需提供手持裝置的應用程式,我們即可對此應用程式做自動化測試。
這個系統可以擷取應用程式的資訊,也就是使用者在操作此應用程式也就是待測物時,我們可以記錄使用者在待測物上操作的事件。有了這些資訊,我們利用資料探勘的方式,找出這些事件的時序規則,而這些規則我們使用線性時序邏輯來表示。我們可以從這些線性時序規則對待測物做診斷,找出待測物有沒有任何可能發生的錯誤,最後再回報給應用程式開發者。 In software engineering, specifications of a software are very important in comprehension,testing and verification the software. However, a well-documented and up-to-dated specification is expensive to construct and maintain. In recent year, automation to assist this issue has attracted many attentions. In this work, we apply data mining approach for mining temporal rules of a software for diagnosis. We proposed a testing framework for testing Android applications in black-box fashion. By supplying the program execution traces, we can mine 3 types of temporal rules resident in the traces. Here we adopt Linear Temporal Logic as the specification language for it simplicity and great expressive power. Our experiments show that we can diagnosis the Android application with positive and negative traces and report the problems of Android applications. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/63274 |
全文授權: | 有償授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-101-1.pdf 目前未授權公開取用 | 7.65 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。