請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/56717
標題: | 自動化測試Android應用程式與藉線性時序邏輯之模型檢查 Automatic Android App Testing and LTL Model Checking |
作者: | Pin-Hsiuan Chen 陳品亘 |
指導教授: | 王凡 |
關鍵字: | 軟體測試,Android應用程式測試,線性時序邏輯,模型檢查, software testing,Android app testing,LTL,model checking, |
出版年 : | 2014 |
學位: | 碩士 |
摘要: | 在行動運算裝置及雲端服務上的軟體發展呈現了一範式轉移。在這新的轉變下,測試者有可能需要時常想辦法處理沒有程式碼和最新說明文件的待測物。而在業界裡,最花測試工程師心力的,莫過於撰寫待測系統的測資和測試腳本。在這篇論文中,我們將介紹一自動化產生測資的架構,包含建立待測應用程式的運行記錄、建立模型和依據模型及線性時序邏輯來產生測資。執行測資並檢驗其是否合格。只要在一條測試結果為失敗的運行記錄中,所有動作都在測試時被觀察到,則我們所提出的測試流程必能產生一對應到該失敗結果的測資。實做上,我們將此架構建置成針對 Android 手機應用程式並實驗及提出報告。 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. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/56717 |
全文授權: | 有償授權 |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-103-1.pdf 目前未授權公開取用 | 804.44 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。