BISCEPTER: 대규모 시스템 소프트웨어를 위한 확률 기반 이분 탐색

버그를 유발하는 커밋(bug-inducing commit, BIC)을 식별하는 것은 회귀 디버깅의 기본적인 단계이며, 새롭게 등장하는 BIC 인식 결함 위치 파이프라인에 핵심적인 입력값입니다. 실제로는 BICs가 주로 이분 탐색(bisection)을 통해 얻어집니다. 표준 이분 탐색은 남아 있는 좋은 커밋과 나쁜 커밋 사이 구간의 중앙값을 선택하여 커밋 수를 균형 있게 맞춥니다. 이 전략은 각 커밋이 BIC일 확률이 동일하다는 가정 하에 최적입니다. 본 논문은 이러한 가정이 실제 세계의 BIC 기록과 일치하지 않음을 보여줍니다. 우리는 GCC, Linux 커널, MariaDB로부터 8,172개의 버그 보고서로 구성된 데이터셋을 구축했습니다. 그 결과, 강한 시간적 편향(temporal skew)을 발견했는데, 연구된 시스템 전반에 걸쳐 BIC의 50%가 가장 최근의 0.69%에 해당하는 보고 시점 커밋 기록 내에 존재한다는 것입니다. 이 관찰에서 영감을 받아, 우리는 역사적 BIC 지연 시간을 가벼운 사전 정보(lightweight prior)로 사용하는 확률 기반 이분 탐색 접근 방식인 BISCEPTER를 소개합니다. BISCEPTER는 남아 있는 커밋의 개수를 분할하는 피벗을 선택하는 대신, 추정된 BIC 확률 질량(probability mass)을 분할하는 가중 중앙값 피벗을 선택하며, 표준 이분 탐색과 동일한 좋은/나쁜 오라클 및 인터페이스를 유지합니다. 우리는 세 가지 대규모 시스템에서 BISCEPTER를 평가했습니다. 평가 결과에 따르면, BISCEPTER는 표준 중앙값 이분 탐색 대비 평균 25.75%(최대 55.55%) 만큼 이분 탐색 반복 횟수를 줄였으며, 테스트 케이스의 91.26%에서 기준선보다 개선된 성능을 보였습니다. 강건성 실험(Robustness experiments)은 또한 노이즈가 있는 역사적 데이터 하에서도 그 이점이 안정적으로 유지됨을 입증했습니다. 우리는 본 연구가 실제 소프트웨어 디버깅 노력에 효과적으로 기여할 수 있을 것으로 기대하며, 더 나아가 BIC 분포에 대한 통찰력을 제공함으로써 미래의 소프트웨어 공학 연구에 도움이 될 것이라고 생각합니다.