• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.475-477
• /
• 2004

네트워크의 발달과 함께 현대의 시스템들은 다른 시스템들과 서로 연동되어 운영되는 경우가 증가하고 있다. 그래서 시스템 자체의 테스팅 뿐만 아니라 다른 시스템과의 연동에 관한 상호운용성 테스팅 또한 중요하게 인식되고 있다. 기존 상호운용성 테스팅에 관련된 연구들에서는 EFSM(Extended Finite State Machines)을 기반으로 행위를 모델링 한 상태전이 정보를 토대로 테스트 케이스를 생성하는 연구가 많이 진행되어 왔다. 그러나 모든 범위의 상호운용성 테스팅에 적용할 수 있는 체계적인 테스트 프로세스에 대한 연구 및 테스트 케이스 생성의 기반이 되는 EFSM 모델 생성에 관한 체계적인 연구 또한 미흡한 실정이다. 본 논문은 완전한 상호운용성 테스팅을 위해 EFSM 기반 행위 모델링 기법을 제안하고 있다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.5
• /
• pp.361-375
• /
• 2009

The major concern of component users who develop applications using the existing components is to confirm whether a component is collaborating with the different components in accordance with the requirements. Therefore, interoperability testing whose role is to check whether components collaborate with each other within the new operating environment not within the component development content of each component is considered as an importance research topic. In this paper, we propose a test case generation technique for interoperability test of component based software. The proposed technique defines a test model for generating test cases. The proposed technique generates test models from the use case specification and thereafter from these models, test cases for Interoperability testing are derived. In addition, we describe a tool which Implements the procedures for generating test sequences from test models.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1877-1878
• /
• 2008

고품질, 고 신뢰도를 지향하는 미래 지능형 전력시스템에 대한 기대와 함께 전력 기기 및 설비의 디지털화에 관심이 집중되면서, 전력시장에서는 전력정보의 양방향 교환 표준을 위한 공통정보모델(CIM : Common Information Model)의 개발 및 활용이 새로운 화두로 부상하였다. CIM은 차세대 전력시스템과 미래형 부가서비스 등의 전반적인 운영측면에서 혁신을 이루는데 사용할 수 있도록 표준화된 데이터교환 모델이다. 이는 전력시스템 내 모든 다양한 객체(변전소, 송전선, 변압기, 차단기, 설비자산, 작업지시, 작업원 등)들이 어떻게 상호 연결되는지를 표현하는 방식이다. 최근 CIM/GID(GID : Generic Interface Definition)에 대한 관심이 고조되면서 CIM/GID를 어떻게 도입하고 활용할 것인가에 대한 논의가 활발하다. 그 활용 방안의 일환으로 개발된 시스템에 대한 상호 운용성 테스트를 수행함으로써 제품 또는 시스템의 표준화 준수 여부와 활용성에 대한 검증이 가능하다. CIM/GID 상호운용성 테스트는 UCA International Users Group에서 가입 회원들을 대상으로 지속적으로 진행되고 있다. 본 논문에서는 미국 클리블랜드에서 2003년 11월 18일$\sim$20일 사이에 진행되었던 5차 CIM/GID 상호운용성 테스트 결과를 토대로 CIM/GID와 CIM XML의 상호 운용성 테스트 방안을 소개하고자 한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2002.11a
• /
• pp.297-303
• /
• 2002

최근 전세계적으로 B2B 시장의 규모가 커짐에 따라 기업들간의 e-비즈니스를 실현하기 위한 환경 구축 및 e-비즈니스 솔루션의 필요성이 증대하고 있다. 기업간의 전자거래는 둘 이상의 거래 파트너들간에 이루어지는 정보의 등록, 메시지 및 문서 교환 등을 기반으로 이루어지는 것으로 거래의 기반이 되는 e-비즈니스 솔루션들간의 상호운용성이 가장 핵심이라 할 수 있다. 이러한 상호 운용성은 e-비즈니스 프레임워크에 대한 표준의 정립을 기점으로 표준에 적합한 e-비즈니스 솔루션의 구현, 도입 및 활용에 의해서 가능하다. 본 논문에서는 e-비즈니스 솔루션의 상호운용성 확보를 위한 기반이 되는 e-비즈니스 솔루션에 대한 표준적합성 테스트의 필요성을 제시하고, 실제로 테스트 환경을 구축하기 위한 방안을 제시한다. 그리고 더 나아가 e-비즈니스 솔루션의 표준적 합성 테스트 환경이 인증 체계로 발전하기 위한 절차를 보여준다.

• The KIPS Transactions:PartD
• /
• v.11D no.6
• /
• pp.1341-1348
• /
• 2004

As of an international standard in e-business domains, ebXML solutions are required to be tested and authenticated whether they can satisfy the conformance and interoperability requirements. In this paper, we design and implement the ebXML conformance and interoperability testing tools that observe the standard specification in conformity with ebXML Message Service v2.0, ebXML Registry Service v2.0 and ebXML CPP/A Y2.0. With this regard, our research would serve in building the verification and authentication service infrastructure for fitting standard ebXML e-business solutions with ebXML conformance and interoperability testing tools.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.8 no.7
• /
• pp.1597-1603
• /
• 2004

Recently many corporations are introducing web services which supports mutual smooth information exchange without depending on platform or programming language and new distributed computing environment based on U standard technology and internet standard protocol such as HTTP. However they are suffering difficulty in interoperability because of the problem of version inconsistency of standards supported by platforms that each vender offers. To solve these interoperability problem, although WS-I is progressing a consecutive standardization work by method of that offer Basic Profile and Usage Scenario, it is in the state that the domestic research connected with this is not sufficient yet. Accordingly, this treatise constructed interoperability Test framework by developing web services on the basis of different platform from books information retrieval services that can easily be come with and simulated and verified the interoperability by applying WS-I Basic Profile.

• Review of KIISC
• /
• v.22 no.5
• /
• pp.14-21
• /
• 2012

국가기반산업분야에 사용되고 있는 제어시스템은 원자력 화학 등의 에너지산업과 수자원, 교통 신호등의 다양한 제어분야에서 사용되고 있다. 지금까지 폐쇄적으로 운용되었던 제어시스템은 최근에는 경영시스템과의 상호연동성 및 제어시스템 간의 상호운용성등으로 인하여 점차 외부로 노출되고 있기 때문에 사이버 테러리스트의 공격 목표가 되고 있다. 실제로 사이버전쟁 발생 시에는 제일 처음의 목표가 국가기반의 산업용 제어시스템이 될 수 있으며, 해커나 공격자 등에 의한 공격으로 엄청난 재앙이 발생될 수 있다. 본 논문에서는 제어시스템에 대한 보안취약점으로 일반 IT 정보 시스템에서의 보안이슈와 함께, 제어시스템에서 사용되는 제어용 소프트웨어에 대한 보안이슈를 다루고, 이러한 보안 취약성을 분석 평가하기 위한 제어시스템용 테스트베드 구축방안을 제시하고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.548-548
• /
• 2015

과거 1990년대에 인터넷 이용이 전 세계로 확산되면서 World Wide Web를 이용하여 다양한 웹 서비스 기술의 구현 및 유통은 현재에도 개발되고 있다. 일반적으로 오늘날의 서비스는 XML 및 인터넷을 통하여 웹 서비스로 구현한 응용프로그램간의 연동을 가능하게 하는 기반기술이다. 이는 단순 객체 접근 프로토콜(SOAP), 웹 서비스 기술 언어(WSDL), 전역 비즈니스 레지스트리(UDDI) 등의 표준 기술을 사용하여 네트워크에 연결된 다른 컴퓨터 간의 분산 컴퓨팅을 지원하는 소프트웨어 및 기술이다. 이러한 웹 서비스의 발전으로 웹 서비스의 성능이 웹 서비스 제공자의 성패를 좌우하게 되고, 제공하고 있는 웹 서비스에 대한 검증이 필요하게 되었다. 웹 서비스에 대한 검증은 미국 Bloor NA(Bloor Research-North America)에서 웹 서비스 아키텍처의 단점을 발표하여 서비스의 품질과 신뢰성 및 개선점에 대하여 제시되어 활발한 연구가 진행 중에 있다. 그러나 사용자 관점에서 웹 서비스의 성능을 측정하고, 단순한 서비스 제공자의 서비스 검증 목적만이 아닌 서비스 제공자의 성능을 서비스 사용자에게 제공하는 검증 방법에 관한 연구가 많지 않은 실정이다. 하천공간정보에 대하여 웹 서비스 방식 중 통신 프로토콜인 HTTP 등을 이용한 인터넷상의 메시지 교환을 가능하게 하는 통신 프로토콜인 SOAP 및 WWW와 같은 분산 하이퍼미디어 시스템을 위한 소프트웨어 아키텍처의 한 형식인 REST(Representational State Transfer)를 실행하여 이에 따른 검증 프로세스를 수립하였다. 하천공간정보 웹 서비스에 대한 테스트 시나리오는 응답시간, 임계성능, 이용가능성, 신뢰성 및 접근성에 대하여 검증하며 하나 이상의 웹 서비스들 간의 호환성 표준의 준수 여부와 상호 운용 가능 여부를 테스트 하는 상호운용성 테스트, 신뢰성 메시징 및 분산 환경에서의 트랜잭션 처리 성능을 검증하는 웹 서비스 프로세스 품질 테스트를 실시하는 방안을 도출하고자 한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.5
• /
• pp.436-450
• /
• 2005

Existing B2B, B2C computer systems and applications that executed business trans-actions were the client- server based architecture which consists of heterogeneous hardware and software including personal computers and mainframes. Due to the active boom of electronic business, integration and compatibility of exchanged data, applications and hardwares have emerged as hot issue. This paper designs and implements a message transport system and a document transformation system in order to solve the interoperability problem of integrated logistics system in e-Business when doing electronic business. Message transport system integrated ebMS 2.0 which is standard business message exchange format of ebXML, the international standard electronic commerce framework, and JMS of J2EE enable to ensure reliable messaging. The document transformation system could convert non-standard XML documents into standard XML documents and provide the web services after integrating message system. Using suggested business scenario and various test data, our message oriented system preyed to be interoperable and stable. We participated ebXML messaging interoperability test organized by ebXML Asia Committee ITG in oder to evaluate and certify the suitability for message system.