• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.11-12
• /
• 2007

In order to verify a digital substation based on IEC 61850, KEPRI in charge of POWER IT project related to SAS has constructed IED conformance testing system, which consists of HMI, IED (Intelligent Electronic Device), network equipment, V/I generator, and performed the interoperability test between two IEDs made by other vendors. The test was proceeded based on SCL and with system integrated tools

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1395-1403
• /
• 1993

Protocol conformance is crucial to inter-operability and cost effective computer communication. Given a protocol specification, the task of checking whether an inplementation conforms to the specification is called conformance testing. The efficiency and fault coverage of conformance testing are largely dependent on how test cases are chosen. Some states may have more one UIO sequence when the protocol is represented by FSM (Finite State Machine). The length of test sequence can be minimized if the optimal test sequences are chosen. In this paper, we construct the depth-tree to find the maximum overlapping among the test sequence. By using the resulting depth-tree, we generate the minimum-length test sequence. We show the example of the minimum-length test sequence obtained by using the resulting depth-tree.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.24 no.6
• /
• pp.169-176
• /
• 2010

Substation Automation System is basically operating throughout communicative services among IEC 61850 based devices. So, minimum requirement in order to install the system in the substation is to verify server and client conformance of IEDs and HMIs according to the IEC 61850 standard. Even though UCA IUG issued IEC 61850 conformance test procedures for both the server and the client, Much of the test is limited to IEDs as server and there is no client-only testing tool except KEMA server test tool sets. this study aims to develop IEC 61850 client testing system for verifying the full communication conformance of the substation automation system and this paper describes the design and implementation of the testing system.

• Journal of Korea Multimedia Society
• /
• v.8 no.8
• /
• pp.1119-1133
• /
• 2005

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. The implemented formal checker is able to verify whether properties expressed in modal logic are true in specifications using modal mu-calculus. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification. The suggested tools are implemented by C++ language under Windows NT.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.45 no.5
• /
• pp.201-208
• /
• 2008

An active RFID system has the advantages of a long identification distance and a good identification rate as well as overcoming the passive RFID's drawback such as the lowering of identification rate on metal materials. So, the development of an active RFID system has been gradually increasing in harbor logistics and the national defense area. On the other hand, some identification failures between products developed under the same standards have been reported, and there are difficulties in evaluating the interoperability between developed Products and standard conformance test because an accurate evaluation method and equipment has not been established at the international level. Motivated by these, this study presents a realization of the hardware and software of emulator to evaluate the standard conformance of an active RFID system, Performance of the designed system are then analyzed by means of simulations of Matlab/Simulink, and the applicability of the emulator is verified by evaluating the standard conformance of a real active RFID tag.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.12 no.6
• /
• pp.597-604
• /
• 2019

In this paper, we propose an improved method on an adaptive application of the CPP(Chinese Postman Problem) algorithm to the protocol test suite generation for conformance testing. Also, we present an example application of this CPP algorithm to B-ISDN Q.2931 call/connection control procedure for the purpose of showing how it can be adapted to generate a test suite for conformance testing of a communication protocol. The proposed method has an advantage of an optimization technique which finds a minimum cost of test suite from a standardized specification, so this optimization technique of the CPP algorithm can be practically applied to a real environment for testing a conformity of a protocol implementation.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.758-761
• /
• 2003

지난 2002년 7월 한국산업기술표준원의 산업표준심의를 거쳐 2001년 7월 제정된 한국전자책문서표준 EBKS(Electronic Book of Korea Standard) 1.0은 한국전자책 표준문서형 정의, 규격번호 KS X 6100으로 제정되었다. 따라서 KS X 6100을 사용하는 전자책 문서들은 표준의 목적과 명세에 대한 부합 여부를 판별하기 위한 적합성 검사 및 이에 기반한 인증 절차가 요구된다. 본 논문에서는 이러한 적합성 검사의 기준이 되는 적합성 조항(Conformance Clause)의 정의와 이에 따른 적합성 검사 도구(Conformance Test Tool)를 제안하였다. 따라서 본 논문에서 정의된 조항들을 통하여 전자책 저작자들은 전자책표준의 목적과 명세에 보다 적합한 전자책문서들을 제작할 수 있으며, 서비스 제공자들은 적합성 검사 도구를 통한 자동화본 적합성 검사 도구를 사용하여 효율적인 적합성 검사가 가능하다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.4
• /
• pp.498-506
• /
• 1999

본 논문에서는 ATM 통신프로토콜을 위한 자동시험시스템인 ACTS(ATM Conformance Test System)의 개발과 적용을 소개한다. ACTS는 ITU-T 또는 ATM Forum의 ATM 사용자-망 접속표준을 준용하는 ATM 단말과 망장비의 프로토콜적합성을 확인하는데 사용된다. 본 논문에서는 ACTS 개발에 사용된 방법을 소개한 뒤, ACTS를 실제 ATM 단말과 장비에 적용한 사례들을 소개한다. ACTS의 적용을 통하여 시험대상 장비들이 지닌 프로토콜구현상의 문제점을 파악하였고, 문제에 대한 원인분석을 수행하였다. 또한 이러한 문제점들이 상호운용에 미치는 장애를 예측함으로써, ACTS를 상호운용하는 ATM 장비를 확보하기 위한 유용한 도구로 사용할 수 있음을 보인다.Abstract This paper presents development and application of ACTS(ATM Conformance Test System), an automated test system for ATM protocols. ACTS is a test system that checks conformance of ATM terminal and network equipment implementing either ITU-T or ATM Forum user-network interface. This paper, after presenting the methodology and process used for developing ACTS, conducts case studies of its applications to real ATM equipment. By applying ACTS, we were able to detect numerous problems in protocol implementations of ATM equipment and analyse causes of the problems, thereby demonstrating the efficacy of ACTS as an efficient automated testing tool. Furthermore, by predicting the potential effects of the problems on interoperability, we show how ACTS can be used as a useful tool for ensuring interoperable ATM equipment.

• 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.