Systematic Debugging and Testing Technique for Software Development Agents
개인기초연구(과기정통부)(R&D) · 우수연구-핵심연구(기본연구B)
2026년
2710113418
과학기술정보통신부
한국연구재단
충북대학교
홍신
1명
2026.09.01 ~ 2027.08.31
2026.09.01 ~ 2029.08.31
6,255만원
6,255만원
기초연구
대학
충청북도 청주시
정보/통신 > 정보이론 > 소프트웨어 공학
SW개발 에이전트의 효과적 검증과 분석을 지원하기 위해 에이전트의 동작 구조를 예측해 활용하는 구조 기반 테스트 생성 기술과 자동 디버깅 기술을 개발한다.? 에이전트 동작 구조: LLM 기반 에이전트가 복합 시스템으로서 단계적 의사결정을 거치며, 여러 독립적인 컴포넌트와 상호작용하므로 구조적인 제어 흐름와 데이터 흐름이 존재할 것으로 추정함? 동작 구조 예...
? 본 연구는 개발 에이전트 동작 구조에 대한 다양한 정보를 추출, 요약하여 동작 구조 모델을 추출하는 기술과 효율적 에이전트 실험환경을 바탕으로, 체계적인 테스팅 및 디버깅 기술 개발을 목표함 1. 개발 에이전트의 동작을 관측가능한 실행기록 데이터로 추출하고, 추출한 데이터를 귀납적으로 요약함으로써 발생 동작 가능성을 추론할 수 있는 모델을 생성하는 기술...
... 방법론을 제시하고자 함? 개발 에이전트의 오류 발생을 개발 단계에서 효과적으로 탐지하고 해결할 수 있도록 지원하여, SW개발 현장에서의 피해를 줄이는 것은 물론, 해당 에이전트로 개발되는 소프트웨어의 품질 저하로 인한 사용자 피해를 예방하고자 함? 에이전트 특성을 고려해 구조 기반 테스팅 방법론을 효과적으로 확장한 기술을 제시함으로써, 향후 다양한 SW 품질 엔지니어링 기법을 에이전트 ...