• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.269-284
• /
• 2004

EBKS(Electronic Book of Korea Standard) 1.0 which was established in July 2001 passed the industry standard deliberation of agency for technology and standards of Korea industry in July 2002. EBKS is now established as KS X6100 representing the Korea standard of electronic book of Korea. Therefore, Conformance test and certification procedure is required whether electronic books and documents which follow KS X 6100 are conform to specification of the standard. In the paper, we define conformance clause which is a basis for conformance test and standard electronic book schema. As a result, electronic book writers can produce more conformable documents to the specification and goal of electronic book standard by using the conformance clause, and service provider can effectively perform the conformance test by using standard electronic book schema.

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

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

Conformance testing is to test whether an implementation faithfully meets the requirements of a standard or specification. Above all, it is important to test conformance for XML processors because system errors caused by XML processor without conformance affect badly all related XML based systems. Thus, it is essential to implement XML processors with conformity for the sake of interoperability between XML based systems. In this paper, we survey related works. and describe our method and tool for XML conformance testing. And we show our testing result for Xerces 1.4.4. which is developed as Apache's XML project. as an example.

• The KIPS Transactions:PartC
• /
• v.13C no.4 s.107
• /
• pp.435-440
• /
• 2006

XML encryption is to provide confidentiality service, though not limited to, for web contents. XML encryption can be applied to entire data files as opaque objects, or more frequently to various parts of XML documents, supporting various encryption granularity. It is this characteristic that makes XML encryption a more efficient alternative for data confidentiality in various web applications than is possible with SSL/TLS, IPsec, PGP, or S/MIME. It is essential for successful deployment of XML encryption to achieve interoperability among the products implementing this technology, which requires the products to implement the XML encryption standards correctly. Conformance testing is to test if products implement the relevant standard correctly. In this paper we present a conformance testing method for XML encryption products and implement it. We will first look at XML encryption standards developed by W3C, and extract test criteria. Then we propose a testing method in which the encryption capability and the decryption capability of a product are tested separately. The proposed methody is actually implemented as a GUI-based testing tool and some test results are presented.

• The KIPS Transactions:PartD
• /
• v.16D no.1
• /
• pp.65-72
• /
• 2009

Component based development has increasingly become important in the software industry. However, in the current component based development approach with UML, the absence of behavioral description of components brings about a cost problem which causes semantic errors on the testing phase. Accordingly we cannot grasp the usage pattern of component by its provided interfaces which refer to an abstraction of software component. And we cannot guarantee the behavioral conformance of the provided and required interfaces of components. In order to solve these problems, we describe the behaviors of component interfaces by state machine diagram and guarantee their behavior conformance at the modeling phase. We also propose a method to guarantee the behavior conformance of component interfaces with concept of observation equivalence and invocation consistency. And we provide an analyzing tool which checks interface behavior conformance.

• Journal of KIISE:Information Networking
• /
• v.28 no.3
• /
• pp.355-368
• /
• 2001

Protocol conformance test is used to promote interoperability of protocol implementatons developed by venders. Non-interopcrability between protocol implementations may be caused by ambiguity and/or misintellJretation of the protocol specifications by vendors. Conventional method on protocol conformance test has been standardized by IS0;IEC JTCI with the purpose of whether a protocol implementation conforms to its specification. However, sometimes the conventional method gives wrong test results because the test is based on static test sequences. This problem is caused by the fact as some failed transitions of a protocol FSM included in test sequences have an effect on the test result of transitions to be tested. In this paper, a new approach called Dynamic Conformance Test Method (DCTM) is proposed to solve this problem. DCTM dynamically selects test sequence durng testing depending on an information showing an alternative path without failed tranistions. As a result, the fault coverage of the DCTM is better than that of the conventional test method. In order to demonstrate the fault coverage of DCTM compared to that of the conventional method. a testing tool is implemented and appied to the TCP protocol.

• 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.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.9
• /
• pp.5802-5809
• /
• 2015

Railway signaling system is the vital control system in charge of the core for safely train operation, its functional safety must be checked through sufficient verification. Until now, to verify the interoperability of developed railway signaling system, the on-site testing approaches have been applied after testing in laboratory with simulator. This approaches are some limited range of interoperable verification, so more systematic verification interoperability is required. In this paper, the three phases of interoperability verification for railway signaling system was proposed, and methodology for each phases are represented. And also The interoperability validation methodology and supported testing tool for railway signaling system is represented in this paper

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1975-1986
• /
• 1997

Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problems on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.