The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

Strong Connectivity Decision Method using Graph Rewriting System in Conformance Testing

적합성 시험에서 그래프 재표기 시스템을 활용한 강한 연결 판단 방법

  • Lee, Jun-Won (Electronics and Telecommunications Research Institute) ;
  • Kim, Seong-Won (Dept.of Information Communication Engineering, Pukyong National University) ;
  • Gu, Yeon-Seol (Dept. of Computer Engineering, Chungbuk National University)
  • 이준원 (한국전자통신연구원 초고속망연구실) ;
  • 김성원 (부경대학교 정보통신공학과) ;
  • 구연설 (충북대학교 컴퓨터과학과)
  • Published : 1997.05.01
Download PDF
⟨ Previous Next ⟩

Abstract

Test generation from the communication protocol specified in I/OFSM protocol is based on the asumption that the specification S and implemenataiton I are storngly, connected,minmal and deterministic.In this paper,we identify why these asumptions are necessary for minimal test cases genration from I/OFSM protocol speci-fication,and we propose a graph Rewriting System and its application to the specification I/OFSM for verifying its storng cinnectivity.We prove that the suggested algorithm is more dffcient thah the traditional strongly connected compoment find algorithm.

I/O FSM 모델로 표현된 프로토콜들로부터의 시험 계열 생성은 I/OFSM 명세 자체가 강하게 접속되어야 하며 (strongly connected) 상태(state) 수가 최소(minimal)하여야 하며, 그리고 또 결정형(determinstic) 이어야 한다는 가정에서 출발한다. 본 논문에서는 프로토콜을 나타내는 명세 I/OFSM(또는 Graph)이 이러한 가정으로 출발 되는 이유를 객관화 시키고, 또 그래프 재표기 시스템(Graph Rewriting System)을 정의하고, 이를 명세 그래프(명세 I/OFSM)에 적용시켜 기존의 알고리즘보다 훨씬 빨리 강한 접속 여부를 판단하는 알고리즘을 제시한다.

Keywords