• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 제39회 하계학술대회
• /
• pp.239-240
• /
• 2008

Korea Electric Power Research Institute has being carried out an IEC 61580 communication service test on IED trial products developed related to power IT project, "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology". This paper describes GOOSE testing, one of the IEC 61850 conformance testing items, which consists of 14 publish and subscribe test cases.

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

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

• 정보처리학회논문지B
• /
• 제11B권7호
• /
• pp.759-768
• /
• 2004

생체인식기술을 응용한 제품이 다양해지면서 상호운용성의 문제가 제기되어 국제표준화가 진행중인 BioAPl(Biometric Application Pro-gramming Interface)를 기반으로 한 생체인식 제품의 개발이 증대되고 있다. 그러나 BioAPl를 적용하여 개발된 제품에 대한 성능 측정 및 표준규격의 적합성 여부에 대한 신뢰성 있는 평가 도구가 마련되어 있지 않은 상태이다. 본 논문은 생체인식시스템이 BioAPl 규격의 요구사항 및 기준에 얼마나 만족하여 개발하였는가를 검증하기 위한 적합성시험 방법을 연구하였다. 제안된 적합성 시험기술의 첫 번째는 BioAPl명세서가 제공하는 각 함수들을 제대로 구현하였는가에 대한 확인과 사용여부를 평가하는 것이다. 이것은 응용에서 APl(Application Provider Inter-face)함수를 호출하면 프레임워크를 통해 BSP(Biometric Service Provider)를 실행하는 것으로 이때 파라미터와 선행함수의 선택이 필요하다. 두 번째는 BioAPl의 해당 테스트케이스를 분석하여 모듈관리, 핸들기능, 검증기능에 대한 시나리오를 평가하는 것이다. 실험은 BioAPl 컨소시엄에서 제공하는 샘플프로그램과 상용 지문검증시스템의 BSP를 사용하여 제안하는 적합성 평가 방법에 대한 실험을 수행하였다. 이에 따라 BioAPl를 기반으로 한 BSP들이 요구사항에 적합하게 개발되었는지를 판단할 수 있었다.

• 한국통신학회논문지
• /
• 제18권9호
• /
• pp.1395-1403
• /
• 1993

프로토콜의 적합성시험은 컴퓨터 통신에서 상호운용성과 비용의 효율성을 높이기 위해서 매우 중요하다. 적합성 시험은 구현된 내용이 프로토콜 규격에 적합하게 구현되었는지를 검사하는 것으로, 그것의 효율성과 오류검출능력은 시험 항목의 생성방법에 의해서 결정된다. 프로토콜이 유한상태기계로 표현될때 한상태에 여러개의 UIO(Unique Input Output)순서들이 존재할 수 있으므로 이들중 가장 적합한 순서를 선정함으로서 시험 길이를 최소화 할 수 있다. 따라서 본 논문은 시험 길이를 최소화하기 위해서 여러개의 UIO순서들간에 존재하는 최대중복성을 찾기 위한 알고리즘을 깊이트리를 이용하여 구성하였고, 이 알고리즘을 이용하여 최소길이의 시험 순서를 생성하는 예를 보여주었다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
• /
• pp.329-332
• /
• 2005

In order to provide the reliable service and contents to telematics service user, any service server must be tested and verified before launching its service in sufficient. In this paper, we proposed a test framework for telematics server. The proposed framework includes conformance test of server, interoperability test between telematics service server and telematics terminal. The framework proposed the concept and test model for two categories of testing.

• 전자통신동향분석
• /
• 제14권6호통권60호
• /
• pp.38-50
• /
• 1999

적합성 시험(conformance test)은 통신 프로토콜 제품에 대해 그 제품이 프로토콜 표준에 따라 올바르게 구현되었는지를 검증하는 것이다. 그러므로 적합성 시험은 구현제품의 기능과 그 기능의 동작 행위가 프로토콜 표준에서 기술된 요구사항을 만족하는지를 조사하는 것을 요구하며 이를 시험규격으로 표현한다. 이때 프로토콜의 동작행위에 대한 시험 시나리오는 적합성 시험규격의 핵심을 이루는 것으로 시험을 기술하기 위한 국제표준 언어인 TTCN(Tree and Tabular Combined Notation)으로 기술한다. 본 논문에서는 적합성 시험 및 TTCN에 대하여 살펴보았다.

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.203-215
• /
• 1999

최근 정보통신 제품 및 서비스 산업의 발달로 Vod, Teleshopping 등의 멀티미디어 서비스를 위한 사용자 시스템의 개발이 한창이다. 그러나 구현된 제품이 국제 표준과 일치하지 않으면 제품은 시장 경쟁력을 상실하게 된다. 따라서 관련 프로토콜의 특성을 고려한 적합성 시험은 제품 및 서비스의 상호운용성의 확보를 위해 필수적이라 할 수 있다. 본 논문은 디지털 음향영상 통신 프로토콜로 자리 잡고 있는 DAVIC(Digital Audio Visual Counci)표준의 주요 프로토콜에 대한 구현 제품의 체계적이고 효율적인 적합성 시험 방법으로서 프로토콜 스택내의 단일 계층 시험 및 스택간의 관계 시험 방법 및 구조를 제안하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.373-375
• /
• 2008

TTCN-3(Testing & Test Control Notation Version 3) defined in EISI(2001) are the standardized test specification and test implementation language of applicable for all kinds of black-box testing for reactive and distributed system, telecom systems, Mobile system, Internet, CORBA based system, java, XML, etc. This paper using the TTCN-3 on an Electric Power IT Protocol DLMS(Device Language Message Specification) standards for the implementation of the device equipment test the suitability of the protocol.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 A
• /
• pp.54-55
• /
• 2006

IEC 61850 기반의 변전소 자동화 시스템 구축을 위하여 현재 여러 제조업체에서 IED 개발이 이루어지고 있다. IEC 61850-10에서는 개발된 IED가 IEC 61850 국제표준을 만족하는지 검증하고자 하는 적합성 검사(Conformance Testing)에 대하여 기술한다. 본 논문은 IEC 61850-10에서 제시하는 적합성 검사에 대하여 기술하며 이를 보완하기 위한 UCA IUG(International Users Group)의 역할에 대하여 언급한다.

• 한국통신학회논문지
• /
• 제21권8호
• /
• pp.1948-1957
• /
• 1996

통신 프로토콜의 적합성 시험은 구현된 프로토콜이 표준규격과 동일하게 구현되었는지를 검사하는 과정을 말한다. 생성된 시험 항목이 어느 정도의 오류를 발견해 낼 수 있는지를 평가함으로써 적합성 시험의 효율성을 평가하는 하나의 기준으로 사용될 수 있다. 시험 항목의 오류 발견 능력의 평가 방법은 주로 수학적 평가 방법과 시뮬레이션을 이용한 연구가 이루어져 왔다. 본 논문에서는 기존 평가 방법의 문제점을 지적하고 오류 모델을 사용하여 생성된 시험항목에 대한 새로운 오류 발견 평가 모델을 제시하였다. 그리고 제안된 평가 모델을 기존의 방법과 비교, 분석하여 타당성을 입증하였다.