• 한국정보처리학회논문지
• /
• 제6권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.

• 한국통신학회논문지
• /
• 제15권5호
• /
• pp.434-445
• /
• 1990

OSI 모델에 입각한 기능확인 위주의 종래의 단순한 프로토콜 시험기법은 성능시험, 적합성시험, 상호접속시험으로 세분화되고 대상 프로토콜도 일대일, 일대다수(Point-to -multipoint)로 확장되었다. 본 논문에서는 시험항목 생성부분과 시험결과 분석기능을 공통 플랫폼으로 하고 시험 대상 프로토콜의 성격과 시험목적에 따라서 모듈화된 시험수행기부분을 선택적으로 변경하는 다기능 프로토콜 시험시스템을 제시하였다. 본 논문은 다기능 시험시스템 설계에 입각한 예로서 망루팅 프로토콜 시험시스템, 트랜스포트 프로토롤 시험시스템의 구조를 보인다.

• 한국정보처리학회논문지
• /
• 제6권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년도 ICCAS
• /
• 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).

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.203-215
• /
• 1999

최근 정보통신 제품 및 서비스 산업의 발달로 Vod, Teleshopping 등의 멀티미디어 서비스를 위한 사용자 시스템의 개발이 한창이다. 그러나 구현된 제품이 국제 표준과 일치하지 않으면 제품은 시장 경쟁력을 상실하게 된다. 따라서 관련 프로토콜의 특성을 고려한 적합성 시험은 제품 및 서비스의 상호운용성의 확보를 위해 필수적이라 할 수 있다. 본 논문은 디지털 음향영상 통신 프로토콜로 자리 잡고 있는 DAVIC(Digital Audio Visual Counci)표준의 주요 프로토콜에 대한 구현 제품의 체계적이고 효율적인 적합성 시험 방법으로서 프로토콜 스택내의 단일 계층 시험 및 스택간의 관계 시험 방법 및 구조를 제안하고자 한다.

• 한국통신학회논문지
• /
• 제22권10호
• /
• pp.2348-2356
• /
• 1997

본 고에서는 ATM망에 연결되는 단말기(TE)가 국제 기관(ITU, ISO 등)에서 제정한 표준대로 구현되어 의도된 대로 기능을 수행하는지 확인하기 위한 적합성 시험 방법 및 결과 분석 방법에 대해서 기술하였다. 적합성 시험에 관한 설명을 하기 위해서 선정한 ATM AAL 프로토콜(SSCOP)애 대한 기본 표준은 ITU-T Q.2110 과 ATM Forum UNI 3.1에 각각 규정되어 있으며, 이에 대한 시험 표준은 ATM Forum 95-1459R2에 규정되어 있다. 본 고에서는 적합성 시험을 위해서 관련 표준들을 어떻게 상호 협력해서 적합성 시험 환경을 구축하고, 이러한 환경에서 적합성 시험을 수행하고 생성된 결과를 어떻게 분석해야 히는지에 대한 방법에 대해서 기술하였다. 효율적으로 설명하기 위해서 임의의 시험 항목은 선정하였으며 이 시험 항목을 수행한 시험 결과를 분석하였다. 시험 항목에 대한 적합성 시험 수행 및 결과에 대한 분석 방법은 다른 여러 시험 항목 등에서도 적용되며,ATM망의 다른 통신 프로토콜들(signaling, AAL5 ATM layer, SSCF 등)과 다른 통신망(ISDN, SS7, IN 등)에서 사용되는 프로토콜들에 대해서도 동일하게 적용된다.

• 한국통신학회논문지
• /
• 제22권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
• /
• 제21권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
• /
• 제1권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.

• 한국정보전자통신기술학회논문지
• /
• 제12권6호
• /
• pp.597-604
• /
• 2019

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성시 CPP(중국 집배원 문제) 알고리즘의 개선된 적응적 적용 방법을 제안한다. 또한 본 논문에서 제안한 개선된 CPP 알고리즘 방법이 통신 프로토콜의 적합성 시험을 위한 시험항목 생성에 어떻게 적응될 수 있는지 B-ISDN Q.2931 호/연결 제어 절차에 실례로 적용하여 본다. 본 방법의 실험적인 적용 결과 기존의 시험열 생성 방법들에 비해 최적화된 최소 비용의 시험열을 생성함을 확인하였다. 본 논문의 제안된 방법은 표준화된 사양으로부터 최소 비용의 시험항목을 구하는 최적화 기법으로써의 장점을 가지고 있는데 본 논문의 개선된 CPP 알고리즘의 이 최적화 기법은 프로토콜 구현물의 적합성을 시험하기 위한 실재 환경에 실제적으로 적용될 수 있다. 향후 연구에서는 프로토콜 적합성시험을 위한 시험항목 생성시 상위 시험기와 하위 시험기간의 시험 조정 절차에서 발생할 수 있는 동기화 문제를 해결하고 적용하는 방안이 강구되어야 할 것으로 사료된다.