연구 분야 소개
경북대학교 소프트웨어 테스팅 연구실(STLAB)은 소프트웨어의 신뢰성(Reliability) 과 안전성(Safety) 을 높이기 위한 다양한 테스팅 및 검증 기술을 연구합니다.
1999년부터 이우진 교수님의 지도 하에 운영되어 온 연구실로, 현재까지 박사 9명, 석사 40여 명을 배출하였으며 졸업생들은 삼성전자, LG전자, 현대모비스, 한화시스템, ETRI 등 국내 주요 기관에서 활동하고 있습니다.
주요 연구 방향
| 분야 | 핵심 키워드 |
|---|---|
| 지능형 테스트 자동화 | AI/ML 기반 테스트 생성, 결함 예측, 퍼징 |
| 정형 기법 및 임베디드 검증 | 형식 명세, 모델 체킹, 로그 기반 테스팅 |
| UML 기반 시스템 모델링 | 정적 검증, UML 일관성, MBT |
| 디지털트윈 기반 시뮬레이션 | 자율 시스템, 디지털트윈, 런타임 검증 |
연구 철학
"테스팅은 버그를 찾는 것이 아니라, 소프트웨어가 옳다는 근거를 만드는 과정이다."
STLAB은 이론적 엄밀함과 실용적 적용 가능성을 모두 추구합니다. 산학 협력을 통해 실제 산업 문제를 해결하는 연구를 지향하며, AI·임베디드·자율시스템 등 신흥 도메인에서의 검증 기술을 선도합니다.
대학원 지원 안내
STLAB에 합류하고 싶은 분을 환영합니다. 아래 사항을 참고하세요.
- 모집 시기: 매년 2월 (전기), 8월 (후기) 대학원 모집 일정에 따름
- 지원 자격: 컴퓨터공학·소프트웨어공학 또는 관련 전공 학사 이상
- 연락처: 이우진 교수 (woojin@knu.ac.kr) — 사전 이메일 문의 권장
- 연구실 위치: 경북대학교 IT융복합관 521호
지원 전 체크리스트
- 소프트웨어 공학 또는 프로그래밍 기초 소양
- 논문 읽기 및 영어 독해 능력
- 연구에 대한 호기심과 자기 주도적 학습 의지