請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38473完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 王凡(Farn Wang) | |
| dc.contributor.author | Kuo-Chiao Huang | en |
| dc.contributor.author | 黃國僑 | zh_TW |
| dc.date.accessioned | 2021-06-13T16:34:37Z | - |
| dc.date.available | 2011-07-26 | |
| dc.date.copyright | 2011-07-26 | |
| dc.date.issued | 2010 | |
| dc.date.submitted | 2011-07-19 | |
| dc.identifier.citation | [1] Abbot. http://abbot.sourceforge.net/doc/overview.shtml.
[2] Autoit. http://www.autoitscript.com/autoit3/index.shtml. [3] Fest. http://fest.easytesting.org/wiki/pmwiki.php. [4] Microsoft live messenger. http://messengersays.spaces.live.com/. [5] Winrunner. http://www.winrunner.com. [6] R. Alur and D. L. Dill. A theory of timed automata. [7] F. Belina and D. Hogrefe. The ccitt-specification and description language sdl. Computer Networks and ISDN Systems, 16(4):311–341, March 1989. [8] E. Borger and R. Stark. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer-Verlag, 2003. [9] R. Brunelli. Template Matching Techniques in Computer Vision: Theory and Practice. Wiley, 2009. [10] E. R. Davies. Machine Vision, Third Edition: Theory, Algorithms, Practicalities (Signal Processing and its Applications). Morgan Kaufmann, 3rd edition, 2005. [11] G. Fraser, F. Wotawa, and P. E. Ammann. Testing with model checkers: a survey. Software Testing, Verification and Reliability, 19(3):215–261, 2009. 45 [12] J. H. Hicinbothom and W. W. Zachary. A tool for automatically generating transcripts of human-computer interaction. In In Proceedings of the Human Factors and Ergonomics Society 37th Annual Meeting, volume 2 of SPECIAL SESSIONS: Demonstrations, page 1042. Human Factors and Ergonomics Society, 1993. [13] M. W. Kanglin Li. Effective GUI Test Automation. SYBEX Inc., 2005. [14] M. Lutz and D. Ascher. Learning Python, 2nd Edition. O’Reilly, 2004. [15] A. M. Memon. GUI testing: Pitfalls and process. Computer, 35(8):87–88, 2002. [16] A. M. Memon. Advances in GUI testing. In M. V. Zelkowitz, editor, Highly Dependable Software – Advances in Computers, volume 58, pages 149–201. Academic Press, 2003. [17] A. M. Memon, I. Banerjee, and A. Nagarajan. GUI ripping: Reverse engineering of graphical user interfaces for testing. In Proceedings of The 10thWorking Conference on Reverse Engineering, Nov. 2003. [18] A. M. Memon, M. E. Pollack, and M. L. Soffa. Hierarchical GUI test case generation using automated planning. IEEE Trans. Softw. Eng., 27(2):144–155, 2001. [19] A. M. Memon, M. L. Soffa, and M. E. Pollack. Coverage criteria for gui testing. In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 256–267, New York, NY, USA, 2001. ACM. [20] R. L. Rivest and C. E. Leiserson. Introduction to Algorithms. McGraw-Hill, Inc., New York, NY, USA, 1990. [21] M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, 2006. 46 [22] F.Wang. Efficient verification of timed automata with bdd-like data-structures. STTT (Software Tools for Technology Transfer), 6(1), 2004. special issue for the 4th VMCAI, Jan. 2003, LNCS 2575, Springer-Verlag. [23] E. J. Weyuker. How to judge testing progress. Journal of Information and Software Technology, 45(5), 2004. [24] E. J.Weyuker. In defense of coverage criteria. In Proceedings of the 11th ACM/IEEE International Conf. on Software Engineering(ICSE), May, 1989. [25] T. Yeh, T.-H. Chang, and R. C. Miller. Sikuli: using gui screenshots for search and automation. In UIST ’09: Proceedings of the 22nd annual ACM symposium on User interface software and technology, pages 183–192, New York, NY, USA, 2009. ACM. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/38473 | - |
| dc.description.abstract | 本論文提出一個以模型為基礎的圖形介面測試架構， 並且測試的過程中採用圖形化測試腳本， 在這個架構中，待測物的規範由使用者經由網頁輸入的狀態轉移表(state-transition table)來描述， 我們開發了兩套自動化測試工具可以建立Sikuli的圖形化測試腳本並且利用特徵圖片去檢查圖形介面程式的錯誤。第一個工具會根據規範檢查待測物的頁面是否被定義、在這頁面中所有的按鈕是否被定義或是有缺失。第二個工具，首先經由狀態轉移表建立一個自動機， 以模型為基礎的方式經由特定的測試標準決定測試計畫， 我們實做了兩個測試計畫，隨機與深度優先來計算按鈕覆蓋率button coverage)來展示了這個可能性， 之後我們提出一些增加測試腳本效率的技巧， 最後我們將實驗進行在定點看護(point-of-care)的醫療系統之上，並成功得發現數個錯誤。 | zh_TW |
| dc.description.abstract | We present a framework of model-based GUI (graphical user-interface) testing with visual test scripts. In the framework, the system-under-test (SUT) specifications are state-transition tables input from a web interface. We developed two automatic testing tools that construct visual test scripts in Sikuli and use feature images to check for bugs in GUI programs. The first tool explores the pages of the SUT and applies test cases to check if a page is defined, if all buttons in the pages are defined, and if some buttons are missing in a page according to the specification. The second tool constructs an automata from the state-transition table and then uses model-based techniques to construct test plans for certain testing criteria. We show the feasibility of the idea with two test strategies, random and depth-first search, and the button-coverage criterion. We then discuss some techniques for the construction of efficient visual test scripts. We report our experiment with a point-of-care medication administration system. Our tools successfully helped in discovering several bugs. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T16:34:37Z (GMT). No. of bitstreams: 1 ntu-99-R97921031-1.pdf: 3154605 bytes, checksum: a77f88ef551bed7255a2aceb18091a6c (MD5) Previous issue date: 2010 | en |
| dc.description.tableofcontents | 目次（含頁碼）
誌謝 iii 中文摘要 v Abstract vii 1 Introduction 1 2 Related work 3 3 Background 5 3.1 Models of GUI programs 5 3.1.1 Synchronizations 8 3.1.2 Trigger Conditions 8 3.1.3 Actions 8 3.1.4 States 8 3.1.5 State transitions 9 3.1.6 Model computation 9 3.2 Test cases and execution 9 3.3 GUI testing 10 3.3.1 Graphical User Interface (GUI) 10 3.3.2 GUI testing steps 10 3.4 Path Generator (pathg) 11 3.5 Sikuli 12 4 Framework of GUI testing 17 5 State-transition tables as specifications 19 5.1 Variable table 19 5.2 Transition rule table 20 5.3 How to describe the User Event 21 6 Checking for undefined pages, missing buttons, and undefined buttons 25 7 Model-based test plan construction 29 7.1 Test-plan procedure with DFS strategy 29 7.2 From model computation to Sikuli script 32 7.3 Execution of Sikuli test scripts 33 8 Implementation with efficient test scripts 35 8.1 Harnessing pathg for test script generation 35 8.2 Enhancing the efficiency of visual test scripts 36 9 Experiment 39 9.1 iNuC 39 9.2 Experiment for undefined pages, missing buttons, and undefined buttons 40 9.3 Experiment with model-based GUI testing 41 10 Conclusion 43 Bibliography 45 | |
| dc.language.iso | en | |
| dc.subject | 圖形介面測試 | zh_TW |
| dc.subject | 軟體測試 | zh_TW |
| dc.subject | 模型基礎 | zh_TW |
| dc.subject | 圖形化測試腳本 | zh_TW |
| dc.subject | event coverage | en |
| dc.subject | specification | en |
| dc.subject | GUI testing | en |
| dc.subject | experiment | en |
| dc.subject | model-based | en |
| dc.subject | software testing | en |
| dc.subject | visual test scripts | en |
| dc.title | 利用Sikuli進行以模型為基礎的圖形介面測試 | zh_TW |
| dc.title | Model-Based GUI Testing Using Sikuli | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 99-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 施吉昇(Chi-Sheng Shih),陳俊壯,黃鐘揚(Chung-Yang Huang),廖純中 | |
| dc.subject.keyword | 圖形介面測試,圖形化測試腳本,模型基礎,軟體測試, | zh_TW |
| dc.subject.keyword | GUI testing,visual test scripts,experiment,model-based,event coverage,software testing,specification, | en |
| dc.relation.page | 47 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2011-07-19 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電機工程學研究所 | zh_TW |
| 顯示於系所單位： | 電機工程學系 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-99-1.pdf 未授權公開取用 | 3.08 MB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。