• Information and Communications Magazine
• /
• v.10 no.7
• /
• pp.69-75
• /
• 1993

• TTA Journal
• /
• s.48
• /
• pp.58-78
• /
• 1996

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37C no.12
• /
• pp.1195-1210
• /
• 2012

In this paper, we propose a new signaling protocol as an extension of Generalized Multi-Protocol Label Switching (GMPLS) based PCE protocol for control carrier ethernet. The proposed protocol is not only compatible with the GMPLS PCE standard protocol, but also provides the topology discovery and configuration. In order to verify interoperability, we implement the proposed protocol as well as the system integrating functions including commercial system for testbed. In addition, we have simulated topology discovery test for proposed protocol performance.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.378-381
• /
• 2000

인터넷이 전세계적으로 급속히 확대되면서 기존의 인터넷 망 계층 프로토콜인 IPv4에서 지원하는 인터넷 주소공간은 얼마 가지 않아 고갈될 것으로 예상된다. 따라서 차세대 인터넷 망 계층 프로토콜인 IPv6 로의 전이는 필연적으로 이루어질 것이다. 그러나 현재의 인터넷환경에서 IPv6 로의 동시 전환은 현실적인 불가능하며 향후 IPv6 환경의 확산에 대처하기 위해서는 IPV4에서 IPv6 로의 효과적이고 점진적인 전이 방안에 대한 연구가 필요하다. 본 논문에서는 이러한 전이 방안 중에서 IPv4 및 IPv6 단일구조를 지닌 호스트들로 구성된 네트워크간의 원활한 통신을 지원하기위한 IPv4/IPv6 변환 프로토콜을 구현하고 테스트하였다. 이를 위하여 IP 패킷 구조를 분석하고 이를 토대로 IP 변환 프로토콜의 기능 구조 및 변환동작절차를 설계 및 구현하였고, 국부시험 방법을 사용하여 설계한 변환 프로토콜이 정상적으로 동작함을 확인하였다.

• Aerospace Engineering and Technology
• /
• v.13 no.2
• /
• pp.54-59
• /
• 2014

This paper cites about a test & analysis support set to support a testing and analysis of CFDP(CCSDS File Delivery Protocol) that processes commands and data as a series of file for reliable deep space communication. And this paper includes a basic description of CFDP and an objective and functions of CFDP-TASS(CFDP - Test Analysis & Support Set). CFDP-TASS is an equipment to examine OBC(On-Board Computer) CFDP in normal and abnormal cases, gather all packets in test, and support to analyze effectively the result of tests.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.470-477
• /
• 2015

This paper presents a new technique for generating an optimum synchronizable test sequence that can be applied in the distributed test architecture where both external synchronization and input/output operation costs are taken into consideration. The method defines a set of phases that constructs a tester-related digraph from a given finite state machine representation of a protocol specification such that a minimum cost tour of the digraph with intrinsically synchronizable transfer sequences can be used to generate an optimum synchronizable test sequence using synchronizable state identification sequences as the state recognition sequence for each state of the given finite state machine. This hybrid approach with a heuristic and optimization technique provides a simple and elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.800-803
• /
• 2004

This paper describes the design and implementation of the T=1 protocol based on lava Card. The T=1 protocol implemented in this paper complies with ISO/IEC 7816 standard. Also, JCOS(Java Card Operating Systems) including the contactless card protocol conforms to Java Card 2.2.1 specification and is running on 32-bit ARM7/TDMI processor. The protocol stack proposed and implemented in this paper is easy to maintenance of protocol independently. To verify the T=1 protocol implemented in this paper we tested the T=1 protocol scenarios defined in ISO/IEC 7816-3 Annex A. And we tested using USIM(Universal Subscriber Identity Module) cards, which include the implemented T=1 protocol. The T=1 protocol was tested and passed all against the specification 3GPP TS 31.122, which was the Conformance Test Specification for USIM cards including the test suites of both transmission protocols.

• Journal of IKEEE
• /
• v.14 no.3
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3) is the international standard testing language defined by ETSI in 2001. TTCN-3 is generally used for protocol conformance test, but it is also possible to be applied to the platform and API tests based on CORBA. Moreover, it can be also applied to the various testings such as interworking testing, repetition testing, platform testing, etc. IEC 61850 is the protocol proposed for SAS(Substation Automation System) of SCADA(Supervisory Control And Data Acquisition) system. In this paper, a IEC 61850 interoperability Tester based TTCN-3 is developed under the Window environment. IEC 61850 Server Simulator of Linux operating system is used as SUT(System Under Test). Conformance testing items in this paper are the Positive test case_Srv5 of "Server, Logical device, Logical node, and data model" in the testing group of "IEC 61850 - Part10" document.