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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.5
• /
• pp.434-445
• /
• 1990

Protocol testing techniques are expanded from the traditional simple function- testing based on the OSI model, to sophisticated performance testing, conformance testing and interoperability testing. In addition, both point-to-point and point-to-multipoint protocols are to be covered. This paper presents a new multiple-purpose protocol test system where the common platform includes the test sequence generation and test result analysis, and the modular test execution part is selectively adjusted according to the test purposes and protocols under test. This paper describes test system for network routing protocol and test system for transport protocol, designed upon the ideas of the multiple-purpose protocol test system.

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

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

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

• 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.22 no.2
• /
• pp.280-290
• /
• 1997

The Single TTCN has been broadly used to describe the ATS(Abstract Test Suite) for the protocol confronance testing. But if the single TTCN is used to test the multi-party protocol with the non-deterministic factors, then huge amount of test notations are needed and also it is hard to understand the ATS. Therefore, the concurrent TTCN was proposed to solve these problems and the study in progress. In this paper, we did investigate and compare the characteristics of esisting single TTCN with those of the concurrent TTCN. In order to develop the ATS of the Q.2971 which is B-ISDN call/connection control protocol, the testing model was defined and the concurrent factors were extracted according to that model. As a result, we could verify the usefulness of the confcurrent TTCN.

• ETRI Journal
• /
• v.21 no.4
• /
• pp.52-64
• /
• 1999

QoS monitoring is a kind of real-time systems which allows each level of the system to track the ongoing QoS levels achieved by the lower network layers. For these systems, real-time communications between corresponding transport protocol objects is essential for their correct behavior. When two or more entities are employed to perform a certain task as in the case of communication protocols, the capability to do so is called interoperability and considered as the essential aspect of correctness of communication systems. This paper describes a formal approach on modeling and interoperability test case generation of a real-time QoS monitoring protocol. For this, we specify the behavior of flow monitoring of transport layer QoS protocol, i.e., METS protocol, which is proposed to address QoS from an end-to-end's point of view, based on QoS architecture model which includes ATM net work in lower layers. We use a real-time Input/Output finite State Machine to model the behavior of real-time flow monitoring over time. From the modeled real-time I/OFSM, we generate interoperability test cases to check the correctness of METS protocol's flow monitoring behaviors for two end systems. A new approach to efficient interoperability testing is described and the method of interoperability test cases generation is shown with the example of METS protocol's flow monitoring. The current TTCN is not appropriate for testing real-time and multimedia systems. Because test events in TTCN are for message-based system and not for stream-based systems, the real-time in TTCN can only be approximated. This paper also proposes the notation of real-time Abstract Test Suite by means of real-time extension of TTCN. This approach gives the advantages that only a few syntactical changes are necessary, and TTCN and real-time TTCN are compatible. This formal approach on interoperability testing can be applied to the real-time protocols related to IMT-2000, B-ISDN and real-time systems.

• Advances in Automotive Engineering
• /
• v.1 no.1
• /
• pp.61-77
• /
• 2018

In this study, the effects of sitting position of the driver on the whiplash neck injury have been analyzed experimentally by using hybrid III series 50 percentile male crash test dummy. A testing platform consisting of vehicle ground, driver foot rest, driver seat and a 3-point seatbelt has been prepared. This testing platform and the instrumented crash test dummy are prepared for tests according to the Euro NCAP whiplash testing protocol. The prepared test set-up has been exposed to 3 different acceleration-time loading curves defined in the Euro NCAP whiplash testing protocol by performing sled tests. 9 different sled tests have been performed with the combinations of 3 different seating positions of the crash test dummy and 3 different acceleration-time loading curves. The sensor data obtained from the crash test dummy and high-speed videos taken are analyzed according to the injury assessments criteria defined in the Euro NCAP whiplash testing protocol and the criticality of the whiplash injury is defined. It is seen that the backset distance of the driver head with the headrest and the height difference of the top of the head of the driver with the headrest have a great importance on whiplash injuries.

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