연구실에서 최근에 진행되고 있는 관심 연구 분야
1
코드 분석과 오류 탐사를 통한 자동 소프트웨어 오류 수리 기술 개발
본 연구는 소프트웨어 코드 분석과 오류 탐사를 결합하여 자동으로 소프트웨어 오류를 수리하는 기술을 개발하는 것을 목표로 합니다. 소스 코드의 자연어와 코드 구조를 분석하여 잠재적인 오류를 탐지하고, 탐지된 오류를 자동으로 수정하는 알고리즘을 설계합니다. 이러한 기술은 소프트웨어 개발 과정에서 발생하는 오류를 신속하게 수정함으로써 개발 효율성을 크게 향상시킬 수 있습니다.
2
효과적인 지속적 소프트웨어 테스트를 위한 퍼징 기반 테스트 케이스 생성 기술
소프트웨어 프로젝트의 지속적 테스트를 효과적으로 수행하기 위해 퍼징 기반의 테스트 케이스 생성 기술을 연구합니다. 퍼징 기법을 이용하여 다양한 입력 값을 자동으로 생성하고, 이를 통해 소프트웨어의 다양한 경로를 검증합니다. 이 과정에서 발생하는 오류와 결함을 신속하게 탐지하고 수정할 수 있는 방법을 연구합니다. 이러한 기술은 소프트웨어의 안정성과 신뢰성을 높이는 데 중요한 역할을 합니다.