우리 대학은 미국 런타임베리피케이션(Runtime Verification)사와 22일 전산학과 회의실에서 ‘런타임베리피케이션 산학협력 협정’을 체결했다.
협정 체결 행사에는 KAIST 전산학부 교수이며 국내 유일의 ‘소프트웨어 테스팅 베리피케이션 그룹’ 지도교수인 김문주 교수와 미국 런타임베리피케이션 CEO인 그리고레 로수(Grigore Rosu), 그리고 런타임베리피케이션 한국총판 이웨이파트너즈사의 정희설 상무 등이 참석했다.
이번 협정은 런타임 검증 분야의 관련 솔루션들을 공급하고 있는 미국 런타임베리피케이션사가 소프트웨어 런타임 분석도구를 KAIST에 무상 기증하고, 이를 통해 국내 유일하게 KAIST에서 소프트웨어 테스팅 및 검증 연구 강화와 KAIST 재학생들의 소프트웨어 교육에 활용될 예정이다.
런타임베리피케이션 솔루션은 소프트웨어 시스템을 실행시켜 이를 분석하여 소프트웨어 버그를 찾아주는 솔루션으로서 기존의 분석도구 혹은 테스팅 기법으로는 찾아낼 수 없는 소프트웨어에 내재된 버그도 찾아내어 준다. 코드를 기반으로 하는 것이 아니라 분석 결과에 허위경보(False Alarm)가 발생하지 않기에 소프트웨어 개발자들이 더 빠르고 쉽게 소프트웨어 버그를 해결할 수 있도록 도와준다.
미국 런타임베리피케이션 설립자이자 대표인 그리고레 로수(Grigore Rosu)는 2001년 ‘런타임 검증(runtime verification)’이라는 용어를 처음으로 창안하여 학계에 발표하였고, 관련 국제컨퍼런스인 ‘런타임베리피케이션 컨퍼런스’를 16여 년간 이끌어온 관련 분야의 권위자이다.