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.

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

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

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 ),서용진 ( Yong Jin Seo ),김현수 ( Hyeon Soo Kim ),사공영보 ( Young Bo Sakong ),이봉주 ( Bong Ju Lee ),장재동 ( Jae Dong Jang ),오현종 ( Hyun Jong Oh ) 대한원격탐사학회 2012 대한원격탐사학회지 Vol.28 No.1

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.

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

국승학(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.

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

국승학 ( 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.

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

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

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

국승학 ( 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.

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

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

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

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

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

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