請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25203完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 王凡 | |
| dc.contributor.author | Chia-Ching Lee | en |
| dc.contributor.author | 李家慶 | zh_TW |
| dc.date.accessioned | 2021-06-08T06:05:08Z | - |
| dc.date.copyright | 2007-07-29 | |
| dc.date.issued | 2007 | |
| dc.date.submitted | 2007-07-22 | |
| dc.identifier.citation | [1] J. Chen and F. Wang, “Compiler Infrastructure for the industrial software verification in an open environment”, Verification Automation Lab, Graduate Institute of Electrical Engineering, NTU, Taiwan, June, 2005
[2] TTCN-3 Organization, http://www.ttcn-3.org/home.htm [3] TTCN-3 Standard Part 1: ES 201 873-1 3.2.1 TTCN-3: Core Language [4] TTCN-3 Standard Part 2: ES 201 873-1 3.2.1 TTCN-3: Tabular Presentation Format [5] TTCN-3 Standard Part 3: ES 201 873-1 3.2.1 TTCN-3: Graphical Presentation Format [6] TTCN-3 Standard Part 4: ES 201 873-1 3.2.1 TTCN-3: Operational Semantics [7] TTCN-3 Standard Part 5: ES 201 873-1 3.2.1 TTCN-3: Runtime Interface [8] TTCN-3 Standard Part 6: ES 201 873-1 3.2.1 TTCN-3: Control Interface [9] R. Bernecky, “Profiling, Performance, and Perfection”, ACM, 1989 [10] B. Calder, P. Feller and A. Eustace, “Value Profiling”, IEEE, 1997 [11] T. Ball and J. Larus, “Efficient Path Profiling”, IEEE, 1996 [12] M. Bond and K. McKinley, “Continuous Path and Edge Profiling”, Proceeding of the 38th Annual IEEE/ACM International Symposium on Microarchitecture, 2005 [13] J. Larus, “Whole Program Paths”, ACM, 1999 [14] M. Arnold and D. Grove, “Collecting and Exploiting High-Accuracy Call Graph Profiles in Virtual Machines”, Proceedings of the International Symposium on Code Generation and Optimization, 2005. [15] E. Raman and D. August, “Recursive Data Structure Profiling”, MSP, ACM, 2005 [16] T. Moseley, D. Connors, Dirk Grunwald and Ramesh Peri, “Identifying Potential Parallelism via Loop-centric Profiling”, CF`07, May, 2007 [17] P. McQuaid, “Profiling Software Complexity”, ACM, 1995 [18] J. Vetter, “Dyanmic Statistical Profiling of Communication Activity in Distributed Applications”, Technical Report UCRL-JC-145800 [19] T. Ball and J. Larus, “Optimally Profiling and Tracing Programs”, ACM, 1992 [20] S. Sastry, R. Bodík and J. Smith, “Rapid Profiling via Stratified Sampling”, IEEE, 2001. [21] M. Tikir and J. Hollingsworth, “Efficient Instrumentation for Code Coverage Testing”, ACM, 2002 [22] N. Kumar, B. Childers and M. Soffa, “Low Overhead Program Monitoring and Profiling”, ACM, 2005 [23] P. Nagpurkar, H. Mousa, C. Krintz and T. Sherwood, “Efficient Remote Profiling for Resourc-Constrained Devices”, ACM Transaction on Architecture and Code Optimization, Vol. 3, No. 1, March 2006. [24] C. Willcock, T. Deiβ, S. Tobies, S. Keil, F. Engler and S. Schulz, “An Introduction to TTCN-3”, John Wiley & Sons, Ltd., 2005 [25] CORBA organization, http://www.corba.org [26] L. Hatton, “Safer C”, McGRAW-HiLL Book Company Europe, 1995 [27] A. Bertolino and E. Marchetti, “A Brief Essay on Software Testing”, Software Engineering Volume 1: The Development Process Third Edition, IEEE, 2005 [28] R. Patton, “Software Testing ”, 2nd edition, Sams Publishing, 2006 [29] C. Kaner, J. Bach and B. Pettichord, “Lessons Learned in Software Testing”, John Wiley & Sons, Inc.,2002 [30] W. Perry, “Effective Methods for Software Testing”, John Wiley & Sons, Inc., 2000 [31] J. Munson, “Software Specification and Design, an Engineering Approach”, Auerbach Publications, 2006 [32] R. Binder, “Testing Objected-Oriented Systems – Models, Patterns, and Tools”, Addison-Wesley, 1999. [33] I. Horton, “Beginning Visual C++ 6”, Wrox Press Ltd., 1998 [34] P. Jorgensen, “Software Testing a Craftsman’s Approach”, CRC Press, 1995 [35] S. Pfleeger, “Software Engineering Theory and Practice”, Prentice-Hall, 2001 [36] D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y. Kim, and Y. Song, “Developing an Objected-Oriented Software Testing and Maintenance Environment”, Communication of the ACM, 1995. [37] Y. Labiche, P. Thévenod-Fosse, H. Waeselynck, and M. H. Durand, “Testing Level for Objected-Oriented Software”, Proceeding of ICSE, Limerick, Ireland, June 2000 [38] M. Lyu, “Handbook of Software Reliability Engineering”, McGrow-Hill, 1996 [39] G. Necula, S. McPeak, S. Rahul and W. Weimer,“CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs”, Proceedings of Conference on Compilier Construction, 2002. [40] Aho, Lam, Sethi, and Ullman, “Compilers: Principles, Techniques, & Tools”, Pearson Education, Inc., 2007 [41] GCC, the GNU C Compiler, http://gcc.gnu.org | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/25203 | - |
| dc.description.abstract | 軟體測試在軟體發展過程中扮演著非常重要的角色，特別是在這隨處都可使用到軟體的年代。藉由低價電腦和網路普及的力量，我們每天使用軟體來解決問題或和他人溝通。由於積體電路的製程進步，我們可以輕易地在手掌間使用電子個人隨身助理 (Personal Digital Assistant, PDA) 來處理資料，打電話，聽音樂，看影片及使用其他功能。這更使得軟體無所不在。
但我們要如何證明開發的軟體是正確沒有問題且不會造成損害或災難呢？這是軟體測試工程所關心的問題。 這篇論文使用軟體測試理論、分析表格及軟體評測技術在電腦C語言及 TTCN - 3 測試語言間建立一條溝通的道路，使得軟體測試更有效率。C語言的威力可由其發展年代至今而感受到；而 TTCN - 3 測試語言已在大型複雜的工業用軟體如3 G網路元件上證實其效果。開發軟體評測技術並將C語言寫成的待測軟體系統資訊轉換成 TTCN - 3 測試案例是本篇論文的目的。 | zh_TW |
| dc.description.abstract | Software testing is playing a very important role in software development process since software is everywhere. By the power of the cost down personal computer and network, we use software everyday to solve problems we meet or commuicate with people. With the improvement of
the IC technology, we could use a personal digital assistant, PDA, in hands to process data, talk to people, listen to music or watch video, etc. Software isubiquitous. But how could we prove the software we use is correct without bugs and will not cause further damage or disaster? This is the concern of the software testing engineering. In this thesis, by the theories of the software testing, the parsing table and the software profiling technology, we construct a road between C language and TTCN-3, Test and Test Control Version 3, which is an internationally standardized testing language and is proven to work in very large and complex industrial tests, e.g., of 3G network element, and try to make software testing more effective. C language is very powerful we could tell this from its age. We develop the technology of software profiling and translate the data of the software system under test in C language into TTCN-3 test cases. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-08T06:05:08Z (GMT). No. of bitstreams: 1 ntu-96-P93943002-1.pdf: 1265274 bytes, checksum: e8cdd4c728e0e1657a76011b8018d64d (MD5) Previous issue date: 2007 | en |
| dc.description.tableofcontents | Contents
ABSTRACT............................................. vi LIST OF FIGURES...................................... vii LIST OF TABLES....................................... viii CHAPTER 1.INTRODUCTION............................... 1 1.1 SOFTWARE PROFILING.............................. 3 1.2 PARSING TABLE................................... 5 1.3 TTCN-3........................................... 10 CHAPTER 2. SOFTWARE PROFILING ENVIRONMENT............. 13 2.1 UNIT TESTING AND SOFTWARE PROFILING.............. 14 2.2 INTEGRATION TESTING AND SOFTWARE PROFILING....... 18 2.3 SYSTEM TESTING AND SOFTWARE PROFILING............ 20 CHAPTER 3. ARCHITECTURE............................... 23 3.1 SYSTEM OVERVIEW.................................. 23 3.2 FUNCTIONAL DESCRIPTION OF EACH MODULE............ 25 3.2.1 Software Preparation........................... 25 3.2.2 Parsing Table Generation....................... 25 3.2.3 Profiling Setup File........................... 27 3.2.4 Profiling Preprocessor......................... 31 3.2.5 Software Compilation........................... 32 3.2.6 Program Execution, Profiling Data Collection and Analysis.............................................. 32 3.2.7 Profiling Data to TTCN-3 Test Case Translation. 33 3.2.8 Profiling Analysis Feedback.................... 33 CHAPTER 4. IMPLEMENTATION............................. 35 4.1 CONSINDERATION FOR SOFTWARE ARCHITECTURE......... 35 4.2 PROFILING PREPROCESSOR........................... 36 4.3 PROFILING DATA TO TTCN-3 TEST CASE TRANSLATION... 40 4.4 PROFILING DATA ANALYSIS AND FEEDBACK............. 42 CHAPTER 5. RESULT..................................... 43 CHAPTER 6. CONCLUSION................................. 51 BIBLIOGRAPHY...........................................52 | |
| dc.language.iso | en | |
| dc.title | 針對軟體測試的軟體評測自動技術 | zh_TW |
| dc.title | Automatic Software Profiling for Sortware Testing | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 95-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 蔡其達,黃鐘揚,魏宏宇 | |
| dc.subject.keyword | 軟體測試,軟體評測,分析表格,TTCN-3,測試案例, | zh_TW |
| dc.subject.keyword | software testing,software profiling,parsing table,TTCN-3,test case, | en |
| dc.relation.page | 53 | |
| dc.rights.note | 未授權 | |
| dc.date.accepted | 2007-07-24 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
| 顯示於系所單位： | 電子工程學研究所 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-96-1.pdf 目前未授權公開取用 | 1.24 MB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。