연구 분야 개요

경북대학교 소프트웨어 테스팅 연구실은 소프트웨어가 실제로 놓인 환경에서 어떻게 실패하는지를 연구합니다. 코드 한 줄의 오류보다 구성요소 사이의 상호작용, 설계 모델과 구현의 어긋남, 하드웨어와 환경에 대한 잘못된 가정이 대상입니다.

연구 축

1994년 페트리넷 기반 분산 프로세스 모델 분석에서 시작해, 검증 대상과 방법이 함께 넓어져 왔습니다.

1990년대: 페트리넷과 정형 기법. 통신 서비스의 피처 상호작용 검출, 요구사항 단계의 유스케이스 통합 분석
2000년대: 컴포넌트 기반 개발과 모델 기반 검증. EJB 컴포넌트 식별과 인터페이스 시험, UML 상태머신 시뮬레이션, LTS 기반 합성적 안전성 및 타이밍 분석
2010년대: 임베디드와 모바일 테스팅. 전역변수·데이터 흐름 기반 통합 테스팅, 가상 프로토타입과 SiL 시뮬레이션, 안드로이드 GUI와 컴포넌트 통신 테스팅
2020년대: 학습 기반 자동화와 가상검증. 사용 로그 기반 의존성 식별, 강화학습 플레이테스팅, 실행 로그 기반 자동 채점, 데이터와 CAE를 결합한 가상검증 플랫폼

강화학습 에이전트가 게임을 직접 플레이하며 결함을 찾고, 버그 리포트와 입력 시퀀스 로그를 남기는 자동 플레이테스팅을 연구합니다. 학습 데이터로 초심자의 오류 원인을 예측하고, 실습 코드를 시뮬레이터로 자동 채점하는 기법도 다룹니다.

요구사항과 설계를 페트리넷·LTS로 옮겨 도달성과 안전성을 분석합니다. 실제 코드는 사용 로그에서 되돌린 행동 모델과 SiL 시뮬레이션으로 검증하며, 구성요소 사이의 간접 의존성을 찾는 것이 목표입니다.

요구사항 문장에서 클래스 모델을 뽑고, 상태머신 다이어그램에서 프레임워크에 독립적인 코드를 생성합니다. 모델과 구현이 어긋난 지점, 안드로이드 매니페스트 구성 오류를 정적으로 검사합니다.

하드웨어를 가상 프로토타입으로 대체하고, 흩어진 구성요소를 상대 시간 동기화로 묶어 하나의 시뮬레이션으로 돌립니다. 무인비행체 비행 테스트와 섬유 신소재 가상검증 플랫폼으로 이어집니다.

논문, 특허, 프로그램 등록, 연구과제, 강의 전체 목록은 Archive에 있습니다. 분류와 연도로 걸러 볼 수 있습니다.

연구센터. 경북대학교 자율군집소프트웨어연구센터(CSOS)와 IT자동차융합연구센터 (CITAC)에 참여해 임베디드 소프트웨어 개발 환경과 차량용 소프트웨어 모델링·테스팅 기술을 담당했습니다.

산학 협력. LG전자(창원), ㈜퓨전소프트, ㈜앰투랩, 트라이캣, ㈜무지개연구소, 지웰주식회사 등에 시뮬레이터 도구와 테스팅 기술을 이전하거나 기술지도로 참여했습니다. 개별 내역은 기술이전·지도에 있습니다.

교육 사업. SW중심대학지원사업, 고용계약형 SW석사과정, 지능융합 소프트웨어 교육연구단 등 인력양성 사업에 참여했습니다.