• 강사 : 허기홍 교수 (카이스트 전산학부)  
• 일시 : 2021. 3. 25 (목) 17:00~18:30

현대 소프트웨어 개발에서 정적 분석 기술은 소프트웨어의 품질 향상에 꼭 필요한 주요 기술로 발전해 왔다. 하지만 소프트웨어가 날이 갈수록 복잡해지면서, 여전히 현장에서는 오탐 (올바른 코드를 오류라고 판단) 과 미탐 (오류를 올바르다고 판단) 문제가 큰 숙제로 남아 있다. 이 발표에서는 이러한 문제에 대한 근본적인 해결책 중 하나로 쌍방향 정적 분석 시스템을 이야기할 것이다. 전통적인 분석 시스템이 일방적인 (분석기에서 개발자로) 정보 전달에 그쳤다면, 차세대 시스템은 분석기와 사람이 서로 소통하면서 함께 오류를 탐지해가는 시스템일 것이다. 여기서는 본 연구진에서 개발하고 있는 상호작용 시스템과 그동안 여러 분석기에 적용 해 본 사례를 살펴보고, 이를 바탕으로 향후 발전 방향을 논의해보고자 한다.

* 강연자료