델타메커니즘에 의거한 리그레션 테스트 툴세트

전태웅(Taewoong Jeon) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.1

리그레션테스트는 기 테스트된 프로그램을, 코드의 수정후 이에 따른 에러의 발생여부를 검증하기 위해 다시 테스트하는 것으로서, 프로그램의 디버깅 및 유지보수 과정에서뿐만 아니라 최근의 evolutionary 개발방법에서는 소프트웨어 라이프 사이클 전반에 걸쳐 수행된다. 리그레션테스트는 그 수행 과정에 있어서 여러가지 유형의 데이타들을 생성, 변경하게 된다. 즉 소스코드, 심볼테이블, 콘드롤플로우, 데이타플로우, 테스트경로, 테스트 입력/출력 데이타, 그리고 테스트 커버리지 등과 같은 데이타들이 생성, 변경된다. 초기테스트를 지원하는 재래적인 프로그램 분석 및 테스트 툴들은 이들 데이타들의 초기 생성에 중점을 두고있다. 본 논문에서는 코드의 수정 및 테스트의 반복수행에 따른 데이타들의 생성변경 과정을 델타메커니즘의 관점에서 분석, 이들 재래적인 툴들을 리그레션테스트 환경에 재사용(reuse)하는 방법을 제시하였다.

객체지향 소프트웨어의 시험성 장애 요인 분석

전태웅(Taewoong Jeon),장충현(Choonghyun Jang),이승룡(Sungyoung Lee) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1A

소프트웨어 시험성은 테스트의 유효성과 효율성에 큰 영향을 주는 품질 요소이다. 분 논문에서는 소프트웨어의 시험성을 가용도, 제어 가능도, 민감도, 관찰 가능도 및 오러클의 5가지 요소들로 구분하여 객체지향 소프트웨어의 시험성에 장애가 되는 요인들을 분석하고 시험성이 강화되도록 객체지향 소프트웨어를 설계하는데 유용한 접근 방식을 제시한다.

Mobile Device CPU usage based Context-awareness in Mobile Cloud Computing

조경희,조민호,전태웅,Cho, Kyunghee,Jo, Minho,Jeon, Taewoong The Institute of Electronics and Information Engin 2015 전자공학회논문지 Vol.52 No.3

상황인지(Context-Aware) 모바일 클라우드 컴퓨팅은 어플리케이션이 사용자의 위치, 시간, 근처에 사용자와 장치 그리고, 사용자의 상황적인 정보를 분석함으로써, 사용자 경험을 증대시킬 수 있는 새로운 전도 유망한 패러다임이다. 본 논문에서는 Volare 미들웨어를 탑재한 상황인지 모바일 클라우드 컴퓨팅 시스템의 성능 연구를 제공한다. Volare 미들웨어는 리소스와 장치의 상황을 모니터하고, 실행시간에 클라우드 서비스 요구를 동적으로 적용한다. 이러한 접근은 실행시간에 상당한 비용절감 뿐 아니라, 더욱 효과적인 자원과 신뢰할 만한 클라우드 서비스를 제공할 것이다. 또한, 다른 QoS적용 정책에 대한 상황인지 모바일 클라우드 컴퓨팅의 성능을 연구했다. 시뮬레이션 결과는 배터리 레벨이 낮고 CPU 사용량은 높고, 사용자가 초기단계 QoS를 유지할 수 없을 때, 현 적용 정책에 의해서 서비스 비용이 줄어드는 것을 보여준다. 결과적으로, 본 논문에서 제안된 적용정책을 사용하면 상황에 따라 다르게 서비스 비용을 사용자들에게 제공할 수 있다. Context-aware mobile cloud computing is a new promising paradigm that allows to improve user experience by analyzing contextual information such as user location, time of the day, neighboring devices and current activity. In this paper we provide performance study of context-aware mobile cloud computing system with Volare middleware. Volare monitors the resources and context of the device. and dynamically adapts cloud service requests accordingly, at discovery time or at runtime. This approach allows for more resource-efficient and reliable cloud service discovery, as well as significant cost savings at runtime. We also have studied the performance of context-aware mobile cloud computing for different quality of service (QoS) adaptation policies. Our simulations results show that when battery level is low and CPU usage is high and user cannot maintain the initial QoS, service cost is decreased according to current adaptation policy. In conclusion, the current adaptation policy suggested in this paper may improve user experience by providing a dynamically adapted service cost according to a situation.

객체 지향 공정 제어 루프 프레임워크의 설계 및 구현

노성환(Sunghwan Roh),전태웅(Taewoong Jeon),이승룡(Sungyoung Lee) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.11

제어 루프는 입력 값들 만으로써는 정확한 출력 값들을 계산하기 어렵거나 불가능한 물리적 공정들을 제어하는 공정 제어 시스템에 핵심적인 구성 요소이다. 본 논문에서는 실시간 공정 제어 응용시스템의 효율적인 개발을 지원하기 위하여 공정 제어 루프 소프트웨어를 재사용성이 높은 객체 지향 프레임웍으로 설계, 구현한 사례를 기술한다. 본 논문의 제어 루프 프레임웍은 포인트 클래스를 기본 단위로 하여 제어 루프의 공정 변수들과 제어 알고리즘을 캡슐화 함으로써 다양한 구조와 행위를 갖는 공정 제어응용 시스템으로 쉽게 개조, 확장이 가능하도록 설계되었다. 공정 변수들에 대한 연속적인 재계산을 수행하는 포인트 객체들의 상호 작용을 통하여 요구된 공정의 감시 제어 기능을 유연하게(flexible) 구현할 수 있는 사건/시간 구동적인(event/time-triggered) 포인트 클래스의 설계 패턴이 본 논문의 핵심이다. 본 제어 루프 프레임웍의 설계에는 Observer, Composite, Strategy, Proxy 등과 같은 객체 지향 패턴들이 사용되었다. Control loop is an essential part of the process control system that must control physical processes in which it is difficult or impossible to compute correct output value with input values alone. In this paper, we describe the design and implementation of a highly reusable object-oriented control loop framework to support the efficient development of real time process control applications. The basic building block in our control loop framework is the Point class. The Point class encapsulates process variables of a control loop together with control algorithms so that it can be easily adapted and extended to process control applications that have various structures and behaviors. The core of this paper is the design pattern of event/time-triggered Point class that can be used for flexible implementation of monitor and control functions required of target processes through the interaction of point objects performing continuous recomputation. Object oriented patterns such as Observer, Composite, Strategy, Proxy were used to design the control loop framework.

C2 아키텍쳐 스타일을 위한 UML2.0 프로파일의 확장

노성환(Sunghwan Roh),전태웅(Taewoong Jeon),승현우(Hyonwoo Seung) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.1

소프트웨어 아키텍쳐는 소프트웨어 시스템의 상위 수준 모델이다. 이러한 소프트웨어 아키텍쳐는 명료하고 엄밀한 표현을 위해 아키텍쳐 기술 언어(ADL)를 사용하여 기술된다. 하지만 대부분의 ADL들은 C2 스타일 ADL(C2SADL)처럼 소프트웨어 시스템의 개발에 필요한 요소들 중에서 특정한 관점만을 고려하여 정의되었거나 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 UML은 범용 모델링 언어로서 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 본 논문에서는 UML2.0에 기반한 C2 아키텍쳐 모델링 언어 프로파일을 정의하였다. 정의된 C2 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다. Software architecture is the high level model of a software system. It should be specified with ADLs (Architecture Description Languages) for its clarity and preciseness. Most ADLs such as C2SADL have not come into extensive use in industries since ADL users should learn a distinct notation specific to architecture, and ADLs do not address all stakes of the development process that is becoming diversified everyday. On the other hand, UML is a de facto standard general modeling language for software developments. UML provides a consistent notation and various supporting tools during the whole software development cycle. But, UML is a general modeling language and does not provide all concepts that are important to architecture description. UML should be extended in order to precisely model architecture. In this paper, we defined a C2 architecture modeling language as a UML2.0 profile. We applied the defined C2 architecture modeling language to the modeling of a restaurant reservation system.

신경망을 적용한 지체장애인을 위한 근전도 기반의 자동차 인터페이스 개발

곽재경(Jaekyung Kwak),전태웅(Taewoong Jeon),박흠용(Humyong Park),김성진(Sungjin Kim),안광덕(Kwangdek An) 한국IT서비스학회 2008 한국IT서비스학회지 Vol.7 No.2

  As the computing landscape is shifting to ubiquitous computing environments, there is increasingly growing the demand for a variety of device controls that react to user’s implicit activities without excessively drawing user attentions. We developed an EMG-based car interface that enables the physically handicapped to drive a car using their functioning peripheral nerves. Our method extracts electromyogram signals caused by wrist movements from four places in the user’s forearm and then infers the user’s intent from the signals using multi-layered neural nets. By doing so, it makes it possible for the user to control the operation of car equipments and thus to drive the car. It also allows the user to enter inputs into the embedded computer through a user interface like an instrument LCD panel. We validated the effectiveness of our method through experimental use in a car built with the EMG-based interface.

Statechart 행위 모델 기반의 테스트 오러클 생성 지원 환경

신동익 ( Dong-ik Shin ),전태웅 ( Taewoong Jeon ) 한국정보처리학회 2004 한국정보처리학회 학술대회논문집 Vol.11 No.1

소프트웨어 시험을 효과적으로 수행하기 위해서는 시험 대상 소프트웨어가 명시된 행위 명세를 올바로 준수하는지 점검할 수 있는 테스트 오러클의 개발이 요구된다. 본 논문에서는 Statechart로 표현된 행위 모델로부터 실행 가능한 테스트 오러클의 자동 생성을 지원하는 시험환경을 제안하고 설명한다.

프레임워크 가변부위 시험을 위한 객체 구조 패턴의 분류 및 추출 방법

김장래(Jangrae Kim),전태웅(Taewoong Jeon) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7·8

An object-oriented framework supports efficient component-based software development by providing a flexible architecture that can be decomposed into easily modifiable and composable classes. Object-oriented frameworks require thorough testing as they are intended to be reused repeatedly in developing numerous applications. Furthermore, additional testing is needed each time the framework is modified and extended for reuse. To test a framework, it must be instantiated into a complete, executable system. It is, however, practically impossible to test a framework exhaustively against all kinds of framework instantiations, as possible systems into which a framework can be configured are infinitely diverse. If we can classify possible configurations of a framework into a finite number of groups so that all configurations of a group have the same structural or behavioral characteristics, we can effectively cover all significant test cases for the framework testing by choosing a representative configuration from each group. This paper proposes a systematic method of classifying object structures of a framework hotspot and extracting structural test patterns from them. This paper also presents how we can select an instance of object structure from each extracted test pattern for use in the frameworks hotspot testing. This method is useful for selection of optimal test cases and systematic construction of executable test target. 객체지향 프레임워크는 개조, 합성이 용이한 클래스들로 분해될 수 있는 유연한 아키텍쳐를 제공함으로써 컴포넌트 기반의 효율적인 소프트웨어 개발을 지원한다. 프레임워크는 다수의 응용 소프트웨어의 개발에 반복적으로 재사용되므로 철저한 시험이 요구될 뿐만 아니라 재사용 시 확장된 프레임워크에 대해서도 추가적인 시험이 필요하다. 이를 위해서는 테스트 대상이 실행 가능한 형태로 제공되어야 하는데 그 구성 가능한 형태가 극히 다양할 뿐만 아니라 재사용될 때의 모든 형태를 예측하여 테스트하는 것은 현실적으로 불가능하므로, 재사용될 때마다 재구성되는 객체들의 구성 가능한 형태들을 동일한 특성을 갖는 유한 개의 그룹들로 분류하고, 각 그룹에서 시험 대상 실행 환경을 선정하여 시험하면 효과적인 시험이 가능하다. 본 논문에서는 재사용 시 다양한 형태의 객체 구조들로 개조, 확장될 수 있는 프레임워크의 가변부위에 대해 객체 구성의 동일한 특성을 갖는 구조적 테스트 패턴들을 조직적으로 추출하는 방법과 각 패턴들로부터 시험 대상 객체 클러스터 즉, 테스트 대상 인스턴스를 선정하는 방법을 제안한다. 이 방법은 불필요 한 테스트 케이스의 선정을 피하고, 테스트 대상 실행 환경의 체계적인 구축을 위해 사용될 수 있다.

객체지향 프레임웍 후크 클래스의 시험성 강화를 위한 테스트 센서타이저 설계

정문호(Munho-Jung),전태웅(Taewoong Jeon) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ

프레임웍의 결함들을 효과적으로 발견하기 위해서는 테스트 실행 과정 중에서 결함들이 민감하게 감응하여 결함으로 인한 오동작의 흔적이 남겨질 수 있어야 한다. 그런데 프레임웍은 개조, 합성된 확장부위에 결합되는 후크 클래스(hook class)들의 시험에 대한 제어와 관찰이 어려운 성질을 가지고 있다. 이를 해결하기 위해 프레임웍의 정상동작 여부를 판단하는데 단서가 되는 자료(clue data)를 포착하여 외부로 드러내는 기능을 수행하는 테스트 센서타이저를 설계하였다.

객체 지향 프레임웍의 가변부위에 대한 상호작용 패턴의 테스트 방법

노성환(Sunghwan Roh),전태웅(Taewoong Jeon) 한국정보과학회 2005 정보과학회논문지 : 소프트웨어 및 응용 Vol.32 No.7

프레임웍의 기능성을 철저하게 테스팅하기 위해서는 객체 지향 프레임웍의 재사용 시에 확장되는 가변 부위(hot spots)에 대한 체계적인 테스트 패턴 추출이 필수적이다. 본 논문에서는 프레임웍 가변부위의 설계 패턴을 분석하여 가변부위의 상호작용(interaction) 패턴으로부터 테스트 패턴을 추출하는 방법을 제안한다. 프레임웍 가변 부위의 설계 패턴에서 나타날 수 있는 객체들의 상호 작용은 상태도(statechart)로 표현되며, 표현된 상태도는 테스트 패턴 및 테스트 케이스를 생성하는데 사용된다. 생성된 테스트 패턴은 프레임웍을 확장하여 만들어진 어플리케이션들에 반복 적용되어 사용될 수 있다. Systematically extracting the test patterns of hot spots in an object-oriented software framework is a prerequisite for thoroughly testing the framework's functionality in a variety of contexts in which the framework is extended for reuse. This paper proposes a method for analyzing the design patterns and extracting the test patterns from the interaction test patterns of hot spots in an object-oriented framework. Based on the design pattern of the framework's hot spot, our method captures the object behavior allowed in that hot spot by means of statecharts, which are then used to generate the interaction test patterns and test cases. The generated test patterns and test cases can be applied repeatedly to applications which are built from extending the framework.