지능 형 테스트 자동화 및 최적화
강화학습 에이전트가 게임을 직접 플레이하며 결함을 찾고, 버그 리포트와 입력 시퀀스 로그를 남기는 자동 플레이테스팅을 연구합니다. 에러 검출에 보상을 주어 탐색 효율을 높이는 구조가 핵심입니다. 학습 데이터로 초심자의 오류 원인을 예측하고, 실습 코드를 시뮬레이터로 자동 채점하는 기법도 다룹니다.
연구 자세히 보기
정형 기법 및 임베디드 시스템 검증
요구사항과 설계를 페트리넷·LTS로 옮겨 도달성과 안전성을 정형적으로 분석합니다. 실제 코드는 사용 로그에서 되돌린 행동 모델과 조합 분석으로 검증하며, 센서 상호작용이 만드는 간접 의존성이 대상입니다. AUTOSAR 컴포넌트는 SiL 시뮬레이션으로 실물 없이 테스트합니다.
연구 자세히 보기
UML 기반 시스템 모델링 및 정적 검증
한국어 요구사항 문장에서 클래스 모델을 뽑고, 상태머신 다이 어그램에서 프레임워크에 독립적인 코드를 생성합니다. 모델과 구현이 어긋난 지점, 안드로이드 매니페스트 구성 오류와 컴포넌트 간 통신을 정적으로 검증합니다.
연구 자세히 보기
디지털트윈 기반 시뮬레이션 및 자율 시스템 검증
데이터와 AI, CAE를 결합한 가상검증 플랫폼을 구축합니다. 섬유 신소재와 복합구조체를 대상으로 제조데이터를 인공지능과 연계하고, 시뮬레이션 기반 검증 절차를 표준화해 개발 의사결정을 지원합니다. 분산 임베디드 시스템의 통합 시뮬레이션과 무인비행체 비행 테스트도 포함됩니다.
연구 자세히 보기주요 연구 과제
산업계와 긴밀히 협력하며 실제 문제를 해결하는 실용적인 연구를 진행합니다. 현재 다음 과제들을 통해 기술 혁신을 이끌고 있습니다.
대표 연구 실적
Development of an automatic class diagram generator using an AI-based GRU classification model and 5W1H heuristic rules국제논문지
Journal of Systems and Software, Vol. 235, pp. 112780, 2026-5
Integration and analysis of use cases using modular Petri nets in requirements engineering국제논문지
IEEE Transactions on Software Engineering, Vol. 24, No. 12, pp. 1115-1130, 1998
An empirical study of configuration changes and adoption in Android apps국제논문지
Journal of Systems and Software, Vol. 156, pp. 164-180, 2019-10
Developer Mistakes in Writing Android Manifests: An Empirical Study of Configuration Errors국제학술회의
2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR), pp. 25-36, 2017-5
시뮬레이터를 이용한 임베디드 소프트웨어 자동 채점 시스템 및 방법특허 등록
등록 10-2373133 (2022-03-14)
단위 테스트 케이스 재사용 기반의 함수 테스트 장치 및 그 함수 테스트 방법 (FUNCTION TEST APPARATUS BASED ON UNIT TEST CASES REUSING AND FUNCTION TEST METHOD THEREOF)특허 출원
출원 14/123,297 (2012-12-18), US
Our Team
최고의 연구진과 함께 소프트웨어의 미래를 만들어갑니다.