跳到主要內容

臺灣博碩士論文加值系統

(3.231.230.177) 您好!臺灣時間:2021/07/28 14:32
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

我願授權國圖
: 
twitterline
研究生:黃雯婷
研究生(外文):Wen-Ting Huang
論文名稱:電腦系統之高效率高階仿真器的建置
論文名稱(外文):Efficient and High-Level Emulator Construction for Computer Systems
指導教授:王凡
指導教授(外文):Farn Wang
學位類別:碩士
校院名稱:國立臺灣大學
系所名稱:電機工程學研究所
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2007
畢業學年度:95
語文別:英文
論文頁數:51
中文關鍵詞:仿真器虛擬硬碟
外文關鍵詞:emulatorVHDTTCN-3
相關次數:
  • 被引用被引用:0
  • 點閱點閱:83
  • 評分評分:
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
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.
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 Modi cations . . . . . . . . . . . . . . . . . . . . . . . . 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 Prede ned header le of VHD example 42
B Prede ned header les of send/receive example 45
C The C list functions for TTCN-3 47
Bibliography 50. . . . . . . . . . . . . . .
[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.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top