Coverage Intelligence and Automated Remediation Technology Based on Triangular Traceability of Requirements, Tests, and Code
개인기초연구(과기정통부)(R&D) · 우수연구-핵심연구(기본연구B)
2026년
2710112665
과학기술정보통신부
한국연구재단
고려대학교
안가빈
1명
2026.09.01 ~ 2027.08.31
2026.09.01 ~ 2028.08.31
6,355만원
6,355만원
기초연구
대학
서울특별시 성북구
정보/통신 > 정보이론 > 소프트웨어 공학
...ode)의 삼각 추적성을 자동 구축하고, 절 단위 요구사항 커버리지(clause-level requirement coverage)를 분석하여, 미흡한 구현·검증 영역을 자동 탐지·보완하는 지능형 소프트웨어 품질 보증 프레임워크를 개발하는 것이다. 기존 연구가 요구사항-테스트 또는 요구사항-코드의 쌍별 링크 복원에 주로 머물렀다면, 본 연구는 테스트-코드 간 런타임 실행 근거를 함께 결합하여 ...
본 연구는 2개년 동안 요구사항 커버리지 지능화의 핵심 원리, 데이터, 모델, 평가 체계를 단계적으로 구축한다.1차년도에는 RFC-7030 기반 LibEST 프로젝트와 기존 요구사항-구현(R-C), 요구사항-테스트(R-T) 정답 데이터를 출발점으로 삼아, 테스트-코드(T-C) 런타임 실행 근거를 추가한 R-T-C 삼각 추적 벤치마크를 구축한다. 각 테스트가...
... 있다. 이는 회귀 테스트 선택, 변경 영향 분석, 릴리스 게이트, 유지보수 의사결정을 지원하는 실용적 기반이 된다.3. 항공, 자동차, 원자력, 보안·암호 등 mission-critical 소프트웨어 분야에서는 요구사항-구현-검증 근거를 구조화하여 규제·감사·인증 대응에 필요한 추적성 문서화와 검토 비용을 줄일 수 있다. 특히 구조적 코드 커버리지와 요구사항 커버리지를 분리해 설명함으로써, ...