http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 류호동 (검색결과 19 건)
- 무료
- 기관 내 무료
- 유료
-
-
가상 프로토타입 기반 임베디드 소프트웨어의 테스트 기법
류호동,정수용,이성희,김지훈,박흥준,이승민,이우진 대한임베디드공학회 2014 대한임베디드공학회논문지 Vol.9 No.6
Recently, software reliability and safety issues are seriously considered since failures of embedded systems may cause the damages of human lifes. For verifying and testing embedded software, execution environment including sensors and actuators should be prepared in the actual plants or virtual forms on PC. In this paper, we provide the virtual prototype based code simulation techniques and testing framework on PC. Virtual prototypes are generated by combining the Adobe’s Flash SWF images corresponding to the state machine of HW or environment components. Code simulation on PC is possible by replacing the device drivers into virtual drivers which connect to virtual prototypes. Also, testing is performed by controlling the states of virtual prototype and simulators. By using these tools, embedded software can be executed in the earlier development phase and the efficiency and SW quality can be enhanced.
-
UML 모델 기반 임베디드 소프트웨어 모델링 및 코드 자동 생성 기법 연구
류호동,이우진 중소기업정보기술융합학회 2012 융합정보논문지 Vol.2 No.1
최근에 임베디드 환경은 하드웨어의 비약적인 발전과 다양한 전자 제품에서의 소프트웨어 제어로 인하여 소프트웨어 분야에서 많은 변화를 겪고 있다. 이러한 환경적 변화로 인한 요구사항의 증가는 임베디드 소프트웨어의 복잡도를 높여왔고 이는 기존 개발방법의 한계를 보여주었다. 모델 기반의 개발방법은 이미 오래전 제기되었던 범용소프트웨어 개발에서 발생했던 한계의 해결을 위하여 제시되고 지금까지 사용되어온 방법으로서 임베디드 환경에 닥친 한계의 극복을 위한 대안 중 하나로 꼽히고 있다. 이 논문에서는 이 모델 기반 개발 방법론을 임베디드 소프트웨어 적용하기 위한 모델 기반의 다이어그램 편집기와 이로부터 작성된 모델을 이용하여 자동적으로 코드를 생성하는 코드 자동생성기를 제안한다. 모델 정의에 사용된 다이어그램 편집기는 GMF를 이용하여 구현하며, 코드 자동생성기에는 임베디드 환경의 특징인 제한된 메모리와 동시적 병행성 문제를 해결하기 위한 코드 생성 기법을 추가한다. 아울러 생성된 코드의 검증을 위하여 기존의 코드를 대체하여 수행하는 방법을 사용한다.
-
블랙박스 테스팅을 위한 함수 추상화 기반의 테스트 케이스 생성기법
류호동 ( Hodong Ryu ),이우진 ( Woo Jin Lee ) 한국정보처리학회 2013 한국정보처리학회 학술대회논문집 Vol.20 No.2
오늘날 소프트웨어의 복잡화에 따라 그 테스트 방법 또한 다양화 되고 있다. 입력의 따른 결과 값을 비교하여 대상의 내부 구조에 대한 깊은 이해 없이 가능한 블랙박스 테스팅은 오늘날의 복잡한 소프트웨어의 테스팅에 있어 매우 적합한 방법이다. 하지만 이러한 테스트를 위한 테스트 케이스 생성을 위해서는 요구 명세와 더불어 이에 대한 깊은 이해를 필요로 한다. 이러한 문제를 해결하기 최근에는 UML과 같은 정형화된 명세 기반의 테스트 케이스 생성기법이 연구되고 있지만, 모델 기반의 개발 방법이 사용되지 않는 부분에서는 매번 이루어지는 코드 변경에 따라 모델을 다시 수정하는 번거로움이 필요하다. 이에 본 논문에서는 함수 레벨의 블랙박스 테스트를 위하여 코드를 이용하여 테스트 케이스를 생성하는 방법을 제안한다. 이를 위해 먼저 대상 함수를 추상화한 후 함수의 각 인자들을 이용하여 각 조건문 상의 인자의 쓰임을 분석하여 각 조건의 기준 값을 추출하고 이로부터 테스트 케이스를 추출하는 방법을 제안한다. 이러한 방법은 이미 구현되어 있는 코드를 사용함으로써 새로운 요구 명세에 대한 이해의 필요성을 줄이고 더불어 코드 기반의 테스트 케이스의 자동 생성연구의 초석이 된다.
-
기획특집 : 사물 인터넷 ; 사물 인터넷 환경을 위한 BitTorrent 알고리즘 기반의 테스트 커버리지 측정기법
류호동 ( Ho Dong Ryu ),이우진 ( Woo Jin Lee ) 한국정보처리학회 2014 정보처리학회논문지. 컴퓨터 및 통신시스템 Vol.3 No.10
사물 인터넷(Internet of Things : IoT) 환경이 이미 네트워크기반의 서비스 분야에서 가장 대표적인 패러다임이 되었음에도 불구하고, 인간과 사물 및 환경이 서로 제약 없이 연결되는 특성으로 인하여 해당 환경에 특화된 테스트 기법은 여전히 많은 연구가 필요한 상황이다. 에뮬레이터 기반에서 테스트 대상 장치를 구동하는 대부분의 기존 방식은 IoT와 같이 그 연결이 다양해지고 장치의 구분이 불분명해질수록 실제 환경과의 격차가 커져 결론적으로 부정확한 테스트 결과가 산출될 가능성이 높다. 본 논문에서는 이러한 문제를 개선하고자 각각의 장치들의 오버헤드를 최소화함과 동시에 대상 코드의 특정 부분이 중복적으로 테스트되지 않는 특징을 가진 BitTorrent기반의 테스트 커버리지 측정 기법을 제안한다 Although Internet of Things already became a new paradigm on service on network, we should pay more effort for studying about its testing method, since humans, things and environments in IoT are connected to each other without any restrictions. Earlier researches based on emulators showed that such virtual devices on emulators had unavoidable gap between them and real things. Furthermore, growth of connection complexity between the devices and loosing of restrictions make the gap wider. Accordingly, in this paper, we suppose a method of test coverage measurement based on BitTorrent for IoT environment. It has cooperation features among homogeneous devices with avoiding the overlapping on each part of whole test process.
-
임베디드 소프트웨어의 단위 테스팅을 위한 로그 기반 테스팅 프레임워크 개발
류호동 ( Ho Dong Ryu ),정수용 ( Soo Yong Jeong ),이우진 ( Woo Jin Lee ),김황수 ( Hwang Soo Kim ) 한국정보처리학회 2015 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.4 No.9
최근 사물인터넷 서비스가 점차 보편화되면서 사물인터넷에 사용되는 임베디드 시스템의 신뢰성 및 안전성 이슈가 부각되고 있다. 사물인터넷 시스템 등과 같은 임베디드 시스템 개발의 경우, 개발과정에서 소프트웨어 가상 수행환경을 구축하는 것이 쉽지 않아 단위테스트를 거의 수 행하지 않고 있어 기능 신뢰성을 보장하기 어려운 실정이다. 이 연구에서는 실제 플랜트 환경에서 로그 기반 단위테스트 수행방법을 제안한다. 실제 시나리오 수행과정에서 함수별 수행경로를 고려하여 중복된 수행로그를 제거하여 저장되는 로그를 최소화하고 나중에 대표 수행경로만을 분석하여 단위테스트를 진행하는 방식이다. 제안된 방식은 시스템 테스트를 진행하는 과정에서 로그 기반 단위테스트를 효율적으로 수행할 수 있는 장점이 있다. As Internet of Things (IoT) is recently serviced in several fields, the reliability and safety issues for IoT embedded systems are emerged. During the development of embedded systems, it is not easy to build the virtual execution environment and to test the developing version. Therefore, it is difficult to ensure its reliability due to lack of unit testing. In this paper, we propose a log-based unit testing framework for embedded software, which performs on real target board by extracting information of function execution. And, according to execution paths, duplicated logs are eliminated to keep a minimal log size. As a result, during system testing, testers can efficiently decide whether the executed paths of each function are correctly performed or not.
-
-
류호동(Ho Dong Ryu),이우진(Woo Jin Lee) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1B
AUTOSAR가 차량용 전장 소프트웨어의 표준으로 자리 잡음에 따라 이를 기반으로 하는 다양한 개발 도구와 개발 방법이 연구 되고 있다. 특히 UML로 대표되는 모델 기반의 개발 방법의 적용에 대한 연구 역시 많은 부분에서 진행되고 있다. 본 논문에서는 모델을 이용한 AUTOSAR 기반의 개발 방법을 AUTOSAR 소프트웨어 컴포넌트 개발에 적용하기위하여 이 과정에서 필요한 모델 프로그래밍 지원 도구를 제안한다. 본 도구는 일반적으로 모델 기반의 개발 방법에서 컴포넌트 다이어그램에서는 컴포넌트, 상태머신 다이어그램에서는 상태 속에 숨겨져 있는 코드를 시각적으로 드러내고, 편집과정에서 지원하여 개발의 능률성을 높임과 동시에 좀 더 신뢰성 있는 코드에 작성을 가능하게 한다.
-
TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구
석미희,류호동,이우진,Seok, Mi-Heui,Ryu, Ho-Dong,Lee, Woo-Jin 한국정보처리학회 2012 정보처리학회논문지 A Vol.19 No.2
최근에 분산 실시간 소프트웨어가 다양한 분야에서 중요한 역할을 담당하고 있다. 실시간 소프트웨어는 반응 시간에 대한 시간제약성을 만족하여야 함으로 TMO(Time-triggered, Message-triggered Object), CORBA/RT, RTAI 등과 같은 미들웨어를 이용하여야 한다. 하지만 이러한 실시간 미들웨어에 친숙하지 않은 프로그래머들은 실시간 소프트웨어 개발에 어려움이 있다. 이 연구에서는 이러한 미들웨어에 대한 전문지식 없이도 실시간 소프트웨어 개발이 가능하도록 TMO 기반의 자동 코드 생성 도구를 제안하고자 한다. TMO 특성을 설계 모델에 반영하기 위해, 시간제약사항을 포함하는 SpM과 SvM 메소드를 클래스 다이어그램에 추가하고 상태 머신 다이어그램의 독립 영역으로 분할하여 이들의 행위를 표현한다. TMO 기반 코드 생성기는 이러한 모델 정보를 입력받아서 TMO 클래스 코드를 생성한다. 이러한 자동생성 접근 방법은 TMO에 대한 전문지식이 없더라도 실시간 소프트웨어를 생성할 수 있어, 소프트웨어 개발에 소요되는 비용과 시간을 줄이는 장점이 있다. In recently years, distributed real-time software has performed important roles in various areas. Real-time applications should be performed with satisfying strict constraints on response time. Usually real-time applications are developed on the real-time supporting middleware such as TMO(Time-triggered, Message-triggered Object), CORBA/RT, and RTAI. However, it is not easy to develop applications using them since these real-time middleware are unfamiliar to programmers. In this paper, we propose an automatic code generator for real-time application based on TMO in order to reduce development costs. For increasing or reflecting the characteristics of TMO into the design model, SpM and SvM methods are added into the class diagram, which have time constraints as their properties. And behaviors of them are represented as separated regions on state machine diagram in different abstract level. These diagrams are inputted into TMO-based code automatic generator, which generates details of the TMO class. Our approach has advantages for decreasing effort and time for making real time software by automatically generating TMO codes without detailed knowledge of TMO.
-
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
