SOA에서 서비스 조합의 강건성 테스트 방법 및 테스트 프레임워크

국승학(Seung Hak Kuk),김현수(Hyeon Soo Kim) 한국정보과학회 2009 정보과학회논문지 : 소프트웨어 및 응용 Vol.36 No.10

최근 웹 서비스 기반 서비스 지향 구조는 네트워크 상에 분산된 다양한 애플리케이션을 효과적으로 통합하기 위한 방법으로 널리 활용되고 있다. 서비스 지향 구조에서 BPEL은 비즈니스 프로세스 모델 언어로, 다양한 서비스들을 통합하는 방법을 제시하고 있다. 현재 이러한 BPEL을 이용한 서비스 통합 및 조합에 관해 많은 연구가 진행되고 있으며 서비스들 간의 호환성을 검증하려는 노력, 비즈니스 프로세스의 식별과 추적에 관한 몇몇 연구가 진행되었다. 그러나 다양한 서비스의 조합으로 인해 발생하는 문제를 해결하려는 연구는 부족하다. 특히 조합된 서비스가 얼마나 신뢰할 수 있는지, 예외 상황에 대해 얼마나 강건하게 대처할 수 있는지 평가하고자 하는 노력은 거의 이루어지지 않았다. 이에 본 논문에서는 BPEL을 이용한 서비스 조합에 있어서 조합된 서비스의 강건성을 테스트하기 위한 방법과 이 방법을 지원하기 위한 테스트 프레임워크를 제시한다. 본 논문의 방법은 BPEL 프로세스와 참여하는 다양한 서비스를 분석하고, 분석된 정보를 바탕으로 실제 서비스들에서 발생 가능한 다양한 예외 상황을 발생시키는 가상의 환경을 구축하여 강건성 테스트를 수행한다. 이는 BPEL 프로세스로 표현된 서비스 조합이 얼마나 예외 상황에 강건하게 대처하는지 검증하는 방법이다. Recently, Web services based service-oriented architecture is widely used to integrate effectively various applications distributed on the networks. In the service-oriented architecture BPEL as a standard modeling language for the business processes provides the way to integrate various services provided by applications. Over the past few years, some types of studies have been made on testing compatibility of services and on discriminating and tracing of the business processes in the services composition. Now a lot of studies about the services composition with BPEL are going on. However there were few efforts to solve the problems caused by the services composition. Especially, there is no effort to evaluate whether a composite service is reliable and whether it is robust against to exceptional situations. In this paper, we suggest a test framework and a testing method for robustness of the composite service written in WS-BPEL. For this, firstly we extract some information from the BPEL process and the participant services. Next, with the extracted information we construct the virtual testing environment that generates various faults and exceptional cases which may be raised within the real services. Finally the testing work for robustness of a composite service is performed on the test framework.

코레어그래피 기반 웹 서비스 조합의 구현 적합성 평가 및 테스트 방법

국승학 ( Seung-hak Kuk ),서용진 ( Yong Jin Seo ),김현수 ( Hyeon Soo Kim ) 한국인터넷정보학회 2012 인터넷정보학회논문지 Vol.13 No.1

최근 웹 서비스 기반 서비스 지향 구조가 분산된 애플리케이션의 효율적인 통합을 위한 방법으로 널리 활용되고 있다. 서비스지향 구조에서의 코레어그래피는 기업 간 비즈니스 프로세스 환경에서 메시지 교환에 초점을 맞춘 협업 방식으로 참여하는 서비스들 사이의 작업 진행 순서와 메시지 교환 프로토콜을 정의함으로써 거시적인 측면에서 전체 프로세스를 모델링하기 위해 사용된다. 그러나 이러한 코레어그래피는 웹 서비스 조합을 실행 시키는 방법이 아니기 때문에 구현 모델로 변환 후 사용된다. 따라서 코레어그래피 모델을 실행시키기 위한 구현 모델은 기능적인 측면에서 코레어그래피 모델을 정확하게 구현하였는지 반드시 평가되어야 한다. 이에 본 논문에서는 코레어그래피 모델과 구현 모델의 서비스 조합 적합성을 평가하는 방법과 수행을 통한 동작의 일치성을 보장하기 위한 테스트 방법을 제시한다. Recently Web services and SOA(Service Oriented Architecture) is widely used for an effective integration way of distributed applications. The service choreography is a way of service compositions to define workflows and the message exchange protocols among several partner ser-vices in the B2B business process environment. It defines the overall business process from a global perspective. However, it must be transformed into some kind of the executable form to implement service compositions, because it does not support an execution mechanism but is a de-clarative form. Therefore, the transformed executable model must be validated with the original choreography model to guarantee behavior equivalence. In this paper, we propose the conformity assessment with respect to service compositions method between the choreography model and the transformed executable model. And we suggest the test method to show behavior equivalence between them from a viewpoint of the dynamic execution.

위성항법 시뮬레이션 작업을 동적으로 지원하는 테스트 프레임워크

국승학 ( Seung Hak Kuk ),김현수 ( Hyeon Soo Kim ),이상욱 ( Sanguk Lee ) 한국인터넷정보학회 2009 인터넷정보학회논문지 Vol.10 No.6

시뮬레이션은 어떤 문제를 모의적으로 실험하여 그 특성을 파악하는 작업이다. 시뮬레이션 과정에서는 시뮬레이션 모델, 알고리즘, 입출력 데이터의 교체 및 변경이 빈번하게 발생한다. 특히 알고리즘의 교체를 통한 시뮬레이션 작업의 경우 알고리즘을 구현한 컴포넌트가 교체될 때 기능적으로 정확하게 동작하지 않는다면 시뮬레이션 작업을 성공적으로 수행하기 어렵다. 이 논문에서는 소프트웨어 기반 위성항법 시뮬레이션 환경에서 교체될 컴포넌트가 기능적으로 정확하게 구현되어 있는지를 검증하기 위한 테스트 프레임워크를 제안한다. 이 프레임워크는 컴포넌트가 교체되는 시점에서 교체되는 컴포넌트의 상황에 맞게 기능 테스트를 수행할 수 있게 해준다. Simulation is the work that identifies the characteristics of some problem through the simulated experiments. During the experiments it is frequently required to change or replace the simulation models, algorithms, or input/output data. Especially, in the case of the simulation works performed by replacing algorithms, if a replaceable component that implements a specific algorithm is not correct with respect to its functionality it is very difficult to carry out the simulation works successfully. In this paper, we suggest a test framework that verifies functional correctness of the replaceable component in the software-based GNSS (Global Navigation Satellite System) simulation environments. When a component is replaced, this framework enables us to properly execute the functional test for the component according to its context.

EJB 컴포넌트 테스트를 위한 Deployment Descriptor 기반의 테스트케이스 자동 생성 방법

국승학(Seung-hak Kuk),김현수(Hyeon Soo Kim) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2

최근 산업계에서는 급변하는 사용자의 요구사항을 반영하면서, 경쟁력 있고, 경제적인 소프트웨어를 개발하기 위해서 EJB 컴포넌트 개발 방법을 채택하고 있다. 그러나 EJB 컴포넌트를 테스트하는 것이 기존의 자바 클래스의 테스트보다 더 많은 노력이 필요하고, 어려운 작업이기 때문에 많은 경우에 EJB 컴포넌트에 대한 테스트가 수행되지 않는다. 이에 본 논문에서 EJB 컴포넌트의 테스트 케이스 생성을 자동화 할 수 있는 방법을 제안한다. 이는 EJB 컴포넌트 개발 시 만들어지는 Deployment Descriptor로부터 컴포넌트에 대한 정보를 추출해내고, 이를 기반으로 테스트 케이스를 자동으로 생성하는 방법이다.

국가기상위성센터 영상처리 시스템 구축을 위한 국내외 기상위성 영상처리 시스템 아키텍처 분석

국승학 ( Seung Hak Kuk ),서용진 ( Yong Jin Seo ),김현수 ( Hyeon Soo Kim ),사공영보 ( Young Bo Sakong ),이봉주 ( Bong Ju Lee ),장재동 ( Jae Dong Jang ),오현종 ( Hyun Jong Oh ) 대한원격탐사학회 2012 大韓遠隔探査學會誌 Vol.28 No.1

본 논문에서는 기존에 구축되어있는 위성영상처리 시스템의 구축현황을 살펴보고, 향후 국내 기상위성 영상처리 시스템 구축에서 고려해야 할 사항에 대해 살펴본다. 기존의 위성영상처리 시스템은 운영중인 개별 위성에 대한 영상의 수집, 처리, 배포 기능을 구현한 시스템이 대부분이었다. 그러나 향후 지구환경 감시를 위한 다양한 위성들의 개발에 따른 새로운 시스템의 통합, 기존 시스템에 대한 유지보수에 대한 문제점이 지적되고 있다. 미국의 NOAA, NWS, 유럽의 ESA등에서는 이러한 문제점을 해결하기 위해 기존의 시스템에 대한 개선 사업을 진행 중에 있다. 이에 본 논문에서는 현재 국내외에서 개발되는 위성영상처리 시스템의 구축 현황을 살펴보고, 개발 이슈 및 개발 전략에 대해 살펴보고자 한다. In this paper, we have surveyed the existing architectures of the image processing systems for several meteorological satellites and identified issues which are taken into consideration to construct the advanced meteorological satellite image processing system that is being developed by NMSC (National Meteorological Satellite Center). Most of the existing systems provide the functionalities of the image acquisition, the image processing, the data management, and the data dissemination. Those systems have some common problems with respect to system integration and system maintenance. To solve these problems, NOAA, NWS and ESA suggest new system architectures to improve the existing systems. This paper introduces domestic and foreign approaches to build the satellite image processing systems and studies some issues and strategies for developing those systems.

기상위성 영상처리 기본체계 아키텍처 설계

국승학 ( Seung Hak Kuk ),최창민 ( Chang Min Choi ),서용진 ( Yong Jin Seo ),김현수 ( Hyeon Soo Kim ),사공영보 ( Young Bo Sakong ),이봉주 ( Bong Ju Lee ),장재동 ( Jae Dong Jang ),오현종 ( Hyun Jong Oh ) 대한원격탐사학회 2012 大韓遠隔探査學會誌 Vol.28 No.1

본 논문에서는 국가기상위성센터에서 진행 중인``한국형 기상·환경 위성영상처리 기본체계``구축을 위한 위성영상처리 시스템 아키텍처를 제안한다. 위성영상처리 기본 체계는 위성영상의 수신, 처리, 저장, 배포의 기본적인 기능을 갖는다. 그런데 기존 시스템은 향후 개발될 다양한 위성 및 처리 시스템을 수용하기에는 시스템 통합과 유지보수 측면에서 문제점이 있었다. 현재 운영 중인 시스템의 문제점을 해결하고, 향후 개발될 다양한 위성 및 처리 시스템을 수용할 수 있도록 시스템 아키텍처는 설계되어야 한다. 이를 위해 본 논문에서는 위성영상 처리 기본 체계의 주요 아키텍처 드라이버를 변경가능성, 상호운영성, 확장성, 재사용성, 플랫폼 독립성으로 도출하고 각 아키텍처 드라이버를 달성할 수 있도록 시스템 아키텍처를 설계하였다. 이를 통해 기존 시스템이 갖고 있는 통합 시스템 관리, 시스템 간 의존성 문제, 데이터 관리의 문제를 해결할 수 있을 것이다. 또한 향후 시스템에 대한 유지보수와 새로운 시스템의 도입 시에도 쉽게 변경하고 통합할 수 있을 것으로 기대된다. This paper suggests a system architecture for the advanced meteorological satellite image processing system that is developing by NMSC (National Meteorological Satellite Center). The meteorology satellite image processing system has basically the image acquisition, the image processing, the data management, and the data dissemination functionalities. However, the existing system has some problems with respect to system integration as well as maintenance to accommodate new satellites and/or the new image processing systems for them which will be developed in the near future, To cope with these problems we propose a new system architecture for the advanced meteorology satellite image processing system, To do this we select as the architectural drivers the quality attributes such as modifiability, inter-operability, extendability, reusability, and platform independency and design the architecture to achieve such quality attributes. We expect that the new approach will solve current issues such as system integration, system dependency, or data management problems and will provide easy ways to incorporate new systems and to maintain them.

컨테이너 내부 테스팅 전략 기반의 EJB 컴포넌트 테스트 자동화 방법

국승학 ( Seung-hak Kuk ),김현수 ( Hyeon Soo Kim ) 한국인터넷정보학회 2015 인터넷정보학회논문지 Vol.16 No.2

컴포넌트 기술은 소프트웨어를 신속하고, 효과적으로 개발할 수 있는 대안으로 90년대 초반부터 각광 받기 시작하였으며, 현재 컴포넌트 중심의 애플리케이션은 대부분 J2EE/EJB 컴포넌트 환경을 이용하여 개발되고 있다. 그러나 EJB 컴포넌트를 테스트하는 것은 기존의 자바 클래스의 테스트보다 더 많은 노력이 필요하며, 어려운 작업이기 때문에 대부분 충분한 테스트가 수행되지 않는 문제점이 있다. 이에 본 논문에서는 컨테이너 내부 테스팅 전략 기반의 EJB 컴포넌트 테스트 자동화 방법을 제안하고, 도구를 구현한다. 본 논문에서 제안하는 방법은 EJB 컴포넌트의 테스트 환경을 자동으로 구축함으로써 테스트 과정에서 개발자 또는 사용자의 시간과 노력을 많이 줄여줄 수 있다. 이를 통해 EJB 컴포넌트 개발 과정에서 보다 더 많은 그리고 다양한 테스트의 수행을 가능하게 함으로써 컴포넌트의 신뢰도를 높일 수 있다. Component technologies which enable quickly and effectively to develop software have begun to come into the spotlight since early 1990s. Currently, a number of software development works are performed on the J2EE/EJB environment. However component testing is a very complicated task, in addition it requires more efforts than the previous Java class testing. Thus many developers do not perform sufficiently testing works. In this paper we propose an automatic testing method for EJB components based on the in-container testing strategy and implement a testing tool. Since our method builds automatically the test environment for EJB components, it is possible for developers or testers to save their time and efforts at the test preparation phase. Therefore we are convinced that the reliability of EJB components can be increased through sufficient testings with our method.

패킷 필터링 보안 정책을 테스트하기 위한 테스트 베드 구축

국승학(Seung-hak Kuk),김현수(Hyeon Soo Kim) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.1

패킷 필터링은 잠재적으로 악의 있는 네트워크 패킷을 필터링하는 것이다. 패킷 필터링의 기능을 테스트하기 위해서 우리는 보안 시스템에 설정된 보안 정책이 의도한 대로 수행되는지 검증해야 한다. 그러나 기존에 이러한 기능을 테스트하기 위한 도구가 거의 없으며, 존재하는 도구는 테스트의 수행 시 테스트 케이스 선정과 테스트 결과의 판단에 있어 많은 사용자의 판단을 요구한다. 대부분의 보안 시스템 운영자는 새로운 보안 정책을 설립할 때 이를 테스트하는데 많은 부담감을 갖는다. 이에 본 논문에서는 사용자의 판단을 최소화 할 수 있는 새로운 테스트 베드를 제안하고 구현한다. 본 논문의 테스트 베드는 테스트 케이스와 테스트 오라클을 자동으로 생성한다. 그리고 생성된 테스트 오라클을 기반으로 테스트 결과를 사용자의 참여 없이 자동으로 판단한다.

소프트웨어 공학 기술의 무기체계 분야 적용 현황 및 발전방안

국승학(Kuk Seung Hak),이태호(Lee Taeho) 한국정보과학회 2022 정보과학회지 Vol.40 No.5

변경가능성과 상호운영성을 고려한 소프트웨어 기반 시뮬레이터 아키텍처 패턴의 정의

국승학(Seung Hak Kuk),김현수(Hyeon Soo Kim),이상욱(Sanguk Lee) 한국정보과학회 2009 정보과학회 컴퓨팅의 실제 논문지 Vol.15 No.8

시뮬레이션은 컴퓨터를 이용하여 실제 사물이나 작업의 상태, 혹은 프로세스를 모방하여 그 특징을 찾아내는 작업을 지칭하며, 시뮬레이터는 이러한 시뮬레이션 작업을 수행하는 하드웨어/소프트웨어 도구를 말한다. 다양한 시뮬레이터의 개발에 있어 공통적으로 요구되는 비기능적 속성은 변경가능성, 상호 운영성, 확장성이다. 그러나 기존의 시뮬레이터 개발에 관한 연구는 관심 시뮬레이션 모델에 대한 개발에 관한 것이며, 이러한 비기능적 요구사항에 대한 관심이 적다. 이에 본 논문에서는 소프트웨어 기반 시뮬레이터 개발에 있어 요구되는 비기능적 요구사항 중 변경가능성, 상호운영성, 확장성을 고려한 시뮬레이터 아키텍처 패턴을 제시한다. 본 논문에서는 아키텍처 패턴을 정의하기 위해 시뮬레이터의 필수 요소를 파악하고 그들 간의 관계를 정의하였으며, 비기능적 요구사항을 반영할 수 있는 구조로 설계하였다. 제시된 패턴은 다양한 시뮬레이션 모델을 구축할 수 있도록 시뮬레이션 모델 컴포넌트를 중심으로 이들의 조합을 통해 문제를 해결할 수 있다. 이는 시뮬레이션 모델의 재구축을 통해 유연하게 시스템의 변경가능성을 보장하며, 시뮬레이션 모델에 다양한 인터페이스를 추가할 수 있고, 시뮬레이션 모델 컴포넌트의 인터페이스를 통일시켜 상호운영성 및 확장성을 보장한다. 이 논문의 아키텍처 패턴은 향후 개발될 다양한 소프트웨어 기반 시뮬레이터의 참조 모델로 활용될 수 있다. Simulation is the imitation of some real thing, state of affairs, or process. The act of simulating something generally entails identifying certain key characteristics or behaviors of a selected physical or abstract system. And a simulator is the software or hardware tool that performs simulation tasks. When developing a simulator, the non-functional requirements such as modifiability, interoperability, and extendability should be required. However, existing studies about the simulator development focus not on such non-functional requirements but on the methodologies to build the simulation model. In this paper, we suggest the new architectural pattern for the software based simulator in consideration of such non-functional requirements. In order to define the architectural pattern, we identify the essential elements of the simulators, define relationships between them, and design the architectural structure with the elements to accommodate such non-functional requirements. According to the proposed pattern we can solve the simulation problems to combine the various simulation model components. The pattern guarantees modifiability by reconstructing the simulation model, also guarantees interoperability and extendability by adding various interfaces to the simulation model and by keeping the consistent interfacing mechanism between the simulation model components. The suggested architectural pattern can be used as the reference architecture of the simulator systems that will be developed in future.