Test sequence generation from specification in system description language시스템 기술 언어로 된 규격으로 부터의 시험 계열 생성 기법

This dissertation presents a new technique to generate test sequence from a specification in System Description Language (SDL), in order to verify the conformity of the implementation with the specification. In the generation of test sequences, concept of internal event and SIO(Set of Input Output) are introduced and an improved determinization algorithm is applied. From the state transition graph of the SDL specification, a global I/O FSM (Input/Output Finite State Machine) is obtained, it contains the external events having interactions with the SDL environment and the internal events being not visible from the SDL environment. A concept of the internal event allows to resolve the state space explosion. Afterwards, the global I/O FSM is transformed into a reference I/O FSM which is deterministic and minimal in accordance with the trace equivalence. To resolve a possible problem of non-deterministic FSM into deterministic FSM, enhanced determination algorithm is applied. And UIO (Unique Input Output) sequences are used basically in the generation of test sequences. But for an identification sequence of the state without UIO sequence, the new concept of SIO is introduced to obtain a shorter length than the signature of the UIO method. Finally, to illustrate, the generation of optimized test sequences for the Inres protocol is presented.
Advisors
Chon, Kil-Nam(전길남)researcher
Publisher
한국과학기술원
Issue Date
1996
Identifier
106132/325007 / 000895830
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 전산학과, 1996.2, [ iv, 109 p. ]

Keywords

Protocol Test; SDL; 시스템 기술 언어; 프로토콜 시험

URI
http://hdl.handle.net/10203/33059
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=106132&flag=t
Appears in Collection
CS-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 50
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0