請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/51519完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 王凡 | |
| dc.contributor.author | Chien-Hung Chen | en |
| dc.contributor.author | 陳建宏 | zh_TW |
| dc.date.accessioned | 2021-06-15T13:37:16Z | - |
| dc.date.available | 2017-02-16 | |
| dc.date.copyright | 2016-02-16 | |
| dc.date.issued | 2016 | |
| dc.date.submitted | 2016-01-26 | |
| dc.identifier.citation | [1] CIMATTI, Alessandro, et al. Nusmv 2: An opensource tool for symbolic model checking. In: Computer Aided Verification. Springer Berlin Heidelberg, 2002. p. 359-364.
[2] CLARKE, Edmund M.; EMERSON, E. Allen. Design and synthesis of synchronization skeletons using branching time temporal logic. Springer Berlin Heidelberg, 1982. [3] FRASER, Gordon; WOTAWA, Franz. Complementary criteria for testing temporal logic properties. In: Tests and Proofs. Springer Berlin Heidelberg, 2009. p. 58-73. [4] FRASER, Gordon; WOTAWA, Franz; AMMANN, Paul E. Testing with model checkers: a survey. Software Testing, Verification and Reliability, 2009, 19.3: 215-261. [5] HAVELUND, Klaus; ROSU, Grigore. Testing linear temporal logic formulae on finite execution traces. Research Institute for Advanced Computer Science, Tech. Rep, 2001. [6] PNUELI, Amir. The temporal logic of programs. In: Foundations of Computer Science, 1977., 18th Annual Symposium on. IEEE, 1977. p. 46-57. [7] TAN, Li; SOKOLSKY, Oleg; LEE, Insup. Specification-based testing with linear temporal logic. In: Information Reuse and Integration, 2004. IRI 2004. Proceedings of the 2004 IEEE International Conference on. IEEE, 2004. p. 493-498. [8] AMALFITANO, Domenico, et al. Considering context events in event-based testing of mobile applications. In: Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference n. IEEE, 2013. p. 126-133. [9] AMALFITANO, Domenico, et al. Using GUI ripping for automated testing of Android applications. In: Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2012. p. 258-261. [10] AMALFITANO, Domenico, et al. A toolset for GUI testing of Android applications. In: Software Maintenance (ICSM), 2012 28th IEEE International Conference on. IEEE, 2012. p. 650-653. [11] AMALFITANO, Domenico; FASOLINO, Anna Rita; TRAMONTANA, Porfirio. A gui crawling-based technique for android mobile application testing. In: Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on. IEEE, 2011. p. 252-261. [12] AMALFITANO, Domenico, Fasolino, Anna Rita, Tramontana, Porfirio and Robbins, Bryan. 'Testing Android Mobile Applications: Challenges, Strategies, and Approaches.' Advances in Computers 89 (2013): 1-52. [13] HU, Cuixiong; NEAMTIU, Iulian. Automating GUI testing for Android applications. In: Proceedings of the 6th International Workshop on Automation of Software Test. ACM, 2011. p. 77-83. [14] MUCCINI, Henry; DI FRANCESCO, Antonio; ESPOSITO, Patrizio. Software testing of mobile applications: Challenges and future research directions. In: Automation of Software Test (AST), 2012 7th International Workshop on. IEEE, 2012. p. 29-35. [15] WASSERMAN, Anthony I. Software engineering issues for mobile application development. In: Proceedings of the FSE/SDP workshop on Future of software engineering research. ACM, 2010. p. 397-400. [16] XIE, Qing; MEMON, Atif M. Designing and comparing automated test oracles for GUI-based software applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 2007, 16.1: 4. [17] AMALFITANO, Domenico; FASOLINO, Anna Rita; TRAMONTANA, Porfirio. Rich internet application testing using execution trace data. In: Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on. IEEE, 2010. p. 274-283. [18] LIU, Zhifang; GAO, Xiaopeng; LONG, Xiang. Adaptive random testing of mobile application. In: Computer Engineering and Technology (ICCET), 2010 2nd International Conference on. IEEE, 2010. p. V2-297-V2-301. [19] MEMON, Atif; BANERJEE, Ishan; NAGARAJAN, Adithya. GUI ripping: Reverse engineering of graphical user interfaces for testing. In: 2013 20th Working Conference on Reverse Engineering (WCRE). IEEE Computer Society, 2003. p. 260-260. [20] MEMON, Atif M. An event‐ flow model of GUI‐ based applications for testing. Software Testing, Verification and Reliability, 2007, 17.3: 137-157. [21] YUAN, Xun; COHEN, Myra B.; MEMON, Atif M. GUI interaction testing: Incorporating event context. Software Engineering, IEEE Transactions on, 2011,37.4: 559-574. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/51519 | - |
| dc.description.abstract | 由於行動裝置技術的快速蓬勃發展，行動裝置應用程式的重要性以及數量都呈現爆炸性發展的趨勢。如何去驗證以及維護這些應用程式的品質已經是現今一個非常重大的問題，因此，有效率且自動化的測試是非常必要的。
在軟體測試中，線性時序邏輯是一個非常適合用來描述這些行動裝置應用程式行為的語言，但對於普通使用者而言，它卻是難以理解的。 在這篇論文中，我們呈現了一個使用線性時序邏輯特徵公式來測試安卓系統上應用程式的一個框架。這個框架包含了一個圖形介面工具，可以幫助使用者自動地或手動地創建線性時序邏輯公式來描述待測程式的行為，另外還包含了一個測試評估程序，可以用來評估測試結果數據是否符合我們所定義的線性時序邏輯公式特徵。我們的目標是提供一個專業的測試方式，以及在測試評估中獲得更高的準確率。 | zh_TW |
| dc.description.abstract | Along with the rapid development of mobile techniques, the importance and quantity of mobile device applications takes on a trend of explosive increase. How to verify and maintain the quality of these applications becomes a huge problem today, so an efficient automated testing is necessary. LTL (Linear temporal logic) is a well-suited language to describe the behaviors of mobile device applications for software testing. But it’s also incomprehensible to most of common people.
In this thesis, we present a framework to perform the testing for Android applications with LTL properties. The framework contains a tool with GUI to help users to construct their own LTL formulas automatically or manually (depending on user’s choice) to describe the specification of the SUT (system under test), and a trace evaluator to determine whether the traces of the SUT satisfy the given LTL property or not. Our goal is offering more professional testing method and getting higher accuracy in test evaluation. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-15T13:37:16Z (GMT). No. of bitstreams: 1 ntu-105-R99943151-1.pdf: 2600921 bytes, checksum: 8553bf5e1f9db792b5811afe87dd1da5 (MD5) Previous issue date: 2016 | en |
| dc.description.tableofcontents | 致謝...................................................I
摘要...................................................II ABSTRACT...............................................III CONTENTS...............................................IV LIST OF FIGURES........................................VI LIST OF TABLES.........................................VIII Chapter 1 Introduction.................................1 1.1 Background..........................................1 1.2 Motivation..........................................1 1.3 Purpose.............................................3 1.4 Organization........................................3 Chapter 2 Related Works................................5 2.1 Appium..............................................5 2.2 TaaD................................................6 Chapter 3 Preliminaries................................8 3.1 Traces..............................................8 3.2 LTL (Linear-time Temporal Logic)....................8 3.3 Test Evaluation.....................................9 Chapter 4 Framework...................................21 4.1 Spec. Explorer.....................................21 4.2 LTL Properties Evaluator with Spec. Explorer.......22 Chapter 5 Implementation.............................24 5.1 Spec. Explorer Demonstration.......................24 5.2 Algorithm of LTL Properties Evaluation.............30 Chapter 6 Experiments.................................33 6.1 Framework Choice...................................33 6.2 Experiment Design..................................34 6.3 Result and Discussion..............................34 Chapter 7 Conclusions.................................37 References.............................................38 | |
| dc.language.iso | en | |
| dc.subject | 測試自動化 | zh_TW |
| dc.subject | 軟體測試 | zh_TW |
| dc.subject | 安卓系統應用程式 | zh_TW |
| dc.subject | 測試評估 | zh_TW |
| dc.subject | 線性時序邏輯 | zh_TW |
| dc.subject | Android Applications | en |
| dc.subject | Automatic Testing | en |
| dc.subject | LTL | en |
| dc.subject | Test Evaluation | en |
| dc.subject | Software Testing | en |
| dc.title | 基於線性時序邏輯之安卓系統程式的整合式測試評估框架 | zh_TW |
| dc.title | Integrated Test Evaluation Framework on Android Applications for LTL Properties | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 104-1 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 王柏堯,陳郁方,郁方 | |
| dc.subject.keyword | 軟體測試,安卓系統應用程式,測試評估,線性時序邏輯,測試自動化, | zh_TW |
| dc.subject.keyword | Software Testing,Android Applications,Test Evaluation,LTL,Automatic Testing, | en |
| dc.relation.page | 42 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2016-01-26 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
| 顯示於系所單位： | 電子工程學研究所 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-105-1.pdf 未授權公開取用 | 2.54 MB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。