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

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

• The KIPS Transactions:PartB
• /
• v.11B no.7 s.96
• /
• pp.759-768
• /
• 2004

Recently the biometric recognition technology is intensively studied and the standardization of the technology has been highly demanded for its commercialization. Currently many blometric recognition products are being developed based on the BioAPl(Biometric Application Program-ming Interface) specification. However, the reliable testing tools (or scenarios) to evaluate performance and conformance of the products are not shown yet. In this paper, a conformance testing method is presented, which verifies a biometric recognition system to meet the requirements of the BioAPl standard. Two different testing procedures are used in the proposed method. The first procedure evaluates that each functions offered in the BioAPl specification are correctly implemented and that the functions are actually used in the system. Through the Procedure, a BSP(Biometric Service Provider) system is executed on the framework of the BioAPl functions. It requires selection of parameters and prece-dent functions that should be executed first. The second procedure evaluates the abilities of module management, handling operations and ver-ification process by the analysis of the test cases. It tests the correctness of the system operation when a testing scenario is given. The proposed testing method is applied on a fingerprint verification BSP using the sample BSP provided by the BioAPl consortium. The experimental results shows the benefits of the proposed testing method.

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

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

• Electronics and Telecommunications Trends
• /
• v.14 no.6 s.60
• /
• pp.38-50
• /
• 1999

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

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.203-215
• /
• 1999

Recently with the rapid development of data communication products and service industry, the system on behalf of users for multimedia services such as VoD(Video on Demand), Teleshopping are at the height of development, However, if the new style products and services do not conform to the international standard, the products will come to lose the competitive power in the market. Therefore, it is essential to have conformance testing considered the properties of related protocol for the interoperability of the products and services. As a systematic and efficient conformance testing method of new products in respect of the main protocol of DAVIC(Digital Audio Visual Council) standard, this paper presents the protocol test methodology and architecture ; a single protocol stack an the related protocol stacks testing.

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

• 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)의 역할에 대하여 언급한다.

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