請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/28635
完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.advisor | 王凡(Farn Wang) | |
dc.contributor.author | Wen-Ting Huang | en |
dc.contributor.author | 黃雯婷 | zh_TW |
dc.date.accessioned | 2021-06-13T00:15:06Z | - |
dc.date.available | 2008-07-30 | |
dc.date.copyright | 2007-07-30 | |
dc.date.issued | 2007 | |
dc.date.submitted | 2007-07-26 | |
dc.identifier.citation | [1] http://www.t13.org/, Technical Committee T13 is responsible for all interface
standards relating to the popular AT Attachment (ATA) storage interface . [2] http://www.kernel.org/, Linux Kernel Source Archives. [3] http://tldp.org/HOWTO/Software-RAID-HOWTO.html, The software-RAID HOWTO describes how to use Software RAID under Linux. [4] http://fabrice.bellard.free.fr/qemu/, QEMU is a generic and open source processor emulator. [5] Alessandro Rubini, Jonathan Corbet, OReilly, 2nd Edition, LINUX device drivers. [6] http://www.microsoft.com/technet/try/vhd/overview.mspx, Microsoft Virtual Hard Disk Overview. [7] http://www.vmware.com/pdf/virtualization.pdf, VMware Virtualization Overview. [8] http://www.w3schools.com/xpath/default.asp, XPath Tutorial. [9] Colin Willcock, Thomas BeiB, Stephan Tobies, Stefan Keil, Federico Engler and Stephan Schulz, Nokia, Germany and Finland. An Introduction to TTCN-3. John Wiley & Sons, Ltd, 2005 [10] http://www.w3.org/TR/xquery/, XQuery 1.0: An XML Query Language [11] ETSI: Methods for Testing and Speci cation (MTS) { The Testing and Test Con- trol Notation version 3 { Part 1: TTCN-3 Core Language. ETSI ES 201 873-1 v3.1.1 2005-06 [12] ETSI: Methods for Testing and Speci cation (MTS) { The Testing and Test Con- trol Notation version 3 { Part 2: TTCN-3 Tabular presentation Format (TFT). ETSI ES 201 873-2 v3.1.1 2005-06 [13] ETSI: Methods for Testing and Speci cation (MTS) { The Testing and Test Con- trol Notation version 3 { Part 3: TTCN-3 Graphical Presentation Format (GFT). ETSI ES 201 873-3 v3.1.1 2005-06 50 [14] ETSI: Methods for Testing and Speci cation (MTS) { The Testing and Test Con- trol Notation version 3 { Part 4: TTCN-3 Operational Semantics. ETSI ES 201 873-4 v3.1.1 2005-06 [15] ETSI: Methods for Testing and Speci cation (MTS) { The Testing and Test Con- trol Notation version 3 { Part 5: TTCN-3 Runtime Interface (TRI). ETSI ES 201 873-5 v3.1.1 2005-06 [16] Hanene Ben-Abdallah and Stefan Leue. Electrical and Computer Engineering Uni- versity of Waterloo.Architeture of a Requirements and Design Tool Based on Mes- sage Sequence Charts, 1996 [17] J. F. Bartlett. A NonStop kernel. In Proceedings of the 8th ACM Symposium on Operating Systems Principles, Dec. 1981. [18] T. C. Bressoud and F. B. Schneider. Hypervisor-based fault tolerance. ACM Trans- actions on Computer Systems, 14(1):80V107, Feb. 1996. [19] Jen-Po Wang.The Graphical Interface Design for Software System Test Case Gen- eration. Graguate thesis of NTUEE, 2006 [20] Ted J. Biggersta 2.A New Architecture for Transformation-Based Genera- tors1.IEEE Transactions on Software Engineering archive Volume 30 ,December 2004 [21] http://www.prakinf.tu-ilmenau.de/ czarn/generate/engl.html,Generative and Component-Based Software Engineering [22] Pulkkinen, Pekka.Mapping C++ Data Types into a Test Speci cation Language. VTT Electronics, Espoo. 89 p. + app. 13 p. VTT Publications : 542,2004. [23] Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. Recovering device drivers. In Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, USA, De- cember 2004. [24] J. Tretmans. Testing techniques. Reader, Univeriteit Twente, 2002. [25] http://modis.ispras.ru/sedna/index.htm, Sedna, A Native XML Database system [26] http://www.xml.com/pub/p/841, Sedna XML DBMS [27] M. Rutherford and A. L. Wolf. A Case for Test-Code Generation in Model-Driven Systems. In International Conference on Generative Programming and Component Engineering (GPCE) 2003. [28] K. Czarnecki and U.W. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000. | |
dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/28635 | - |
dc.description.abstract | This thesis describes our work on constructing an emulator for emulating multiple
hard drive disks. We introduce an operating system mechanism called a virtual hard disk. A virtual hard disk manipulates the requests and responses of device drivers to emulate IDE storage disk. In this way, applications can use the VHD, as well as using physical hard drive disks. No changes to existing device drivers except modest changes to the OS kernel are needed. Furthermore, we introduced the way to build the emulator by generative programming and model-driven development which helps save time and material cost for industral developers and maintainers. | en |
dc.description.provenance | Made available in DSpace on 2021-06-13T00:15:06Z (GMT). No. of bitstreams: 1 ntu-96-P94921009-1.pdf: 995662 bytes, checksum: c1b2e4d16482c0ff921ef9991404a357 (MD5) Previous issue date: 2007 | en |
dc.description.tableofcontents | Contents i
List of Figures iii List of Tables iv Acknowledgements v 1 Introduction 1 2 Emulation of Hard Drive Disk 4 2.1 VHD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 IDE Control Emulator . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2.1 I/O Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.3 I/O Event Manager . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.1 System Calls and Signals . . . . . . . . . . . . . . . . . . . . . . 11 2.3.2 Access Time . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.3.3 Regulation of Time . . . . . . . . . . . . . . . . . . . . . . . . . 15 3 Extension of TTCN-3 Executable Engine 17 3.1 Tool Chain Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.1.1 Test and Testing Notation 3(TTCN-3) . . . . . . . . . . . . . . 19 3.1.2 GFT - Graphical Editor . . . . . . . . . . . . . . . . . . . . . . 19 3.1.3 TTCN-3 to XML Parser . . . . . . . . . . . . . . . . . . . . . . 20 3.2 Testcase Executable Engine . . . . . . . . . . . . . . . . . . . . . . . . 21 3.2.1 XQuery and XPath . . . . . . . . . . . . . . . . . . . . . . . . . 22 i 3.2.2 Mapping . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.3 Extension Part . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.3.1 Use of C Language . . . . . . . . . . . . . . . . . . . . . . . . . 24 3.3.2 Pointers in C/C++ . . . . . . . . . . . . . . . . . . . . . . . . . 25 3.3.3 Handling of Special Characters . . . . . . . . . . . . . . . . . . 26 3.3.4 Other Modications . . . . . . . . . . . . . . . . . . . . . . . . 26 3.3.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 4 Examples 29 4.1 Generation of Request Manager . . . . . . . . . . . . . . . . . . . . . . 30 4.2 Simulation of Cell Phone Communication . . . . . . . . . . . . . . . . . 32 4.3 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 5 Related Works 37 6 Conclusions 39 7 Future Work 41 A Predened header le of VHD example 42 B Predened header les of send/receive example 45 C The C list functions for TTCN-3 47 Bibliography 50. . . . . . . . . . . . . . . | |
dc.language.iso | en | |
dc.title | 電腦系統之高效率高階仿真器的建置 | zh_TW |
dc.title | Efficient and High-Level Emulator Construction for Computer Systems | en |
dc.type | Thesis | |
dc.date.schoolyear | 95-2 | |
dc.description.degree | 碩士 | |
dc.contributor.oralexamcommittee | 魏宏宇(Hung-Yu Wei),蔡其達,鄭大慶 | |
dc.subject.keyword | 仿真器,虛擬硬碟, | zh_TW |
dc.subject.keyword | emulator,VHD,TTCN-3, | en |
dc.relation.page | 51 | |
dc.rights.note | 有償授權 | |
dc.date.accepted | 2007-07-27 | |
dc.contributor.author-college | 電機資訊學院 | zh_TW |
dc.contributor.author-dept | 電機工程學研究所 | zh_TW |
顯示於系所單位: | 電機工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-96-1.pdf 目前未授權公開取用 | 972.33 kB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。