[동정] 이재권 교수, 소프트웨어공학 우수 저널 EMSE 및 FSE 2026 학술대회 논문 게재
- 작성자 컴퓨터공학과
- 작성일 2026.10.26
- 조회 90
강원대학교 컴퓨터공학과 이재권 교수가 제1저자로 참여한 연구 논문이 소프트웨어공학 분야 국제 우수 저널인 EMSE (Empirical Software Engineering)에 게재되었다. 본 논문은 University of Luxembourg, University of Ottawa, European Space Agency와 함께 공동 연구로 진행되었으며, 논문 제목은 "Fuzzing-based mutation testing of C/C++ software in cyber-physical systems"이다.
해당 논문은 뮤테이션 테스팅 과정에서 생성된 뮤턴트들을 기반으로, 기존의 테스트 케이스 셋(테스트 스위트)이 탐지하지 못한 뮤턴트들을 탐지할 수 있는 테스트 케이스들을 자동 생성하는 기법을 제안한 연구이다. 기존 시스템들은 Symbolic execution을 기반으로 뮤턴트들을 탐지하고자 하였으나, 부동소수점을 포함한 함수들, 컴파일 된 외부 라이브러리를 포함한 소프트웨어나 네트워크 통신이 필요한 소프트웨어들에 대해서는 동작하지 않는 한계점들이 있었다. 이를 개선하기 위하여 본 연구에서는 grey-box fuzzing을 이용한 뮤턴트 탐지를 시도하였고, 기존 접근 법들 대비 최대 50% 포인트의 뮤턴트들들 더 탐지 할 수 있었고, 더 다양한 프로젝트에도 적용할 수 있었다. 특히, CPS소프트웨어들은 C/C++언어들을 이용해서 많이 개발이 되고 있고, 시뮬레이터들과 결합하여 테스트가 필요한 상황이 있어, 이러한 소프트웨어들의 테스트 스위트 품질 향상에 많은 기여를 할 수 있게 됐다.
해당 논문은 소프트웨어공학 분야 최우수 학회 FSE 2026 (The 34th ACM International Conference on the Foundations of Software Engineering)에서도 Journal first paper로 발표되었다.
강원대학교 컴퓨터공학과 소프트웨어공학 연구실(지도교수: 이재권)은 이번 성과를 바탕으로 소프트웨어 테스팅 관련 후속 연구를 수행하고 있으며, 함께 성장할 (예비) 석·박사 과정생을 모집하고 있다. 관심 있는 학생은 이재권 교수 이메일(jaekwon.lee@kangwon.ac.kr)로 문의하면 된다.