• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1995년도 추계종합학술발표회 논문집
• /
• pp.899-903
• /
• 1995

• TTA 저널
• /
• 통권160호
• /
• pp.100-104
• /
• 2015

• TTA 저널
• /
• 통권154호
• /
• pp.84-88
• /
• 2014

• 한국정보처리학회논문지
• /
• 제4권2호
• /
• pp.552-562
• /
• 1997

본 논문은 형식 기술 기법에 의한 차세대 지능망의 INAP(Intelligent Network Application Protocol) 프로토콜 적합성 시험 계열 생성을 위해 형식 기술 기법(formal Description Tehnique)을 사용하여 프로토콜을 명세화한후 이것으로부터 최소 길이의 최소 비용을 요구 하는 시험계열 생성을 위한 최적화 기술에 의한 방법을 제안한다. 제안된 방법을 구연하고 효율성을 증명하기 위해, INAP 프로토콜 SRF(Serivece Rexource Function)의 SRSM(SRF Call State Machine)을 형식 기술 기법 중의 하나인 SDL(System Description Language)로 명세화 하여 관련 도구로 I/O FSM(Input/Output Finite Machine)을 생성 하고, 이 참조 모델에 직접 적용하여 시험 개열을 생성하였다. 이렇게 생성 시험 개혈의 길이가 기존의 UIO(Unique Input Output)방법에 의한 31%나 개선된 짧고 효율적임을 보였고 또 오류 판단 능력면에서도 훨씬 효과가 있음을 실험적으로 증명하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권4호
• /
• pp.394-402
• /
• 2004

둘 혹은 그 이상의 개체가 협력하거나 통신할 때와 같이 상호 작용할 때 그 상호작용의 올바른 정도를 상호운영성이라고 한다. 소프트웨어에서 상호운영성시험의 필요성은 복수의 소프트웨어 개체를 사용하여 주어진 기능 혹은 임무를 수행하는 시스템을 구축할 때 발생한다. 오늘날 소프트웨어가 더욱더 복잡한 문제를 해결하기 위하여 이용되고 소프트웨어시스템이 네트워크를 통하여 그 기능이 분산되어 더 풍부한 서비스를 제공하게 됨에 따라 상호운영성시험의 중요성은 더욱 더 커지고 있다. 이 논문은 상호운영과 상호운영성시험에 대한 근본적인 개념과 원리를 논의하고, 실제 상호운영성시험을 수행하기 위한 접근방법을 논의함으로써 상호운영성시험을 위한 체계와 방법론을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.253-255
• /
• 2002

무선 자원 제어 프로토콜에서는 각 기지국 영역을 벗어나 다른 기지국으로 이동할 때 통화의 단절 없이 계속 유지하는 핸드오버 기능이 필수적이다. 핸드오버는 이동 통신 네트웍에서 필수적인 하나의 수단으로 현재 서비스 중인 연결의 협상된 서비스의 질을 유지하면서 단말기의 이동성 보장을 목표로 한다. 본 논문에서는 Telelogic 사의 통신 시스템 통한 개발 도구인 SDT와 ITEX를 이용하여 현재 3GPP 진영에서 개발중인 IMT-2000/비동기방식 무선 인터페이스 중 무선 자원 제어 프로토콜의 핸드오버 절차를 SDL로 명세하고, 정확성을 검증한다. 그리고 검증된 핸드오버 절차의 적합성 시험을 수행한다.

• 한국통신학회논문지
• /
• 제22권9호
• /
• pp.1854-1866
• /
• 1997

본 논문에서는 기존의 UIO순열을 이용하는 방법을 개선하여 비결정적 유한상태기계에서 시험 경우를 생성하는 방법에 대해서 소개하였으며, 시험 경우의 자동생성을 위해서 필수적인 사항인 적합성 관계의 형식적인 정의를 새롭게 정의하였다. 또한 프로토콜의 비결정적인 성질 때문에 시험기는 한 입력을 가했을 때 어떤 출력을 낼지 미리 시험기의 입장에서 알 수 없으므로 적응력있는 시험을 위해서 트리형태의 시험 경우를 생성하는 방법을 소개하였고 시험 경우를 입력과 출력을 분리해서 고려함으로써 시험 경우 기술 언어인 TTCN으로의 변환을 쉽게 하였다.

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

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1998년도 추계종합학술대회
• /
• pp.467-471
• /
• 1998

최근 들어 상호운용성에 관한 각계의 관심과 요구가 증대되고 있다. 상호운용성시험은 정보통신 및 정보기술 분야에서 그 중요성이 더욱 부각되고 초고속망 및 정보흐름과 연계되어 긴급히 요구되는 정보화사회의 기반기술이다. 현재의 상호운용성시험의 운용형태는 구현물에 대한 특정 환경을 구축하고 이들간에 제한된 몇 개의 시험 캠페인을 구성한 후 제한적으로 선정된 시험목적에 따라 시험을 수행하는 형태이다. 본고에서는 현재의 상호운용성시험의 형태를 살펴보고 체계적인 상호운용성시험을 위한 구조를 제시하며 국제적으로는 상호운용성시험을 위하여 어떠한 활동을 전개하고 있는가를 ITU 활동 중심으로 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.625-627
• /
• 2003

최근 IPv6의 도입에 있어서 중요한 과제인 IPv6­IPv4 프로토콜 변환기에 대한 연구 및 구현이 활발히 이루어지고 있다. 그러나 기존에 구현된 IPv6­IPv4 프로토콜 변환기는 운영 체제에 종속적인 소프트웨어로서, 소프트웨어 TCP/IP 자체가 가지는 오버헤드와 비효율적인 메모리 접근 방식으로 인하여 성능이 제한되는 문제점이 있다. 이러한 문제를 해결하기 위하여 성능 분석을 통해 고성능 IPv6­IPv4 프로토콜 변환기의 구현 방법에 대한 연구가 진행되었고, 이에 대한 결과로서 하드웨어 기반의 IPv6­IPv4 프로토콜 변환기인 64Translator가 제안되었다. 이러한 64Translator는 다양한 응용을 지원하기 위해 DNS와 FTP에 대한 응용 프로토콜 변환 모듈을 필요로 하는데, 이는 하나의 모듈로 통합되기 위해 하드웨어로 구현되어야 한다. 이에 본 논문에서는 DNS와 FTP에 대한 응용 프로토콜 변환 모듈을 하드웨어로 설계 및 구현하였고, 이를 64Translator에 통합하여 시뮬레이션과 시험망에서의 테스트를 수행함으로써 기능을 검증하였다.