http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Concolic Testing 기반 프로그램 상호작용 슬라이싱 기법 설계
서강복 ( Kang Bok Seo ),김덕엽 ( Deok-yeop Kim ),이우진 ( Woo-jin Lee ) 한국정보처리학회 2019 한국정보처리학회 학술대회논문집 Vol.26 No.1
프로그램 슬라이싱은 처음 발표된 이후로 지금까지 다양하게 연구되어 테스팅, 디버깅, 개발, 유지 보수 등 다양한 분야에서 사용되어 왔다. 프로그램 슬라이싱을 수행하기 위해서는 기준이 되는 변수에 대해 소스코드 내에 존재하는 모든 라인들에 대해 의존성을 계산하여 프로그램 슬라이싱을 수행하게 된다. 하지만 지정된 변수에 대해서만 의존성 계산을 수행하기 때문에 프로그램을 실행 가능하게 하는 정보들에 대해서는 누락될 수 있고 이 경우의 프로그램 실행은 보장되지 않을 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 concolic testing 기법을 이용하여 기준이 되는 변수에 대한 의존성 있는 구문들을 추출하고 프로그램 실행에 요구되는 구문들을 같이 추출해낼 수 있는 프로그램 상호작용 슬라이싱 기법을 제안한다.
소프트웨어 개발 품질 향상을 위한 회귀테스트 자동화 도구 설계
서강복 ( Kang-bok Seo ),이우진 ( Woo-jin Lee ) 한국정보처리학회 2016 한국정보처리학회 학술대회논문집 Vol.23 No.1
최근 소프트웨어가 사회에서 하는 일이 점점 더 증가함에 따라 소프트웨어의 개발비용도 함께 증가하고 있다. 소프트웨어의 개발비용 중 에러를 찾아내는 소프트웨어 테스팅이 상당한 부분을 차지하고 있는데 테스팅에 소요되는 비용 때문에 테스팅을 등한시 하는 경우가 많다. 그럼에도 불구하고 소프트웨어의 기능 추가나 변경이 이루어질 때마다 테스트를 진행하여야 소프트웨어의 에러를 최소화할 수 있다. 하지만 개발이 진행될수록 소요되는 비용이 증가하는 경우가 많아 실제 소프트웨어 개발에선 개발 기한이 다가올수록 회귀 테스트를 기피하게 된다. 본 논문에서는 이러한 문제를 해결하기 위해 소프트웨어의 개발을 진행하면서 형상관리를 통해 소프트웨어의 변경이 있을 때마다 회귀 테스트를 자동으로 수행해주는 도구를 제안한다.
안드로이드 어플리케이션간의 상호작용 테스팅을 위한 테스트 시나리오 생성
백태산 ( Tae-san Baek ),서강복 ( Kang Bok Seo ),이우진 ( Woo Jin Lee ) 한국정보처리학회 2015 한국정보처리학회 학술대회논문집 Vol.22 No.1
안드로이드 어플리케이션은 인텐트를 이용하여 다른 어플리케이션의 컴포넌트를 실행시킬 수 있다. 이러한 상호작용이 정상적으로 호출되거나 처리되지 않으면 기대한 컴포넌트가 실행되지 않는 등의 문제점이 발생할 수 있다. 본 논문에서는 이와 같은 어플리케이션간의 상호작용 문제점을 검사하기 위해 어플리케이션들의 소스코드와 매니페스트 파일로부터 컴포넌트 다이어그램과 인텐트 목록을 각각 추출하여 결합된 액티비티 다이어그램을 생성하고 이로부터 테스트 시나리오를 생성하는 기법을 제안한다.
외부 센서의 로그를 활용한 드론 HIL 시뮬레이션 기법 확장 연구
김덕엽 ( Deok Yeop Kim ),서강복 ( Kang Bok Seo ),이권철 ( Gwoncheol Lee ),이우진 ( Woo-jin Lee ) 한국정보처리학회 2019 한국정보처리학회 학술대회논문집 Vol.26 No.1
드론의 동작 검증을 위한 테스트는 최종적으로 드론이 운용될 환경에서 이루어진다. 그러나 테스트 비용이 크고 테스트 비행 중 파손의 위험이 있기 때문에 시뮬레이션을 통한 사전 검증을 수행하는 것이 중요하다. 시뮬레이션은 SIL 방식이나 HIL 방식으로 이루어지는데 추가적인 외부 센서를 활용하는 경우 검증하기가 어렵다. SIL에서는 검증을 위해 가상의 외부 센서 구현이 필요하다. HIL 에서는 실제 센서를 사용하므로 가상의 외부 센서 구현은 필요 없다. 그러나 테스트 환경이기 때문에 실제 환경과 비슷한 데이터나 동작 검증에 적합한 데이터를 얻기 어렵다. 이러한 HIL에서의 문제를 해결하기 위해 외부 센서를 실제 환경에서 사용한 로그나 테스트 환경에서 센서 검증에 사용한 로그를 이용할 수 있다. 본 논문에서 제안하는 외부 센서의 로그를 활용한 HIL 시뮬레이션 기법 확장 내용은 외부 센서데이터 입력기가 로그로부터 얻은 센서 데이터를 비행 컨트롤러로 보내 검증을 수행하기 때문에 데이터를 재사용할 수 있고 테스트 비용을 줄일 수 있다. 또 외부 센서 데이터 입력기는 로그 파서, 뷰어, 슬라이서, 데이터 전송기로 구성되어 로그로부터 검증에 적합한 데이터를 쉽게 얻어 활용할 수 있다.
다중 드론 운용 시뮬레이션을 위한 순서 기반 동기화 기법
김덕엽(Deok Yeop Kim),서강복(Kang Bok Seo),이권철(Gwoncheol Lee),이우진(Woo Jin Lee) 한국컴퓨터정보학회 2019 한국컴퓨터정보학회 학술발표논문집 Vol.27 No.2
드론은 여러 센서를 사용할 수 있고 자율적으로 비행 가능하다는 이점 때문에 다양한 분야에 활용할 수 있다. 그러나 단일 드론으로는 수행할 수 있는 작업이나 미션이 제한적이기 때문에 최근에는 다중 드론을 활용한 군집 비행 기술 연구가 활발하게 이루어지고 있다. 드론은 테스트를 통해 동작 검증이 이루어지는데 테스트 비용이 크고 파손의 위험이 있기 때문에 시뮬레이션을 이용한 사전 검증이 먼저 이루어진다. 그런데 다중 드론을 이용한 군집 비행 시뮬레이션의 경우 드론들이 밀집해 있기 때문에 시뮬레이션 중 드론의 충돌사고가 발생할 수 있다. 동기화가 제대로 이루어지지 않은 시뮬레이션은 각 드론 소프트웨어의 정확한 동작을 보장할 수 없기 때문이다. 이러한 문제를 해결하기 위해서 본 논문에서는 순서 기반의 동기화 기법을 제안한다. 제안하는 기법은 기존 동기화 기법과는 달리 순서 기반의 동기화로 시뮬레이션 오버헤드를 줄이며 다중 드론의 군집 비행 시뮬레이션에서 예상하지 못한 드론의 동작을 최소화 할 수 있다.
생분해성 섬유 방사 공정 데이터 특성을 고려한 물성 예측 모델 개발
박세찬 ( Sechan Park ),김덕엽 ( Deok Yeop Kim ),서강복 ( Kang Bok Seo ),이우진 ( Woo Jin Lee ) 한국정보처리학회 2022 한국정보처리학회 학술대회논문집 Vol.29 No.1
최근 노동 집약적인 성격의 섬유 산업에서는 AI를 통해 공정에 들어가는 시간과 비용을 줄이고 품질을 최적화 하려는 시도를 하고 있다. 그러나 섬유 방사 공정은 데이터 수집에 필요한 비용이 크고 체계적인 데이터 처리 시스템이 부족하여 축적된 데이터양이 적다. 또 방사 목적에 따라 특정 변수 위주의 조합에 대한 데이터만을 우선적으로 수집하여 데이터 불균형이 발생하며, 물성 측정환경차이로 인해 동일 방사조건에서 수집된 샘플 간에도 오차가 존재한다. 이러한 데이터 특성들을 고려하지 않고 AI 모델에 활용할 경우 과적합과 성능 저하 등의 문제가 발생할 수 있다. 따라서 본 논문에서는 물성 단위 및 허용오차를 고려한 이상치 처리 기법과 데이터 불균형 정도 및 물성과의 상관성을 고려한 오버샘플링 기법을 물성 예측 모델에 적용한다. 두 기법들을 모델에 적용한 결과 그렇지 않은 모델에 비해 물성 예측 오차와 방사 공정 데이터에 대한 모델의 적합도가 개선됨을 보인다.