• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.591-593
• /
• 1998

DSM-CC U-U(User-to-User) 인터페이스는 다양한 광대역 멀티미디어 서비스 환경에서 멀티미디어 응용들을 제공하기 위하야 요구되는 동작들을 정의한 개방형 프로토콜이다. 본 연구에서는 DSM-CC U-U 인터페이스를 시험하기 위한 적합성 시험방법을 제시하고, 선택된 적합성 시험구조를 위한 접합성 추상시험항목들(Abstract Test Cases)을 도출한다.

• 전자통신동향분석
• /
• 제14권2호통권56호
• /
• pp.26-37
• /
• 1999

ATM 프로토콜 적합성 시험 생성 도구 개발을 프로토콜 개발 통합환경과 연계하여 개발한다. 즉 생성된 I/O FSM 중간모델을 대상으로 연구된 가장 짧은 길이의 시험 스위트(test suite)를 생성하는 알고리즘을 편리하고 용이하게 적용하기 위해 데이터 구조화 및 컴퓨터 내에서의 표현 등을 위한 초기화 작업기능을 SDL Editor & Simulator를 활용하여 확인한다. 그리고 ATS(Abstract Test Suite) 생성은 UIO 시퀀스를 결정하고, TUT와 도착상태의 UIO 시퀀스를 결합한 시험 subsequence 생성과 symmetric argumentation 과정을 거처 RCP(Rural Chinese Postman) Tour 생성 알고리즘 구현을 통해 완전 시험 스위트 생성도구를 개발하고, 프로토콜 검정기와 연계하여 통합된 환경에서 사용할 수 있도록 개발한다.

• 한국멀티미디어학회논문지
• /
• 제8권8호
• /
• pp.1119-1133
• /
• 2005

프로토콜 명세의 검정과 적합성시험은 프로토콜 개발 과정에서 가장 중요한 부분으로, 명세에 규정되어진 시스템 기능의 정확성을 향상시키는데 사용되는 상호 보완 기술이다. 본 논문에서는 LTS(Labeled Transition System)로 명세화된 프로토콜 모델의 안전성 및 필연성 특성을 모형검사 기법에 의해 검정하였고, 실제적으로 교착상태의 유무나 초기 상태에서 임의의 상태로 도달 가능한지에 대한 검사를 실험적으로 증명하는 도구를 구현하였다. 구현된 프로토콜 검정기는 modal mu-calculus를 사용하여 modal 논리로 표현된 특성이 명세에 대해 올바른지 아닌지를 검정할 수 있다. 또한 검정되어진 프로토콜 명세로부터 UIO(Unique Input Output) 방법에 의해 유일한 입출력열을 이용하여 이끌어낸 결과 시퀀스가 구현에 대해 올바른지를 검사하는 적합성시험 계열 생성도구를 개발하였으며, 개발된 도구는 Windows NT 환경하에서 C++ 언어를 이용하여 구현되었다.

• 한국통신학회논문지
• /
• 제18권10호
• /
• pp.1572-1581
• /
• 1993

프로토콜을 명세할때 결정적 유한상태기계(Deterministic Finite State Machine)가 프로토콜의 제어 흐름을 쉽게 나타낼 수 있어서 시험항목 생성시 주로 사용되었으나, 실제의 프로토콜들은 한개의 입력에 의해서 한개 이상의 상태로 천이가 발생하는 비결정성(Nondterminism)문제들을 내포할 수 있으므로 결정적 유한상태기계로는 비결정성 문제를 처리할 수 없다. 따라서 본 논문에서는 프로토콜을 먼저 프로토콜의 비결정성 특성을 잘 나타낼 수 있는 비결정적 유한상태기계(Nondeterministic FSM)로 나타내고, 이를 결정적 유한상태기계를 변환하기 위한 알고리즘을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.230-232
• /
• 1999

KOMPSAT(KOrea Multi-Purpose SATEllite) Flight Software[2]의 개발 단계에서 통합 및 시험, 검증 시험을 위해 실제 시스템과 유사한 환경을 제공하는 개발도구로서 STB(Software Test BED)를 개발하였으며 STB 구성중에서 Command/Telemetry (CMD/TLM) 테스트를 위해 개발한 Command Generator / Telemetry Analyzer에 관한 내용을 본 논문에서 설명하고자 한다. 통신간에 사용되는 프로토콜은 [1]에서 언급한 바와 같이 CCSDS 프로토콜을 따르고 모든 관련된 Command 와 Telemetry 형식 또한 [1]에서 언급한 바와 같다. 이 구현된 소프트웨어를 이용하여 Flight Soaftware내의 CMD/TLM 처리 소프트웨어의 기능시험과 검증시험을 수행하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.695-698
• /
• 2003

SIP은 인터넷 컨퍼런스와 인터넷 텔레포니를 위한 시그널링 프로토콜로써, 오디오, 비디오, 화이트보드 등과 같은 하나 또는 그 이상의 미디어 타입으로 이루어진 멀티미디어 회의, 인터넷 텔레포니 등에 적용할 수 있다. 본 논문에서는 SIP 사용자 에이전트의 시험, 인증 절차 문서를 개발하였으며, 개발된 문서를 바탕으로 하여 SIP 사용자 에이전트 시험 시뮬레이터를 설계 및 구현하였다. 이 시험 시뮬레이터를 통해 표준 시험 절차 문서를 바탕으로 사용자 에이전트들간의 전송되는 메시지의 표준 구현 여부 검증할 수 있다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
• /
• pp.100-103
• /
• 2003

본 논문에서는 RFC 1771에 기반한 BGP4 라우팅 프로토콜개발 후 시험운영과 테스팅 시뮬레이터에 관한 개발 과정을 기술하였다. 시험운영 및 테스팅 시뮬이터는 RFC1771 A Border Gateway Protocol 4 (BGP-4)를 바탕으로 하여 메시지 전송, Path attributes 전송, Route Selection, Finite State Machine , Error 처리 기능을 검증 시험한다. 본고에서는 이에 대한 간략한 망의 구성 방법과 이에 대한 시험시뮬레이터, 및 테스팅 라우터의 환경 설정방식을 제시한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권11호
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• 한국정보전자통신기술학회논문지
• /
• 제10권4호
• /
• pp.325-332
• /
• 2017

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회 방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출 성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.484-486
• /
• 2005

수동 시험은 기존의 프로토콜 검증 방법과는 달리 제품이 실제 운용되는 환경에서 입출력의 관찰만을 가지고 제품의 오류를 검출하는 시험이다. 본 논문은 EFSM(Extended Finite State Machine) 모델을 이용하여 homing 기법을 사용하는 수동시험 기법을 제안하고 이를 검증하기 위하여 제안된 수동 시험 기법을 사용하는 OSPF 프로토콜의 오류 검출기를 개발하였다. 개발된 오류 검출기는 Zebra[6]와 시스코 라우터로 구성된 소규모 네트워크에서 Zebra를 이용해 발생시킨 오류 OSPF 패킷을 잘 검출해내었다.