DbC 접근법을 이용한 EJB 기반 애플리케이션의 명세 기법

노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.11·12

분산 웹 애플리케이션에 대한 관심도가 증가함에 따라서 복잡한 분산 프레임워크와 관련된 코드의 작성 없이 비즈니스 코드 작성에 주력할 수 있게 해 주는 서버측 Java 컴포넌트 아키텍처인 EJB에 대한 관심도 또한 증가하고 있는 추세이다. 그러나 이러한 관심도의 증가에도 불구하고 지금까지는 이러한 시스템의 신뢰성 측면에 대한 노력은 미비한 것이 현실이다. 따라서 본 논문에서는 객체지향 시스템 개발에서 소프트웨어의 신뢰성을 높여줄 수 있는 접근법으로 증명되고 있는 DbC 접근법을 EJB 기반 애플리케이션의 정형 명세 작성에 적용하기 위한 명세 기법을 제안한다. 이러한 명세 기법을 통해 개발자들은 EJB 기반 애플리케이션 개발에 있어서 신뢰성 측면의 이점을 얻을 수 있다. Due to increased concern about the distributed web application, the interest in EJB - server-side Java component architecture that enables to make out Business Logic without writing codes related to complicated distributed framework - is also increasing. Despite of these increased interest, However, efforts for reliability of these systems have been insufficient. Thus, in this paper, we propose specification technique for applying DbC approach, which can elevate the reliability of software in the Object-Oriented system development, in writing formal specification of EJB-based application. Through this specification technique, developers can gain reliability in the EJB-based application development.

DBC 접근법을 이용한 엔터프라이즈 빈즈 명세 기법

노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo),장옥배(Ok-Bae Chang) 한국정보과학회 2001 한국정보과학회 학술발표논문집 Vol.28 No.2Ⅰ

분산 웹 애플리케이션에 대한 관심도의 증가에 따라 서버측 컴포넌트 모델인 엔터프라이즈 빈즈가 많이 사용되고는 있지만 소프트웨어의 정확성과 견고성의 향상을 위한 노력은 미비한 실정이다. 본 논문에서는 소프트웨어의 정확성과 견고성을 높여줄 수 있는 Design By Contracts 접근법을 이용하여 엔터프라이즈 빈즈를 명세하는 방법을 제안하고자 한다. 이와 같이 엔터프라이즈 빈즈 개발에 Design By Contracts 접근법을 적용한다면 소프트웨어의 정확성을 견고성면에서 보다 진보적인 효과를 기대할 수 있다.

서버측 애플리케이션 개발을 위한 EJB 지원 엔터프라이즈 빈즈 생성기 / 전개기의 설계 및 구현

노혜민(Hye Min Noh),이상영(Sang Young Lee),김송주(Song Ju Kim),유철중(Cheol Jung Yoo),장옥배(Ok Bae Chang),이우진(Woo Jin Lee),신규상(Gue Sang Shin) 한국정보과학회 2001 정보과학회 컴퓨팅의 실제 논문지 Vol.7 No.5

J2EE(Java™ 2 Platform, Enterprise Edition) 플랫폼의 핵심기술인 EJB(Enterprise JavaBeans)는 서버 측 컴포넌트 표준 모델이다. 최근 들어 점차 이를 지원하는 도구의 중요성이 대두되고 있고 EJB만을 전문적으로 개발하는 도구들도 선보이고 있는 추세에 있다. 본 논문에서는 EJB 서버 내에서 사용되는 엔터프라이즈 빈즈(Enterprise Beans)를 컴포넌트 모델로 설계하고 설계된 내용을 임포트(import)하여 골격 코드 수준으로 엔터프라이즈 빈즈 코드를 자동 생성하는 코드 생성기(code generator) 와 이를 애플리케이션 서버에 전개하는 EJB 전개기(EJB deployer)를 설계하고 구현한다. 코드 생성기는 JAR 파일을 자동으로 생성해 주는 기능을 가지고 있다. 생성된 JAR 파일은 EJB 전개기를 통해 EJB 애플리케이션 서버에 전개되어 클라이언트가 사용할 수 있게 지원한다. 또한 본 도구는 EJB 스펙에 따라 개발된 EJB 서버와 컨테이너를 지원한다. 본 도구를 활용하면 보다 빠르고 정확하게 엔터프라이즈 빈즈를 생성하고 전개할 수 있다. EJB(Enterprise JavaBeans), the cornerstone for J2EE(Java™ 2 Platform, Enterprise Edition), is a server-side component standard model. Recently, development of supporting tool for this component model becomes important and there are many tools for developing EJB. In this paper, we purpose to design Enterprise Beans by component model, and perform design and implementation of code generator which generates skeleton code for Enterprise Beans automatically. We also implement EJB deployer for deploying these on application server. The code generator can make a JAR file automatically. This JAR file is deployed on application server by EJB deployer, and used by a client. This tool supports EJB server and container conforming to EJB specification as well. Using this tool, developer can create and deploy of Enterprise Beans more fast and exactly.

SysML 상태 기계 다이어그램 기반 테스트 케이스 생성 기법

정소영(So-Young Jeong),노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo) 한국정보기술학회 2011 한국정보기술학회논문지 Vol.9 No.3

For the management toward the rapid and increasing complexity of the embedded system development, it is most important to enhance product quality and reduce the time to the market and development cost. In this context, recently a model-based development is highlighted. In this paper, through the systematic process, the technique producing the test case from the state and transition a block has are proposed and the state machine diagram of SysML is utilized for the model-based test of the embedded system. By applying the regulation defined in this paper for the test case generation, the transition sequence table and state transition table are made. By having the test coverage performing all transitions, the proposed technique can provide the efficient product for the testing of the embedded system.

컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 유스케이스 기반 테스트 케이스 생성 기법

유철중(Cheol-Jung Yoo),노혜민(Hye-Min Noh) 한국정보과학회 2009 정보과학회논문지 : 소프트웨어 및 응용 Vol.36 No.5

사전 제조된 컴포넌트들을 재사용하여 애플리케이션을 개발하는 컴포넌트 사용자의 관심사는 사용자의 요구사항에 따라 적절히 다른 컴포넌트들과 협동하는지 여부를 확인하는 것이다. 따라서 컴포넌트 기반 소프트웨어의 경우 개발 환경이 아닌 새로운 환경에서 소프트웨어를 구성하는 컴포넌트들이 잘 연동되는지를 테스트할 수 있는 상호운용성 테스트에 관련된 연구가 중요시 되고 있다. 본 논문에서는 컴포넌트 기반 소프트웨어의 상호운용성 테스트를 위한 테스트 모델을 정의하고, 유스케이스 명세로부터 테스트 모델을 생성한 후 생성된 모델로부터 테스트 케이스를 생성하는 기법을 제안한다. 또한 테스트 모델로부터 테스트 시퀀스를 생성하는 프로시저를 구현한 도구를 소개한다. 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 context 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.

온실의 미기후 및 근권 데이터 활용을 위한 R 웹 애플리케이션 연구

정지민 ( Jimin Jung ),노혜민 ( Hye-min Noh ),연효진 ( Hyojin Yeon ),김태영 ( Taeyoung Kim ),이지현 ( Jihyun Lee ) 한국정보처리학회 2021 한국정보처리학회 학술대회논문집 Vol.28 No.2

농업에 ICT 기술을 접목한 스마트팜은 단순한 생육 환경 모니터링에서 벗어나 작물 생육을 위한 최적의 환경을 발견하고 인공지능에 기반한 자율제어가 가능한 농업으로 나아가고 있다. 자율제어가 가능한 농업의 시작은 최적의 작물 생육 환경을 아는 것이다. 이를 위해서는 관련 데이터를 수집하는 것도 중요하지만, 수집된 데이터들의 품질을 검증하고 데이터를 분석하여 작물 생육 환경을 제어하기 위한 유용한 정보를 도출해야 할 필요가 있다. 본 연구에서는 사용자들이 수집한 데이터를 활용하여 작물 생장에 필요한 정보를 얻을 수 있도록 지원하는 애플리케이션의 프로토타이핑 결과를 기술한다. 이 시스템에서 사용자는 웹브라우저를 통해 수집된 데이터들을 입력하고 원하는 분석을 요청하게 되고, 서버는 사용자의 요청과 관련된 R 스크립트를 실행하고 분석 결과를 사용자에게 전달한다.

상호운용성 테스트를 위한 EFSM 기반 테스트 케이스 생성기법

박형진(Hyung-Jin Park),노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo),장옥배(Ok-Bae Chang),이준욱(Jun-Wook Lee) 한국통신학회 2004 한국통신학회 학술대회논문집 Vol.2004 No.11

상호운용성 테스트를 위한 테스트케이스 생성 기법

이지현(Ji-Hyun Lee),노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo),장옥배(Ok-Bae Chang),이준욱(Jun-Wook Lee) 한국정보과학회 2006 정보과학회논문지 : 소프트웨어 및 응용 Vol.33 No.1

네트워크 기술이 급격히 발전하면서 서로 다른 벤더들이 개발한 시스템들이 통합되거나 상호운용함으로서 특정 기능을 수행한다. 이 경우 통합된 시스템의 정확성을 보증하는 상호운용성 테스트는 필수적이다. 상호운용성 테스트는 다른 벤더들이 개발한 다른 시스템이 데이타를 공유하는 경우 소프트웨어나 하드웨어의 성능을 테스트하는 것이다. 많은 연구에서 시스템의 행위를 모델링하기 위하여 EFSM(Extended Finite State Machines)을 사용하고 있고, EFSM은 테스트케이스 생성 알고리즘의 입력으로 사용된다. 그러나 대부분의 연구들은 최적의 테스트케이스 생성 알고리즘에 대한 것들로서 이들 알고리즘의 입력이 되는 EFSM 명세를 생성하는 과정에 관한 연구는 찾아보기 힘들다. 본 논문은 상호운용성 테스트를 위한 테스트케이스를 생성하는 연구로서 요구사항 분석서로부터 EFSM 명세를 생성하는 방법을 제안하고, 테스트케이스 생성의 자동화를 위하여 제안한 기법으로 생성된 EFSM을 입력으로 하여 표준화된 테스트 케이스 및 슈트를 자동 생성하기 위한 테스트케이스 생성기의 프로토타입을 구현한다. 또한 프로토타입 구현에 적용된 이론적 배경 및 알고리즘을 상세히 설명한다. 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.

초분광 영상과 심층 신경망을 이용한 작물 생육상태 분류 기법 : 파프리카 잎 사례 연구

최강인(Kang-In Choi),노혜민(Hye-Min Noh),정성환(Sung-Hwan Jeong),유철중(Cheol-Jung Yoo) 한국정보기술학회 2019 한국정보기술학회논문지 Vol.17 No.12

Recently, the analysis research of plant's growth condition is done with the use of hyperspectral image. However, there are many factors such as physical factors and complexity of data make the hyperspectral image analysis difficult. This study presents the classification technique of plant's growth condition using hyperspectral image and DNN(Deep Neural Network). Major information of plants is acquired through hyperspectral image, and the preprocessing is followed for the information to be used for DNN learning. The preprocessing is used by cutting the data in small patch size and rotating it for the models to be operated effectively. In the experiment, paprika leaves are divided into four types of leaves and backgrounds such as normal and damaged by harmful insects, and the result of the experiment showed 90.9% of accuracy. The presented technique has advantages that the data generation method does not affect DNN and can classify various growth conditions that are difficult in the existing RGB image.

모바일 애플리케이션 GUI 테스팅을 위한 GUI 이벤트 추출 크롤링 기법

김하연(Ha-Yeon Kim),노혜민(Hye-Min Noh),유철중(Cheol-Jung Yoo) 한국정보기술학회 2019 한국정보기술학회논문지 Vol.17 No.12

Recently, smartphones are used worldwide. New features are rapidly emerging with mobile applications. As a result, functional testing of applications is becoming important, and a lot of research on application GUI testing techniques has been performed. This paper proposes a GUI event extraction crawling technique for mobile applications GUI testing. This technique first runs an application, extracts the events with a GUI crawling and generates an event list, set input data to run the event list of all extracted activities perform automatically tests. As a result of the test, all activities were automatically searched and the event was extracted and the event was executed by inputting the boundary value and equivalence class data.