• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.1681-1684
• /
• 2004

90 년대 후반부터 웹 기반 수업(Web-based instruction)이라 하여 인터넷을 이용한 새로운 교육방법이 시도되었다. WBI에 필요한 각종 프로그래밍을 수작업으로 진행하여야 한다는 문제점을 극복하기 위해 개발된 학습운영체제(Learning Management System)가 개발되면서 인터넷을 통한 교육은 급속히 확산되고 있다. 무선 인터넷 기술까지 수용하는 개념인 소위 e-Learning 체제로 발전되면서 e-Learning의 수요는 급속히 증가하게 되었다. e-Learning 기술 표준 개발을 실질적으로 주도하는 기관들인 IEEE, AICC, IMS가 제안하는 개별 표준안들을 ADL에서 SCORM(Sharable Content Object Reference Model)이라는 종합적인 표준안으로 수렴하게 되면서 SCORM을 기준으로 만든 다양한 컨텐츠가 개발되고있다.

• 산업공학
• /
• 제17권2호
• /
• pp.149-157
• /
• 2004

This paper considers a conformity testing problem on EJB(Enterprise JavaBeans). The EJB architecture is a component architecture for the development and deployment of component-based distributed business applications. The objective is to find an optimal test sequence for the conformity test between the EJB specification and an implemented one. For the test sequence, we formulate the problem as a rural Chinese postman tour one and use a linear programming formulation. Based upon the formulations, we suggest a conformance test procedure and show its efficiency by applying the procedure to the CMP(Container- Managed persistency) entity bean of the EJB.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.355-368
• /
• 2001

프로토콜 적합성 시험은 프로토콜 명세에 내제되어 있는 애매성으로 인하여 벤더들이 구현한 프로토콜들이 상호운용되지 못하는 경우를 예방하기 위하여 시행하는 절차이다. 이 시험은 구현한 프로토콜이 프로토콜 명세에 적합하게 구현되어 있는지를 시험하는 것으로 ISO/IEC JTCI을 통해 국제 표준으로 제정되어 있다. 그러나 이 시험 방법은 고정적인 시험 시퀀스를 사용하기 때문에 정확한 시험 결과를 도출하지 못하는 경우가 종종발생한다. 이런 문제는 프로토콜 FSM을 구성하는 여러 트랜지션들이 시험시퀀스에 포함되어 시험 대상 트랜지션의 시험에 영향을 미치기 때문에 발생한다. 이 논문은 동적 적합성 시험방법을 제안하여 이런 문제를 해결하도록 한다. DCTM은 기존의 방법에서와 같은 고정적인 시험 시퀀스를 사용하는 것이 아니라 시험 중 동적으로 alternative 경로를 시험 시퀀스로 선택하는 방법으로 기존 적합성 시험 방법보다 fault coverage 면에서 향상된 결과를 나타낸다. 또한 제안한 DCTM이 기존 적합성 시험방법보다 fault coverage가 향상된다는 것을 보이기 위해 시험 도구를 개발하여 TCP 프로토콜에 적용하여 본다.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.

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

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

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

Korea Electric Power Research Institute has being carried out an IEC 61580 based communication service test on domestic IED trial products developed related to power IT project. This paper describes IEC 61850-10 conformance test and testing items established by UCA international Users Group and this study is on the analysis of testing results from IED communication service with selected testing blocks, which consist of Basic association, Dataset, Reporting and GOOSE.

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

Korea Electric Power Research Institute has carried out verification of communication conformance on IEC 61850 based IEDs related to power IT project "Development of Prototype for Advanced Substation Automation System based on the Digital Control Technology". Owing to IEC 61850 international standard and digital substation automation system, IED testing process should be changed from the conventional way to the new way described in the paper. This paper describes IED testing procedures based on substation automation system using UML.

• 한국통신학회논문지
• /
• 제41권7호
• /
• pp.823-832
• /
• 2016

본 논문에서는 UHD(Ultra High Definition) 방송 표준 수신기 검증을 위한 시험 스트림 제작 방법을 제안한다. 제안하는 시험 스트림은 비디오/오디오 시험 스트림, 시스템/자막 시험 스트림으로 구성된다. 비디오/오디오 시험 스트림은 HEVC (High Efficiency Video Coding) 비디오 표준 및 Dolby AC(Audio Coding)-3와 DTS(Digital Theater System)-HD(High Definition) 오디오 표준 시험에 사용 가능하며, 시스템/자막 시험 스트림은 PSIP(Program and System Information Protocol)과 자막 (Closed caption) 표준 수신기 검증 및 시험에 사용 가능하다. 개발된 HEVC 비디오 표준 시험 스트림은 신택스를 검증하기 위한 표준적합 시험 스트림과 에러 동작 검증을 위한 에러 시험 스트림으로 구분하여 제작하였다.

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

지금까지 적합성운용시험이란 용어는 서로 다른 유형의 광의 적합성시험을 구별없이 일컫는 방법으로 사용되어왔으며, 상호운용시험이란 용어도 다양한 가능한 시험구조레 대하여 무차별적으로 사용되어왔다. 본 연구는 적합성시험을 접속적합성시험과 개체적합성시험으로 구분하여, 상호운용성시험구조의 시험능력이 달라짐에 따라 상호운용성시험이 이들 적합성시험과 어떻게 연결 지워질 수 있는지를 탐구한다.

• 전자공학회지
• /
• 제30권6호
• /
• pp.624-637
• /
• 2003

CMVP(Cryptographic Module Validation Program) validates cryptographic modules to FIPS 140-1, 2, and other FIPS cryptography based standards. This paper gives an overview of the CMVP, cryptographic modules, cryptographic algorithms, and the applicable standards. This provides a brief overview of the security requirements that must be met by each cryptographic module that is submitted to a CMT laboratory for conformance testing and describes the Cryptographic Algorithm Testing.