Dissertation/ Thesis
An EFSM-based Protocol Test Sequence Generation Using the Forward Exploration Approach
| العنوان: | An EFSM-based Protocol Test Sequence Generation Using the Forward Exploration Approach |
|---|---|
| Alternate Title: | 利用正向探測方式之EFSM協定檢測序列產生方法 |
| المؤلفون: | Lin ,Yuan-Chuen, 林源春 |
| Thesis Advisors: | Chung-Ming Huang, 黃崇明 |
| سنة النشر: | 1995 |
| المجموعة: | National Digital Library of Theses and Dissertations in Taiwan |
| الوصف: | 83 This thesis presents two executable Extended-Finite-State- Machine (EFSM)-based protocol test sequence generation methods. The first method solves the transition executability problem in the data flow test aspect. The second method overlaps data flow and control flow tests. In the data flow test, the transition paths that contain {\it definition} uses and {\it output} uses of variables in the protocol specifications need to be detected and tested. An executable data flow test path, which is called an EDO-path, contains two parts: (1) a switching transition sequence that directs to a transition T containing a {\it definition} use of a variable V, and (2) a transition sequence originated from T, such that whose head transition has a {\it definition} use of V and whose tail transition contains (i) an output use of V, or (ii) an output use of another variable which is affected by this definition use of V. In the control flow test part, each transition must be tested whether it conforms to the original specification or not. An executable control flow test path, which is called an EC-path, for a transition T contains (1) a switching sequence that directs to the head state of T, (2) the transition T itself, and (3) the Unique Input/Output sequence of T's tail state, which verifies whether the tail state of T is correct or not. In the first method, we use the Transition Executability Analysis (TEA) technique to find executable transition sequences. In the second method, in order to shorten the length of the total test sequences, the proposed method overlaps the control flow test sequences with the data flow test sequences. That is, a test sequence may combine both purposes of control flow and data flow tests. The overlap is achieved as follows: at the period of searching EDO-paths, the EC-paths are also searched in the same executable transition exploration sequences. If not all of the EC-paths are overlapped with EDO-paths, the remaining EC- paths are searched individually. |
| Original Identifier: | 083NCKU0393022 |
| نوع الوثيقة: | 學位論文 ; thesis |
| وصف الملف: | 75 |
| الاتاحة: | http://ndltd.ncl.edu.tw/handle/14224271412122800629 |
| رقم الانضمام: | edsndl.TW.083NCKU0393022 |
| قاعدة البيانات: | Networked Digital Library of Theses & Dissertations |
| الوصف غير متاح. |