• 목록

2024년 7월 15일부터 7월 19일까지 브라질에서 개최될 International Conference on the Foundations of Software Engineering (FSE 2024)에서 박사과정 김요엘 학생(지도교수: 최윤자)이 "PBE-based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software" 제목의 논문으로 게재 승인을 받았다.

본 논문은 소프트웨어 검증 기법의 효율성과 정확도를 동시에 향상시키기 위해 PBE (Programming-By-Example) 기법을 통해 검증 대상 코드 전체가 아닌, 특정 함수들을 선택적으로 추상화한 후 검증하는 방식인 PBEAR을 제안하였다. 결과적으로, 기존에 널리 사용되던 프레디킷 추상화 (Predicate Abstraction) 기법은 코드 전체를 추상화하여 빠르게 진행되지만, 부정확한 검증 결과를 유발하여 결국 제한 시간 내에 검증 속성 위반 (assertion violation)을 찾아내지 못하였다. 반면, 추상화를 적용하지 않은 검증 기법에서는 원본 코드를 검증하기에 가장 정확한 검증 결과를 도출할 수 있었으나, 상당수의 실험 예제에서 Out-Of-Memory 오류가 발생하였다. 그에 비해, PBEAR는 임베디드 소프트웨어 실험 예제에서 15개의 안전 검증 속성 중 1개를 제외하고 모든 속성 위반을 찾아내었다.

논문 링크: https://home.knu.ac.kr/HOME/sselab/sub.htm?nav_code=sse1629340516 에서 view paper 클릭

FSE는 매년 4~500명 이상의 교수, 연구원, 학생들이 참여하는 소프트웨어공학분야 세계 최고 수준의 학술대회로, 올해는 전 세계에서 474편의 논문이 제출되어 심사를 받았고, 그 중에서 56편의 논문만이 채택되었다. 그 외 77편은 major revision을 요청받은 상태이다.

학회 홈페이지: https://conf.researchr.org/home/fse-2024

경북대학교 소속으로 FSE에 논문이 채택된 경우는 지금까지 없었고, 해당 논문이 최초이다 (ACM DL 기준, https://dl.acm.org/conference/fse/affiliations?AllNames=Kyungpook).

김요엘 학생은 글로벌SW융합전공 1기 졸업생으로, 학부 과정 동안 한국장학재단에서 국가우수장학금(이공계)을 수혜받았으며, 석사 및 박사 과정 동안 과학기술정보통신부에서 주관하는 2021년도 선도연구센터지원사업 공학분야 (ERC, Engineering Research Center) 소프트웨어재난연구센터 (https://staar.knu.ac.kr/)의 지원을 받아 연구를 진행하고 있다.