SW개발검증 연구실 소개(’25.03.24)

우리 사회를 위헙하는 SW 안전, 보안, 품질 불량 문제를 막기 위해 소프트웨어 엔지니어링 현상과 컴퓨팅 원리를 탐구합니다.
- SW 안전 사고의 예
- 불량 SW 를 막기 위한 노력들
- 소프트웨어 기술의 바탕이 되는 컴퓨팅 원리
안전하고 효율적인 소프트웨어 엔지니어링을 위한 **소프트웨어 개발 기술(도구), 소프트웨어 검증 기술(도구), 소프트웨어 개발 방법론(교육법)**을 만듭니다.
- 홍신 교수: Fuzzing 기반 테스팅 개요 & 진행 중인 Regression Fuzzing 연구 소개
- SW엔지니어링 기술 기업의 예
AI 시대의 새로운 소프트웨어 엔지니어링을 열어 갈 소프트웨어 품질 엔지니어(Software Quality Engineer), 소프트웨어 분석 전문가(Software Analyst), 소프트웨어 엔지니어링 연구자(Research Scientist in Software Engineering)를 기릅니다
- SDEV 연구실 대학원 졸업생

소프트웨어 테스팅 자동화
- 테스트 입력 자동 생성: 주어진 프로그램에 대해 오류(크래시)를 일으키는 입력을 자동 생성
- 테스트 코드 합성: 생성형 모델을 활용해 유닛 테스팅에 필요한 다양한 API 시나리오를 합성
- 프로젝트-교차 테스팅: 연관된 프로젝트 사이의 테스팅, 디버깅 작업을 연동
소프트웨어 개발방법 지능화
- 지능형 디버깅: 오류 원인을 찾고 수정하는 디버깅 과정을 자동화
- 자연어 기반 SW개발: 사람이 작성한 자연어 문서와 코드 사이의 상관 관계 추론
- SWE 에이전트: 프로젝트 단위 SW엔지니어링 작업이 가능한 LLM 기반 에이전트 개발
시스템 소프트웨어 분석
- 임베디드 제어기 소프트웨어 검증: 임베디드 시스템에 내장된 제어기 소프트웨어를 효과적으로 테스팅하는 기술 개발
- 멀티쓰레드 프로그램 테스팅: 다양한 쓰레드 스케쥴링 경우의 수를 자동으로 통제하면서 data race, deadlock 결함 검출
연구결과 발표 동영상 https://www.youtube.com/@hongshin/videos