• Journal of Computing Science and Engineering
• /
• 제4권4호
• /
• pp.313-349
• /
• 2010

In this paper, we study the data interoperability problem of web services in terms of XML schema compatibility. When Web Service A sends XML messages to Web Service B, A is interoperable with B if B can accept all messages from A. That is, the XML schema R for B to receive XML instances must be compatible with the XML schema S for A to send XML instances, Le., A is a subschema of B. We propose a formal model called Schema Automaton (SA) to model W3C XML Schema (XSD) and develop several algorithms to perform different XML schema computations. The computations include schema minimization, schema equivalence testing, subschema testing, and subschema extraction. We have conducted experiments on an e-commerce standard XSD called xCBL to demonstrate the practicality of our algorithms. One experiment has refuted the claim that the xCBL 3.5 XSD is backward compatible with the xCBL 3.0 XSD. Another experiment has shown that the xCBL XSDs can be effectively trimmed into small subschemas for specific applications, which has significantly reduced the schema processing time.

• 한국IT서비스학회지
• /
• 제6권2호
• /
• pp.153-160
• /
• 2007

Middleware for mobile devices, embedded middleware, is used for mobile devices, cellular phone and DMB related services. It is essential for middleware providers to provide high quality middleware in conformity with its standard and interoperability on hardware platforms. The standard conformance and interoperability of embedded middleware are the key factors to make service providers succeed in their business. The quality of embedded middleware could be secured when Tests for the standard conformance and interoperability of embedded middleware are performed with well established test framework. In this paper, we describe middleware testing methodology of standard conformance, interoperability and middleware test framework for mobile devices.

• 한국정보과학회논문지:정보통신
• /
• 제28권2호
• /
• pp.277-287
• /
• 2001

통신 프로토콜의 상호운윤성을 시험하기 위한 시험경우를 생성하는 방법론이 논문[1, 2, 3]에서 제안되었고 TCP와 ATM프로토콜에 적용되었다. 이들 방법론으로 생성된 시험경우는 제어부분만을 고려하고 있다. 그러나 실제 시험에 있었서는 데이터를 고려하여야 하며 완전한 시험이 되기 위해서는 이들 변수들이 가질 수 있는 모든 값에 대한 시험을 거쳐야 하지만 이것은 현실적으로 불가능하다. 본 논문에서는 데이터를 포함하는 시험을 하기 위하여 논문[1]에서 도출한 시험경우에 제어 부분과 데이터 부분을 동시에 고려하여 TCP의 연결설정 절차에 대한 시험경우를 도출한다. 이 과정에서 시험경우의 수가 너무 커지는 것을 피하기 위해 최소의 실험횟수로 최대의 정보를 얻을 수 있도록 실험계획법을 이용한다. 실험계획법은 적합성 시험에는 적용되었지만 아직 상호운용성 시험에는 적용되지 않았다. 이 방법을 통해 데이터 부분을 포함하는 상호운용성 시험경우를 생성하고 시험의 검출력을 유지하면서 최소화된 시험경우로 상호운용성 시험을 할 수 있는 기능성을 보인다

• 한국공간정보시스템학회:학술대회논문집
• /
• 한국공간정보시스템학회 2005년도 GIS/RS 공동 춘계학술대회
• /
• pp.125-139
• /
• 2005

It is assumed that GIS conformance certification can be important for improving geospatial interoperability. This study aims to establish the framework, methodology and model for GIS conformance testing and certification Also, as an implementation example, a pilot conformance testing for GIS metadata standard are examined.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.15-24
• /
• 2018

HLA(High Level Architecture)는 시뮬레이션의 재사용성 증진과 상호운용성 확보를 목표로 하는 국제기술표준이다. 전세계적으로 HLA 기반 페더레이트 간의 연동을 통한 페더레이션 구축이 다양한 분야에서 적용되고 있으며, 국내 군사 분야에서는 KR/UFG 한미 연합연습 등에서 활용되고 있다. 현재 미 국방성에서는 페더레이트의 HLA 준수여부를 사전에 확인하는 HLA 적합성 인증시험이 강조되고 있다. 그러나 미국의 인증시험은 인증도구의 제한사항으로 인해 페더레이션 저장/복구 서비스 등 일부 HLA/RTI 서비스들에 대한 기능검사는 불가능하며 페더레이트 간의 교환데이터에 대한 검사 또한 배제되어 있다. 본 논문은 이러한 문제를 해결하기 위해 국내 실정에 맞는 한국형 HLA 적합성 인증시험 체계를 제안한다. 이를 통해 효과적인 인증시험 수행이 가능하며 각 페더레이트들 간의 상호운용성을 향상시킬 수 있을 것으로 기대한다.

• ETRI Journal
• /
• 제40권1호
• /
• pp.72-88
• /
• 2018

In the fifth generation (5G) era, the radio internet protocol capacity is expected to reach 20 Gb/s per sector, and ultralarge content traffic will travel across a faster wireless/wireline access network and packet core network. Moreover, the massive and mission-critical Internet of Things is the main differentiator of 5G services. These types of real-time and large-bandwidth-consuming services require a radio latency of less than 1 ms and an end-to-end latency of less than a few milliseconds. By distributing 5G core nodes closer to cell sites, the backhaul traffic volume and latency can be significantly reduced by having mobile devices download content immediately from a closer content server. In this paper, we propose a novel solution based on software-defined network and network function virtualization technologies in order to achieve agile management of 5G core network functionalities with a proof-of-concept implementation targeted for the PyeongChang Winter Olympics and describe the results of interoperability testing experiences between two core networks.

• 전기전자학회논문지
• /
• 제14권3호
• /
• pp.210-218
• /
• 2010

TTCN-3(Testing & Test Control Notation Version 3)은 2001년 ETSI에서 표준화한 국제 표준 테스트 언어이다. TTCN-3은 프로토콜 적합성 시험에 일반적으로 사용하고, 특정 부분의 모듈이나, CORBA 기반의 플랫폼 및 API 시험 등에 적용이 가능하다. 또한 적합성 시험뿐만 아니라 연동 시험, 반복 시험, 플랫폼 시험 등의 다양한 시험에 적용이 가능하다. IEC61850 은 SCADA(Supervisory Control And Data Acquisition) 시스템에서 SAS(Substation Automation System)를 위해 제안된 프로토콜이다. 본 논문에서는 TTCN-3 적합성 시험 언어를 이용하여 IEC 61850 상호 연동성 시험기를 Windows 환경에서 구현하였다. SUT(System Under Test)로는 리눅스 운영체제 기반의 IEC61850 Server Simulator를 사용하였다. 본 논문에서 시험한 적합성 시험 항목은 "IEC61850 - Part10" 문서의 테스트 항목들 중 "Server, Logical device, Logical node, and data model"의 Positive test case_Srv5 항목을 시험하였다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2005년도 Proceedings of ISRS 2005
• /
• pp.329-332
• /
• 2005

In order to provide the reliable service and contents to telematics service user, any service server must be tested and verified before launching its service in sufficient. In this paper, we proposed a test framework for telematics server. The proposed framework includes conformance test of server, interoperability test between telematics service server and telematics terminal. The framework proposed the concept and test model for two categories of testing.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2003년도 추계학술대회
• /
• pp.822-840
• /
• 2003

The Basic Profile has helped interoperability. Sample Application experience is already reflected in a most major platforms. Usage Scenarios valuable in identifying where BP restrictions apply. Testing is critical.

• 한국국방경영분석학회지
• /
• 제24권2호
• /
• pp.57-74
• /
• 1998

This paper is aimed to propose an testing and evaluation strategy and plan in Military Information Systems, especially focusing on development an“New-generation Wargame Model”. Through this research, we concluded that the effective and efficient testing/evaluation strategy/plan can aid the productivity, maintainability, availability, etc., of the Militray Information Systems. Highlights of the proposed testing and evaluation strategy and plan for Military Information Systems are as follows. First, in the unit and module integration testing phase, hybrid of black-box and white-box testing techniques are available for Military Information Systems and progressive approach for module integration phase should be considered because of the complexity. Second, in the system testing phase, integrated module should be tested with respect to the function and performance that should be satisfied with the user requirements, specifications, risk analysis, etc., Third, in the acceptance testing phase, reliability, interoperability, maintainability, availability, integrity, etc., must be considered in the actual or mini-operational environments for testing efficiently and effectively.