• The Transactions of the Korea Information Processing Society
• /
• v.6 no.3
• /
• pp.750-757
• /
• 1999

The protocol conformance testing is to check whether an implementation of a protocol conforms to its specification. And it is important to improve the interoperability of protocol and the efficiency of cost. In general, protocol is composed of the control flow representing observable behaviors and the data flow representing internally used variables. Until now, research for generation of test suite has been realized only consideration the control flow of protocol or separation control flow from data flow. Case of considering control flow, contents of test was simple and definite. Length of test was short. But it was of little application, and it didn't manage each kind errors in data flow. Therefore, we must generate test case that can manage control and data flow. So, anomaly of variable must be removed for efficient conformance testing. Therefore in this dissertation, we proposed algorithm which can remove anomaly of variable for efficient conformance testing. And it showed that anomaly of variable was got rid of applying this algorithm to real protocol.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.10
• /
• pp.2348-2356
• /
• 1997

This paper describes a method of AAL(SSCOP) protocol conformance testing and its result analysis in ATM network. Terminal equipment(TE) that implements protocols for connecting ATM network shall be verified if appropriately implement by conformance testing. The protocol specifications and the testing methodology are recommended or standardized by international standardization organization(ITU-T, ISO, etc.). The ATM AAL (SSCOP) protocol which selected for describing conformance test procedure is standardized in ITU-T Q.2110 and ATM Forum UNI 3.1 which are same in contents. Also Testing standard like ATS for SSCOP is specified in ATM Forum 95-1459R2. Construction of conformance testing environment is necessary to coordinate in relations with standards, then testing must beexecuted at that environment and the results from the test system analyzed. For this, it is necessary to select any test case from standard for testing and to make ETS. The ETS is proted on the test system and conformance testing will execute on that system. Finally the result from the test system is to analyze. This conformance testing procedure is applicable to the same other test cases in SSCOP and protocols in any communcation networks.

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

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

• 제어로봇시스템학회:학술대회논문집
• /
• 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).

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.653-656
• /
• 2007

A concern about the ebXML concentrated, the necessity for Validation request among the ebXML sollutions has become both at home and abroad. There aren't any test implement for Validation of BPSS. The ebXML BPSS system establishment related to ebMS Standard Conformance and Interoperability is required. In this paper, We'll suggest system model to estimate Conformance of document in accordance with case items to frame the ebXML BPSS Validation items.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2832-2839
• /
• 1997

In this paper, a testing architecture and procedure that an idle ATM virtual channel can be utilized for TCP channel is proposed. Four kinds or methodologies for protocol conformance testing have been standardized in ISO. Remote testing method used popularly have some disadvantages that developer must operate system manually in case of System Under Test (SUT) active testing and we cannot control and observe Implementation Under Test (IUT) often. It is proper to adopt distribute testing method than remote test in order to maximize test coverage and optimize fault coverage for conformance testing in ATM systems, and it is required that TCP channel is prepared for distribute testing method. The proposed architecture can adopt distributed testing method without extra physical channel for testing control. Also we can maximize the test coverage and implement the automation of testing without intervention of operator sustaining normal operation of ATM equipment.

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