소프트웨어 오류 자동검증 기술 독자 개발

서울대 컴퓨터공학부 이광근 교수팀...세계 3번째 개가, 성능은 세계 최고

2005년 02월 01일(화)

목록 | 글자크기 |

소프트웨어 오류 자동검증 기술 독자 개발

서울대 컴퓨터공학부 이광근 교수팀...세계 3번째 개가, 성능은 세계 최고

▲ 이광근 교수  ⓒ 국내 연구개발팀이 100% 독자기술로 소프트웨어 시스템의 오류를 자동으로 검출해 주는 기술을 개발했다. 미국, 프랑스에 이어 세계 3번째의 개가이며, 성능에서는 세계 최고수준의 연구성과다. ‘아이락(Airac)’이란 이름의 이번 기술개발의 주인공은 서울대학교 컴퓨터공학부 이광근 교수팀. 이 프로젝트는 과학기술부(부총리 겸 장관 吳 明)와 한국과학재단(이사장 權五甲)이 창의적연구진흥사업(프로그램분석시스템연구)으로 지원한 사업이다. 또 삼성전자의 지원과 교육인적자원부의 BK21사업으로도 선정됐다. 소프트웨어 오류 자동 검증기술은 오류없는 소프트웨어를 적은 비용으로 개발할 수 있게 하는 첨단 기반기술로서, 소프트웨어 선진국에서도　2003년 이후에서야 실용화되고 있는 원천 소프트웨어 기술이다． 아이락(Airac)은 프로그램에 있는 오류(bug)를 프로그램을 테스트하지 않고 자동으로 모두 찾아주는 소프트웨어이다 그동안 컴퓨터 프로그램은 한없이 복잡하게 얽혀있는 명령문들의 거대한 구조물이기 때문에 숨어있는 오류를 모두 미리 찾아내는 것은 불가능하다고 여겨져 왔다. 이광근 교수팀은 지난 10여 년간의 연구를 바탕으로 정적프로그램　분석기술(static program analysis) 이론을 이용해 그 문제를 해결한　아이락(Airac)을 개발했다. 아이락(Airac)이 찾아내는 오류는 프로그램 실행 중에 벗어나지 말아야 할 메모리(memory) 지역들을 벗어나는 경우들이다. 이러한 오류는 대부분의 소프트웨어에서 가장 흔하게 나타나는 오류이고, ‘메모리접근 오류’라고 한다．　 아이락(Airac)의 실용성은 삼성전자소프트웨어센타(센타장：김영주)의 실제 소프트웨어 개발현장에 적용, 23만줄의 프로그램을 1시간 반 만에(분석속도 약 50 lines/sec)　자동분석해 실제 오류들을 모두 찾아내는 성능을 보였다． 이광근 교수는 “아이락(Airac)은 미국과 프랑스에 이어 세계 ３번째 기술개발이고， 그　성능은 2004년 스탠포드대학의 도슨 앵글러(Dawson Engler)교수가 상용화한 검증기(coverity.com)을 능가하고 있다”고 말했다.　 또 “소프트웨어가 자체로 상품인 경우는 말할 것도 없고, 소프트웨어가 제품에 내장되어 제품의 질을 결정하는 휴대폰, 자동차, 가전 등에 적용되어 엄청난 도움이 될 것”이라며 “무결점 소프트웨어를 저렴하게 빨리 개발하는 이번 아이락 기술은 제품의 시장경쟁력의 핵심 축이 된다”고 강조했다. 실제로 소프트웨어의 오류가 우리들의 일상에 끼치는 손해는 점점 막대해지고 있다. 예를 들어 소프트웨어 오류 때문에 미국경제가 지불한 비용은　2002년 595억 달러로 집계되었다(미국표준연구원 NIST 자료)．따라서 아이락(Airac)과 같은 원천기술의 확보는 그 비용을 줄이려는 투자를 흡수할 수 있는 좋은 발판이 될 것으로 기대된다.

/이종화 기자

2005.02.01 ⓒScience Times

목록 | 글자크기 |