The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)
- Volume 4 Issue 5
- /
- Pages.1327-1336
- /
- 1997
- /
- 1226-9190(pISSN)
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
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