• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11
• /
• pp.3086-3096
• /
• 1999

To declare conformance of multi-protocol Implementation Under Test(IUT), every layer of the multi-protocol IUT should be tested. According to ISO9646, single-layer test method is applied to testing the highest layer of multi-protocol IUT and single-layer embedded test method is used for the layers by layer all the protocols in a multi-protocol IUT. This paper proposes a new method for testing a multi-protocol IUT. The proposed test method assumes that a multi-protocol IUT is under test and that the interfaces between the layers cannot be controlled or observed by the tester. We apply the proposed test method to TCP/IP and compare the application results with those of the existing test turns out that the proposed test method significantly reduces the number of test cases as well as the number of test events while providing the same test coverage. In addition, the proposed test method shows the capability to locate the layer that is source of failure in testing multi-protocol IUTs.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.358-362
• /
• 2004

Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

• The Journal of Korean Association of Computer Education
• /
• v.6 no.3
• /
• pp.75-85
• /
• 2003

This study develops the System(MetaGene) to create meta-data for learning object based on SCORM including meta-data of Assets. SCO, Contents Aggregation and metadata of Contents Package. API function cocle is embeded in Learning Object for interfacing API adopter in LMS to support SCORM and for tracking on learning process based on data models. Also, the learning objects are packaged the PIF(Packaged Interchange File) to transmit with LMS. MetaGene is verified by $SCORM^{(TM)}$ Conformance TestSuite for meta-data of learning objects, manifest file of Contents Packaging.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.122-124
• /
• 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 "The verification of Performance of the Substation Automation System and Its Field Test". This paper describes control testing, one of the IEC 61850 conformance testing items, which consists of DO, enhanced DO, SBO and enhanced SBO with a number of test cases.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• 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.

• Journal of The Institute of Information and Telecommunication Facilities Engineering
• /
• v.8 no.3
• /
• pp.144-151
• /
• 2009

In this paper, we consider various international and local standards and applied ontology concepts which are used in Semantic Web, to make more structured test methods/procedure. Based on the ontology concept, we classify test method as three categories (i.e., conformance test, interoperability test and performance test), and make test structures for each category. We believe that this research provides test methods which reflect various standards as well as the guidelines for users to construct RFID device software more structurally.

• Proceedings of the KIEE Conference
• /
• 2006.07a
• /
• pp.54-55
• /
• 2006

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

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• 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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1948-1957
• /
• 1996

The conformance testing of communication protocol is the process to evaluate whether the protocol implemented is identified with standard specification. By evaluating how generated test cases detect many faults, it can be used with standard estimating efficiency of conformance testing. The method that evaluates the capability of fault coverage for test cases, has been researched by mathematical analysis and simulation. In this paper, we pointed out the problem of existing method and proposed new evaluation model of fault covergage for test case which generated by foult model. Also, we analyzed the results comparing to the existing evaluation method and proved its validity.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.175-178
• /
• 2002

모바일 인터넷 환경에서 동일한 데이터가 다양한 단말 장치에 산재되어 사용되는 경우 효과적인 사용과 관리를 위해 산재된 데이터가 서로 동기화(synchronization) 즉 일치되어야 한다. SyncML은 모바일 인터넷 환경에서 다양한 플랫폼을 가진 기기 사이의 데이터 동기화를 위해 제시된 표준 프로토콜로서 많은 국 내외 산업체 및 연구기관이 SyncML 규격을 구현한 제품을 선보이고 있다. 이러한 SyncML 구현 제품이 이질적인 플랫폼에 상관없이 상호운용되기 위해서는 SyncML 규격에 대한 규격 준수 시험이 필요하다. 본 논문은 SyncML 규격의 적합성 시험(conformance test)을 위한 시험도구의 설계와 구현에 대하여 논한다.