請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/28765完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 王凡(Farn Wang) | |
| dc.contributor.author | Wei-Yu Lin | en |
| dc.contributor.author | 林偉裕 | zh_TW |
| dc.date.accessioned | 2021-06-13T00:21:36Z | - |
| dc.date.available | 2007-07-31 | |
| dc.date.copyright | 2007-07-31 | |
| dc.date.issued | 2007 | |
| dc.date.submitted | 2007-07-27 | |
| dc.identifier.citation | [1] ETSI: Methods for Testing and Specification (MTS) – The Testing and Test Control
Notation version 3 – Part 1:TTCN-3 Core Language. ETSI ES 201 873-1 v3.2.1 2007-02 [2] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 2: TTCN-3 Tabular presentation Format (TFT). ETSI ES 201 873-2 V3.2.1 (2007-02) [3] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 3: TTCN-3 Graphical presentation Format (GFT). ETSI ES 201 873-3 V3.2.1 (2007-02) [4] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 4: TTCN-3 Operational Semantics. ETSI ES 201 873-4 V3.2.1 (2007-02) [5] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 5: TTCN-3 Runtime Interface (TRI). ETSI ES 201 873-5 V3.2.1 (2007-02) [6] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 6: TTCN-3 Control Interface (TCI). ETSI ES 201 873-6 V3.2.1 (2007-02) [7] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 7: Using ASN.1 with TTCN-3. ETSI ES 201 873-7 V3.1.1 (2005-06) [8] ETSI: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3 – Part 8: The IDL to TTCN-3 Mapping. ETSI ES 201 873-8 V3.2.1 (2007-02) [9] Zhi-Wei Lin. MSC-based Testing Automation Flow Experiment in Internet. (2007-07) [10] Ming-Chang Tung. SUT Profiling and TTCN-3 Adaptor Construction for a Mobile Phone Simulator. (2007-07) [11] Tsung-Ju Yang. TTCN-3 Test Compilation and Execution. (2007-07) [12] Li-Ping Lin Rule-based Adaptive Test Plan Generation. (2007-07) [13] Tutorial on MSC-92. TIMe Electronic Textbook v4.0, SINTEF, 1999 [14] C.Willcock, Thomas Deib, Stephan Tobies, S.Keil, F.Engler and S.Schulz. 2005 JohnWiley & Sons, Ltd. An Introduction to TTCN-3. [15] D.Lee, and M.Yannakakis : ‘Testing finite state machines: state identification and verification’, IEEE Trans. Comput., 1994, 43, (3), pp. 306V320 [16] ITU-T, ‘Recommendation Z.500 framework on formal methods in conformance testing’, International Telecommunication Union, Geneva, Switzerland, 1997 [17] Constructing multiple unique input/output sequences using metaheuristic optimisation techniques [18] Lee, D., and Yannakakis, M.: ‘Principles and methods of testing finite state machines V a survey’, Proc. IEEE, 1996, 84, (8), pp. 1090V1122 [19] E. Berard. Essays in Object-Oriented Software Engineering. Prentice Hall, 1992. [20] W. Tracz. Domain analysis working group report. In First International Workshop on Software Reusability, 1991. [21] G. Arango and R. Prieto-Diaz. Domain analysis: Concepts and research directions. In R. Prieto-Diaz and G. Arango, editors, Domain Analysis: Acquisition of Reusable Information for Software Construction. IEEE Computer Society Press, May 1989. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/28765 | - |
| dc.description.abstract | 測試計畫為有效率的執行測試程式的基石. 在軟體研發過程中, 一個測試計畫為紀錄軟體的目的, 需求, 測試方式, 測試案例的設計與執行的文件. 我們實驗室研發出一個圖形化介面的工具, 以及一個編譯器. 使用者可以利用我們的圖形化工具繪置消息序列圖組經過我們的編譯器轉換成C/C++的可執行檔, 經由此來對待測軟體作測試. 除此之外我們尚製作了一個可設定之行動電話模擬器作為我們的待測軟體, 該模擬器具有一般手機的撥號, 接收電話, 音樂播放, 數學計算機等等的功能. 本文的主要目的為針對編譯器與待測軟體提出一個完善的測試計劃. 此測試計劃有下列的需求:
功能性的評估 效能的測量 可重複再利用的測試案例的設計與執行 | zh_TW |
| dc.description.abstract | The cornerstone of an effective test program is test planning. In software development, a test plan is a document that describes the objectives, requirements, test approaches, and the testcase designs and executions. In our team, we have developed a testcase graphical editor that allows the users to draw high-level test cases in MSCs (Message Sequence Charts) and a test compiler that translates MSCs to test executables in C/C++. We have also developed a configurable mobile phone simulator with versatility for the general capabilities that we may expect from a mobile phone, like dialing, call-answering, MP3 playing, calculator operation The main purpose of this paper is to propose a test plan for the system under test(SUT) and test compiler. The test plan has requirements which covers:
• Functionality evaluation. • Performance measurement. • Reusable testcase design and execution | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T00:21:36Z (GMT). No. of bitstreams: 1 ntu-96-R94921091-1.pdf: 769842 bytes, checksum: a69fc0595c97a0af477982cd5e5b906a (MD5) Previous issue date: 2007 | en |
| dc.description.tableofcontents | Contents i
List of Figrues iii List of Tables iv 1 Introduction 1 2 Test environment and our system under test 3 2.1 Test-environment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 The Cell618 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Functionlity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.2 Automaton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.3 TE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3.1 Basic Constructs . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.3.2 Basic Statements . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.3.3 Port . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.4 Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.3.5 Message-Based Communication . . . . . . . . . . . . . . . . . 11 2.3.6 Timers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3.7 ALT STATEMENT . . . . . . . . . . . . . . . . . . . . . . . . . 12 3 Test strategies 13 3.1 Conformance testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 i3.2 State splitting tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.2.1 Path Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.2.2 Domain analysis . . . . . . . . . . . . . . . . . . . . . . . . . . 17 4 The test plan 20 4.1 Cell618 and the test matrix . . . . . . . . . . . . . . . . . . . . . . . . . 20 4.2 TE and the test matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 5 implementation 29 6 Conclusions and FutureWorks 34 A The Mp3 Download Code of TTCN-3 35 Bibliography 71 | |
| dc.language.iso | en | |
| dc.subject | 消息序列圖組 | zh_TW |
| dc.subject | 測試案例 | zh_TW |
| dc.subject | 測試計劃 | zh_TW |
| dc.subject | testcase | en |
| dc.subject | test plan | en |
| dc.subject | MSCS | en |
| dc.title | 針對一個訊息交換系統所做的黑箱測試計劃之設計與分析 | zh_TW |
| dc.title | The Design and Analysis of Black-Box Test Plan for a Message-Based Communication System | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 95-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 黃鐘揚(Chung-Yang Huang),江介宏(Jie-Hong Roland Jiang),蔡益坤(Yih-Kuen Tsay) | |
| dc.subject.keyword | 測試案例,測試計劃,消息序列圖組, | zh_TW |
| dc.subject.keyword | testcase,test plan,MSCS, | en |
| dc.relation.page | 72 | |
| 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 未授權公開取用 | 751.8 kB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。