http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
국방 무기 체계 SW 품질 향상을 위해 Concolic 테스팅을 통한 테스트 자동 생성
박건우(Kunwoo Park),이주현(Joohyun Lee),송형곤(Hyunggon Song),조규태(Kyu Tae Cho),김윤호(Yunho Kim),김문주(Moonzoo Kim) 한국정보과학회 2019 정보과학회논문지 Vol.46 No.9
국방 무기 체계 SW 품질 향상을 위해 노동집약적 수작업 SW 테스트 관행이 아닌, 테스트 입력을 자동으로 그리고 체계적으로 생성하는 것이 필요하다. 본 연구는 concolic 테스팅을 국방 무기 체계 SW에 적용해 높은 커버리지의 테스트 입력값을 효과적으로 생성하고, 결함을 발견하여 SW의 품질향상에 기여하였다. 프로그램의 복잡성이 크고 전체 실행 경로가 많은 프로그램의 경우, concolic 테스팅의 효율을 높일 수 있는 방법(4개의 탐색 전략, LIA 로직)을 제안하였다. 또한, 실무자들이 concolic 테스팅을 확장 적용할 수 있도록 심볼릭 모델링 방법을 예시로 제안하였다. To improve SW quality of defense weapon system, automatic and systematic generation of test cases is necessary; however, that is not the case in the traditional practice of labor-intensive and manual SW testing. The paper applies concolic testing to the defense weapon system SW, effectively generates test cases that achieve high coverage, and discovers defects which contributes to the improvement in SW quality. Also, two methods are proposed using 4 search strategies in concolic testing and using LIA logic, to increase the efficiency of concolic testing for a program with high complexity. In addition, a symbolic modeling method is proposed as an example to extend concolic testing for practitioners.
박선영(Sunyoung Park),김현곤(Hyunggon Kim),김영미(Yeongmi Kim),류제하(Jeha Ryu) 한국멀티미디어학회 2009 한국멀티미디어학회 학술발표논문집 Vol.2009 No.1
실감책(‘Sil-Gam’ Book)이란 일반 아날로그 책을 기반으로 책의 내용 중 주요 단어 및 삽화와 관련된 다양한 멀티미디어 콘텐츠와 역/촉감 콘텐츠를 융합하여 가상 또는 증강현실 시스템에서 독자가 글을 읽으면서 동시에 보고, 듣고 그리고 만질 수 있는 역/촉감 상호작용이 가능한 책이다. 본 논문에서는 역/촉감 상호작용이 가능한 실감책 소프트웨어 시스템을 제시하고 시청각 미디어와 역/촉감 데이터를 융합한 실감형 과학콘텐츠를 실감책의 일례로 제시한다. 이러한 시스템을 통해 과학 교과서에서 이해하기 어렵고 직접 실험 및 체험하기 힘든 콘텐츠를 중심으로 역/촉감을 제시하는 시나리오를 제공함으로써 가상현실에서 실감 있는 체험을 통해 학생들의 이해를 도울 수 있을 것이다.
The Impact of Network Coding Cluster Size on Approximate Decoding Performance
( Minhae Kwon ),( Hyunggon Park ) 한국인터넷정보학회 2016 KSII Transactions on Internet and Information Syst Vol.10 No.3
In this paper, delay-constrained data transmission is considered over error-prone networks. Network coding is deployed for efficient information exchange, and an approximate decoding approach is deployed to overcome potential all-or-nothing problems. Our focus is on determining the cluster size and its impact on approximate decoding performance. Decoding performance is quantified, and we show that performance is determined only by the number of packets. Moreover, the fundamental tradeoff between approximate decoding performance and data transfer rate improvement is analyzed; as the cluster size increases, the data transfer rate improves and decoding performance is degraded. This tradeoff can lead to an optimal cluster size of network coding-based networks that achieves the target decoding performance of applications. A set of experiment results confirms the analysis.
Direction Vector-Based Algorithm for the Nash Bargaining Solution in Dynamic Networks
Choi, Jisoo,Park, Hyunggon IEEE 2018 IEEE communications letters Vol.22 No.7
<P>It is essential for multiuser networks to determine how to efficiently and fairly allocate shared and limited resources. Moreover, it is critical to optimally allocate these resources while ensuring quality of service requirements for users who require tolerable levels of quality. In this letter, we adopt a game-theoretic approach, referred to as the Nash bargaining solution (NBS), for resource allocation across multiple users. While the NBS can provide a fair and optimal resource allocation, finding the NBS is generally a computationally-intensive task, which becomes even more difficult in dynamic networks. We propose a direction vector-based approach that finds accurate solutions to a bargaining problem with relatively low and consistent complexity requirements. The proposed approach exploits the relationship between the direction vectors of utility functions of each user and is used to reduce the search space of the feasible utility set. The simulation results confirm that the proposed approach can efficiently compute the NBS even for a considerable number of users and resources with better accuracy.</P>
Distributed Network Formation Strategy for Network Coding Based Wireless Networks
Kwon, Minhae,Park, Hyunggon IEEE Signal Processing Society 2017 IEEE signal processing letters Vol.24 No.4
<P>In this letter, we propose a distributed network formation solution for network coding deployed wireless networks which includes multisource multicast flows. This is an attempt to solve an open problem of network coding based multisource multicast flow design based on a game theoretic approach, which can eventually form a network in a distributed way. The network is in particular constructed by individual decision makings of the nodes, while taking advantages of network coding techniques. The decisions made by the nodes include the transmission powers and the use of network coding operations. In each stage game, nodes update the parameters based on feedbacks such as rewards, penalties, and evaluate their prior actions, which enables the nodes to make best responses in the next stage game. Our simulations confirm that the resulting network can reduce overall power consumption compared to direct transmission, and improve system throughput with less power consumption compared to no coding strategy.</P>