請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/4525
完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.advisor | 王凡(Farn Wang) | |
dc.contributor.author | Tsung-Yau Chen | en |
dc.contributor.author | 陳宗堯 | zh_TW |
dc.date.accessioned | 2021-05-14T17:43:00Z | - |
dc.date.available | 2020-08-28 | |
dc.date.available | 2021-05-14T17:43:00Z | - |
dc.date.copyright | 2015-08-28 | |
dc.date.issued | 2015 | |
dc.date.submitted | 2015-08-12 | |
dc.identifier.citation | • “Using declarative specification to improve the understanding, extensibility, and comparison of model-inference algorithms”by Ivan Beschastnikh, Yuriy Brun, Jenny Abrahamson, Michael D. Ernst, and Arvind Krishnamurthy. IEEE Transactions on Software Engineering (2015) • “Mining temporal invariants from partially ordered logs” by Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, Arvind Krishnamurthy, and Thomas E. Anderson. SIGOPS Operating Systems Review (2011) • “Building and using pluggable type-checkers”by Werner Dietl, Stephanie Dietzel, Michael D. Ernst, Kıvanç Muşlu, and Todd Schiller. In ICSE'11, Proceedings of the 33rd International Conference on Software Engineering,(2011) • “Performance Enhancements for a Dynamic Invariant Detector”by Chen Xiao. Masters thesis, MIT Department of Electrical Engineering and Computer Science, (2007) • 'IODINE: A tool to automatically infer dynamic invariants for hardware designs' In the Design Automation Conference, DAC 2005. • The Daikon system for dynamic detection of likely invariants Michael D. Ernst∗ , Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao (2007) • “Efficient Incremental Algorithms for Dynamic Detection of Likely Invariants” Jeff H. Perkins Michael D. Ernst MIT(2004) • “Dynamically discovering likely program invariants to support program evolution” by Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. IEEE Transactions on Software Engineering, vol. 27, no. 2, Feb. 2001 • “Dynamically Discovering Likely Program Invariants” by Michael D. Ernst. Ph.D. dissertation, University of Washington Department of Computer Science and Engineering, (Seattle, Washington), Aug. 2000 • “JDiff: A differencing technique and tool for object-oriented programs” by Taweesup Apiwattanapong, Alessandro Orso, and Mary Jean Harrold. Automated Software Engineering Journal, vol. 14, Mar. 2007 | |
dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/4525 | - |
dc.description.abstract | 自從智慧型手機問世以後,行動裝置的應用程式已經變成軟體產業中很重要的一部分。Android是目前行動裝置平台使用者最多的。而現在有關Android應用程式測試的研究也變得更加的完整。然而,現在並沒有一個關於Android的測試準則方法可以用。測試準則是測試自動化當中重要的環節。大多數的應用程式都需要一個測試準則來驗證待測物的行為就是正確與否。現在大多數的晚體工程師都是用人力來做這樣的判斷,但是這樣的代價是大量的時間跟金錢成本。這就是為何現在測試準則已經逐漸變成一個自動化測試上的瓶頸。 這篇論文介紹這個系統可以利用不變量測試的概念去建構測試準則,應用的環境是黑箱測試。這個系統能抓取執行紀錄的特徵,用來建構測試準則。然後我們就能使用這測試準則來預判一個待測物究竟會是成功或失敗。我們的目標是希望能減少人力,同時盡可能地達到更高的精準度。 | zh_TW |
dc.description.abstract | Since the invention of the smart phone, the mobile application becomes the important part of the software industry. Android has the most users in mobile platform. The researches about Android application testing technology are more and more completely. However there is no test oracle construction tool for Android. The test oracle is an important part of test automation. Most applications need the test oracle to verify the software under test for whether it behaviors correct or not. Recently, software engineers always do it by human power, which costs lots of time and money. It’s why the test oracle is becoming a bottleneck of the automated testing. This paper introduces a system that constructs the test oracle by the concepts of invariant testing. It works on black-testing. The system gets the features of execution traces, build the test oracle up. Then we can use the test oracle to predict the behaviors of the software under test. Our goals are reducing the human cost, and getting as high accuracy as possible. | en |
dc.description.provenance | Made available in DSpace on 2021-05-14T17:43:00Z (GMT). No. of bitstreams: 1 ntu-104-R00943156-1.pdf: 2907358 bytes, checksum: fcbd6fde3e81bfc7048e3adee06bbefb (MD5) Previous issue date: 2015 | en |
dc.description.tableofcontents | Chapter 1 Introduction 1 Chapter 2 Preliminary 3 2.1 Daikon 3 2.2 Xpath 5 Chapter 3 Framework 6 3.1 Overview 6 3.2 Concepts of using Daikon for GUI testing 7 3.3 Dtrace format constraints 10 Chapter 4 Algorithm 13 4.1 Test Oracle Construction 13 4.2 FixedAttributeFinder : 14 4.3 ProperVerifier 14 Chapter 5 Experiment 15 5.1 Experiment environment 15 5.2 Benchmark 15 5.3 Experiment Design 16 5.4 Experiments 17 5.5 Meaningful invariant example 22 Chapter 6 Conclusion 24 Chapter 7 Future Work 25 | |
dc.language.iso | en | |
dc.title | 以不變量為基底的安卓應用程式測試準則 | zh_TW |
dc.title | Invariant Based Test Oracle Construction for Android Apps | en |
dc.type | Thesis | |
dc.date.schoolyear | 103-2 | |
dc.description.degree | 碩士 | |
dc.contributor.oralexamcommittee | 陳明義,廖純中(Churn-Jung Liau),雷欽隆(Chin-Laung Lei),陳銘憲(Ming-Syan Chen) | |
dc.subject.keyword | 軟體測試,安卓應用程式測試,測試準則,不變量測試, | zh_TW |
dc.subject.keyword | software testing,Android application testing,test oracle,invariant testing, | en |
dc.relation.page | 27 | |
dc.rights.note | 同意授權(全球公開) | |
dc.date.accepted | 2015-08-13 | |
dc.contributor.author-college | 電機資訊學院 | zh_TW |
dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
顯示於系所單位: | 電子工程學研究所 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-104-1.pdf | 2.84 MB | Adobe PDF | 檢視/開啟 |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。