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.

무기체계 연구개발 사업에서의 사업성과관리 적용 이슈 및 고려사항

국승학,김윤희,김용신,유이주,Kuk, Seung Hak,Kim, Yun Hee,Kim, Yongsin,Ju, You Yi 한국시스템엔지니어링학회 2015 시스템엔지니어링학술지 Vol.11 No.1

It is generally recommended to use EVM as an efficient means for measuring project performance and progress so that the EVMS user could manage his project successfully. In spite of it's favorable intention, most project participants think it as a heavy load or a sub practiced job with low responsibility. Especially in a weapon system R&D project, the manager should consider a possibility to change plans in the middle of the project because of uncertainty coming from properties of the R&D project. Even though there are lots of variables triggering unpredictable troubles in EVM application, EVM still could be a valuable project health indicator. In this paper we introduce a case study of EVM application for weapon system development project. Furthermore, we suggest several solutions for the issues occurring in utilizing EVM.

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

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

웹 기반 어플리케이션의 기능 테스트 자동화 방법

국승학,김현수,Kuk, Seung-Hak,Kim, Hyeon-Soo 한국정보처리학회 2007 정보처리학회논문지D Vol.14 No.5

최근 웹 어플리케이션은 급속도로 성장하였으며, 점점 더 복잡해지고 있다. 웹 어플리케이션이 복잡해질수록 품질에 관련된 다양한 요구사항이 증가하고 있다. 그러나 웹 어플리케이션의 테스트에 관한 연구 및 도구는 매우 부족하다. 이에 본 논문에서는 웹 어플리케이션에 대한 테스트 자동화 기법을 제안한다. 이를 위해 본 논문에서는 HTML 코드와 소스 코트로부터 분석 모델을 생성하고, 이 모델을 기반으로 테스트 대상을 파악하며, 테스트 케이스를 추출한다. 또한 테스트 드라이버와 테스트 데이터를 자동으로 생성하고, 그것들을 서버 내에 자동으로 배치함으로써 매우 쉽게 테스트 환경을 구축한다. 본 논문에서 제안하는 방법은 웹 어플리케이션에 대한 테스트의 전반적인 과정을 자동화하며, 이러한 자동화 방법은 기존의 연구에 비해 웹 어플리케이션의 기능 테스트의 효과를 높일 수 있다는 장점이 있다. Recently web applications have growl rapidly and have become more and more complex. As web applications become more complex, there is a growing concern about their quality. But very little attentions are paid to web applications testing and there are scarce of the practical research efforts and tools. Thus, in this paper, we suggest the automated testing methods for web applications. For this, the methods generate an analysis model by analyzing the HTML codes and the source codes. Then test targets are identified and test cases are extracted from the analysis model. In addition, test drivers and test data are generated automatically, and then they are depleted on the web server to establish a testing environment. Through this process we can automate the testing processes for web applications, besides the automated methods makes our approach more effective than the existing research efforts.

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.

컨테이너 내부 테스팅 전략 기반의 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,Kim, Yun Hee,You, YI Ju 한국시스템엔지니어링학회 2015 시스템엔지니어링학술지 Vol.11 No.2

It is generally recommended to use EVM as an efficient means for measuring project performance and progress so that the EVMS user could manage his project successfully. In spite of it's favorable intention, most project participants think it as a heavy load or a sub practiced job with low responsibility. Even though there are lots of variables triggering unpredictable troubles in EVM application, EVM still could be a valuable project health indicator. In this paper we introduce a performing method for EVM based on system engineering process.