재목적성을 고려한 직접 매핑 기반의 이진 변환 규칙 생성 도구

서용진(Yongjin Seo),김현수(Hyeon Soo Kim) 한국정보과학회 2014 정보과학회논문지 : 소프트웨어 및 응용 Vol.41 No.7

이진 변환은 특정 장치에서 동작하도록 구성된 프로그램을 다른 장치에서 동작할 수 있도록 재구성하는 과정을 말한다. 이진 변환을 수행하기 위해서는 두 장치 사이의 변환 규칙을 생성하는 것이 매우 중요하다. 변환 규칙을 생성하는 방법은 직접 매핑과 간접 매핑으로 나뉜다. 직접 매핑은 성능을 위한 방법인 반면, 간접 매핑은 재목적성을 위한 방법이다. 본 논문에서는 임베디드 시스템에 적합한 직접 매핑 기반의 이진 변환을 수행한다. 그렇지만 재목적성 역시 중요한 요구사항이기 때문에, 재목적성을 고려한 직접 매핑 기반의 이진 변환 방법을 제안한다. 또한 제안된 방법을 바탕으로 자동으로 변환 규칙을 생성하는 도구를 구현한다. 이 방법을 통해서 성능과 재목적성을 모두 고려한 변환 규칙을 생성할 수 있으며, 더 나아가 이진 변환을 수행하는데 소요되는 비용을 줄일 수 있다. Binary translation is a restructuring process in order to execute a program targeting aspecific device on the other devices. In binary translation, it is very important to generate the translation rules between two devices. There are two methods for generating the translation rules, direct and indirect mapping. The direct mapping is the method for performance, while the indirect mapping is the method for retargetability. This paper suggests a binary translation method based on the direct mapping for the embedded systems. Because, however, the retargetability is also important requirement, we suggest the direct mapping based binary translation with considering the retargetability. In addition, we implement an automatic generation tool for translation rules to prove our concept. Through this method, we can generate the translation rules with considering the performance as well as the retargetability. Furthermore, we can reduce costs for the binary translation.

소스코드와 실행코드의 상관관계 분석을 통한 최악실행시간 측정 방법

서용진 ( Yongjin Seo ),김현수 ( Hyeon Soo Kim ) 한국인터넷정보학회 2016 인터넷정보학회논문지 Vol.17 No.4

내장 소프트웨어는 실시간성 및 실행 환경으로부터의 독립성을 요구사항으로 갖는다. 실시간성 요구사항은 탑재된 태스크의 최악 실행 시간으로부터 영향을 받는다. 따라서 실시간성을 보장하기 위해서는 정적 분석 기반의 최악 실행 시간 분석 방법을 사용하여 프로그램의 최악 실행 시간을 파악하여야 한다. 그러나 기존의 최악 실행 시간 분석은 실행 환경으로부터 독립성을 고려하지 않는다. 이에 우리는 실행 환경으로부터 독립성을 제공하기 위해 소스코드로부터 실행 시간을 측정하는 방법을 제시한다. 이를 위해 실행 코드가 아닌 소스코드로부터 생성된 제어 흐름 그래프를 통해 실행 시간을 측정한다. 또한 소스코드로부터 생성된 제어 흐름 그래프에는 실행 시간 정보가 존재하지 않기 때문에, 이를 제공하기 위해 소스코드의 문장과 실행코드의 명령어와의 관계를 분석한다. 결과적으로 실행 시간 측정이 가능한 제어 흐름 그래프를 생성할 수 있다. 이를 통해 프로세서로부터 종속적인 부분을 매개변수화할 수 있기 때문에, 최악 실행 시간 분석 도구의 유연성을 향상시킬 수 있다. Embedded software has requirements such as real-time and environment independency. The real-time requirement is affected from worst-case execution time of loaded tasks. Therefore, to guarantee real-time requirement, we need to determine a program`s worst-case execution time using static analysis approach. However, the existing methods for worst-case execution time analysis do not consider the environment independency. Thus, in this paper, in order to provide environment independency, we propose a method for measuring task`s execution time from the source codes. The proposed method measures the execution time through the control flow graph created from the source codes instead of the executable codes. However, the control flow graph created from the source code does not have information about execution time. Therefore, in order to provide this information, the proposed method identifies the relationships between statements in the source code and instructions in the executable code. By parameterizing those parts that are dependent on processors based on the relationships, it is possible to enhance the flexibility of the tool that measures the worst-case execution time.

비행 소프트웨어의 이식성 향상을 위한 IMA 기반 플랫폼 아키텍처

서용진 ( Yongjin Seo ),김현수 ( Hyeon Soo Kim ) 한국인터넷정보학회 2014 인터넷정보학회논문지 Vol.15 No.1

비행 소프트웨어는 인공위성의 탑재 컴퓨터에서 사용되는 소프트웨어로, 실시간성과 고신뢰성이 요구된다. 이와 같은 요구사항으로 인해 비행 소프트웨어는 동작 환경에 대한 종속성을 갖게 된다. 이러한 문제는 새로운 시스템을 구축할 때마다 매번 다시 개발하여야 하는 상황을 초래한다. 따라서 비행 소프트웨어와 동작 환경 사이의 종속성 문제를 해결할 필요가 있으며, 이는 비행 소프트웨어의 이식성 향상을 통해 해결할 수 있다. 이식성을 향상시키기 위해서는 이식 비용의 최소화가 요구된다. 따라서 본 논문에서는 이식성 달성 방안으로부터 이식성을 분류한다. 또한 분류된 이식성의 종류를 이용하여 다양한 이식성을 제공하는 IMA 아키텍처 기반의 플랫폼 아키텍처를 제안한다. 본 논문에서 제안한 아키텍처를 통해서 비행 소프트웨어의 개발 문제를 해결할 수 있다. Flight software operated on the on-board computers in the satellite has requirements such as real-time, high reliability. These requirements make dependency between the flight software and operating environments. Further, whenever a new system is built, such problem drives that all flight software are redeveloped. Thus, the dependency problem between them should be solved. And the problem can be resolved by improving the portability of the flight software. In order to improve the portability it is required to minimize the porting cost. In this paper, we classify the portability with the portability achieving methods. Using the classified portability, we propose a platform architecture that is based on the IMA concept and provides various portability capabilities. The proposed architecture enables us to solve the problem about the development of the flight software.

소프트웨어 테스트 모니터링 프레임워크 구축 방안

서용진 ( Yongjin Seo ),김수지 ( Su Ji Kim ),김현수 ( Hyeon Soo Kim ) 한국인터넷정보학회 2016 인터넷정보학회논문지 Vol.17 No.6

테스팅은 시스템의 요구사항을 바탕으로 테스트 케이스를 생성하여 소프트웨어에 내재되어 있는 결함을 발견하는 활동이다. 테스팅을 효과적으로 수행하기 위해서는 충실한 테스트 계획, 잘 작성된 테스트 케이스 생성과 더불어 체계적인 테스트 모니터링 활동이 요구된다. 테스트 자동화 방법에 대한 대부분의 연구들은 테스트 케이스 생성에서 테스트 실행까지의 자동화 방법에 초점이 맞춰져 있다. 본 연구에서는 이와 달리 테스트 모니터링의 자동화 방안에 대하여 연구한다. 이를 위해 테스트 모니터링 자동화를 위해 해결해야 할 요소를 도출하고 이를 기반으로 테스트 모니터링 자동화 프레임워크의 구축 방안을 제시한다. Software testing is an activity to find defects included in software through creating test cases from the software system specification. In order to perform software testing effectively, it is required to prepare the full test plan, to create well-defined test cases, and to execute test monitoring activities systematically. Most existing researches for the test approaches focus on automating the activities from the test cases generation to the test execution. Contrary to those approaches, we study automatic approaches for test monitoring activities. For this, we identify the research issues that should be solved to automate test monitoring activities. Next, with those solutions, we suggest the construction method for an automatic framework for test monitoring.

임베디드 시스템을 위한 이진코드 변환 규칙 자동 생성

이주석(Ju Seok Lee),서용진(Yongjin Seo),김현수(Hyeon Soo Kim),문대건(Daegeon Mun) 한국정보과학회 2013 한국정보과학회 학술발표논문집 Vol.2013 No.11

SMM을 이용한 테스트 도구 선택 방법의 정형화

송동훈(Dong Hun Song),서용진(Yongjin Seo),김현수(Hyeon Soo Kim) 한국정보과학회 2016 한국정보과학회 학술발표논문집 Vol.2016 No.12

분산 환경에서의 시스템 검증을 위한 테스트 기법

윤상필(Sangpil Yun),서용진(Yongjin Seo),민법기(Bup-Ki Min),김현수(Hyeon Soo Kim) 한국정보과학회 2013 한국정보과학회 학술발표논문집 Vol.2013 No.6

안드로이드 애플리케이션의 UI 단위 테스트 방법

윤상필(Sangpil Yun),서용진(Yongjin Seo),고민혁(Minhyuk Ko),김현수(Hyeon Soo Kim) 한국정보과학회 2012 정보과학회 컴퓨팅의 실제 논문지 Vol.18 No.12

세계 스마트폰 OS 시장의 절반 이상을 차지한 안드로이드는 향후 태블릿, 스마트 TV, 자동차 등으로 시장의 확대가 전망된다. 현재 안드로이드 OS를 기반으로 수 많은 애플리케이션이 개발되고 있지만 애플리케이션의 신뢰성을 보장하기 위한 연구들은 부족한 상태이다. 이는 안드로이드 애플리케이션이 GUI를 기반으로 동작하기 때문에 기존의 테스트 방법을 적용하기 어렵기 때문이다. 구글에서 애플리케이션 테스트를 위한 환경을 제공하지만 개발자가 이를 활용하여 효율적인 테스트 코드를 작성하는 것은 쉽지 않다. 이 논문에서는 안드로이드 앱 개발에서 GUI 구현의 기본 단위인 액티비티에 대한 단위 테스트 방법을 제시한다. 이를 위해 테스트 케이스 설계 방법과 테스트 수행코드의 자동 생성 방법을 제안한다. 이 방법을 통해 개발자는 쉽게 테스트 코드를 생성할 수 있으며 신뢰성 있는 앱을 개발할 수 있을 것이다. More than half of the world’s Smartphone OS market is occupied by Android. In the future Android market will be enlarged to tablet, smart TV, car, etc. Currently, based on the Android OS, many applications are being developed. However, researches to ensure the reliability of the application are insufficient. Since the Android applications are operated through the GUI, it is difficult to apply the existing test methods. Though Google provides the test environments for applications, but it is not easy for developers to utilize them efficiently. In this paper, we propose a unit testing method for the activities which are the basic implementation unit of the GUI in Android app development. To do this, the test case design methods and the automatic creation methods of the test code are proposed. With this testing method, developers can easily generate the test code and will be able to develop the reliable apps.

안드로이드 애플리케이션 UI 단위 테스트를 위한 테스트 케이스 설계 및 테스트 코드 자동 생성

윤상필(Sangpil Yun),서용진(Yongjin Seo),고민혁(Minhyuk Ko),김현수(Hyeon Soo Kim) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1B

세계 스마트폰 OS 시장의 절반 이상을 차지한 안드로이드는 향후 태블릿, 스마트 TV, 자동차 등으로 시장의 확대가 전망된다. 현재 안드로이드 OS를 기반으로 수많은 애플리케이션이 개발되고 있지만 애플리케이션의 신뢰성을 보장하기 위한 연구들은 부족한 상태이다. 이는 안드로이드 애플리케이션이 GUI를 기반으로 동작하기 때문에 기존의 테스트 방법을 적용하기 어렵기 때문이다. 구글에서 애플리케이션 테스트를 위한 환경을 제공하지만 개발자가 이를 활용하여 효율적인 테스트 코드를 작성하는 것은 쉽지 않다. 이 논문에서는 안드로이드 앱 개발에서 GUI 구현의 기본 단위인 액티비티에 대한 단위 테스트 방법을 제시한다. 이를 위해 테스트 케이스 설계 방법과 테스트 수행 코드를 자동으로 생성하는 프로그램을 구현한다. 이 방법을 통해 개발자는 쉽게 테스트 코드를 생성할 수 있으며 신뢰성있는 앱을 개발할 수 있다.

테스트 스터브를 이용한 분산 환경에서의 통합 관리 및 모니터링 시스템에 대한 테스트 기법

윤상필(Sangpil Yun),서용진(Yongjin Seo),민법기(Bup-Ki Min),김현수(Hyeon Soo Kim),김정수(Chumsu Kim) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.2B