아이뉴스24 뉴스
아이뉴스24 홈 오피니언 프리미엄 엠톡 콘퍼런스
연예.스포츠 포토.TV 게임 스페셜
뉴스 홈 IT정책 컴퓨팅 통신미디어 과학 글로벌 디지털기기 기업 자동차 금융 유통 경제일반 게임 정치 사회 문화 생활
Home > 뉴스 > 컴퓨팅
[톱뉴스]
'SW버그 자동으로 검사한다'...서울대 이광근교수팀, '아이락' 개발
2005년 02월 01일 오후 13:50
  • 페이스북
  • 0
  • 트위터
  • 0
  • 구글플러스
  • 0
  • 핀터케스트
  • 0
  • 글자크게보기
  • 글자작게보기
  • 메일보내기
  • 프린터하기
소프트웨어(SW) 시스템의 오류(Bug)를 자동으로 검사해 주는 검출기가 미국, 프랑스에 이어 세 번째로 국내연구진에 의해 개발됐다.

서울대 컴퓨터공학부 이광근교수팀은 소프트웨어 시스템 오류를 알아서 검출해주는 분석기인 아이락(Airac)을 개발하는데 성공했다고 1일 밝혔다. 이 연구는 과학기술부와 한국과학재단의 창의적 연구진흥사업으로 이뤄졌다.

이에 따라 오류없는 소프트웨어를 적은 비용으로 개발할 수 있게 하는 첨단기반 기술을 확보, 품질을 획기적으로 향상시킬 수 있을 것으로 기대된다.

아이락은 프로그램에 있는 오류를 프로그램을 테스트하지 않고 자동으로 모두 찾아주는 소프트웨어. 컴퓨터 프로그램은 한없이 복잡하게 얽혀 있는 명령문들의 거대한 구조물이기 때문에 숨어 있는 오류를 미리 찾아낸다는 것은 불가능하다고 여겨졌다.

하지만 이교수팀은 지난 10년 동안 정적프로그램 분석기술(Static program analysis) 이론을 이용해 그 문제를 해결했다. 아이락이 찾아내는 오류는 프로그램 실행중에 벗어나지 말아야 할 메모리 지역들을 벗어나는 경우다.

이같은 실용성은 삼성전자 소프트웨어센터(센터장 김영주)의 실제 소프트웨어 개발현장에 적용해 23만줄의 프로그램을 1시간 반만에(분석속도 약 50 line/sec) 자동분석해 실제 메모리접근 오류들을 모두 찾아내는 성능을 보이기도 했다.

연구진은 아이락의 성능은 2004년 스탠포드대학의 도슨 앵글러교수가 상용화한 검증기를 능가한다고 설명했다.

소프트웨어의 오류가 우리들의 일상에 끼치는 손해는 점점 커지고 있다. 미국 표준연구원에 따르면 소프트웨어 오류 때문에 미국경제가 지불한 비용은 2002년 595억달러로 집계됐다.

특히 아이락을 실현한 프로그래밍 언어 자체도 이광근 교수팀이 직접 지난 5년동안 독자개발한 nML이라는 차세대 프로그래밍 시스템을 사용했다.

이광근교수는 "아이락이 기존 소프트웨어 테스트나 모니터링 기술과 다른 점은 소프트웨어를 실행시키지 않고 모든 해당 오류를 미리 찾아내는 것"이라며 "이 검출기는 테스트 실행없이 모든 오류를 검출하는 것이 보장된다"고 말했다.

/최병관기자 venture@inews24.com

주요기사

IT는 아이뉴스24, 연예ㆍ스포츠는 조이뉴스24(Copyright ⓒ 아이뉴스24. 무단전재 및 재배포 금지)
IT정책 컴퓨팅 통신·미디어 과학 글로벌 디지털기기 기업 자동차 금융 유통 경제일반 게임 정치 사회 문화 생활
오늘의 주요 뉴스 l IT·시사 l 연예·스포츠 l 게임 l 오피니언
컴퓨팅 최신뉴스
[AI, IT서비스 바꾼다] (상)의료에서 엔터까지 '..
네트워크 보안 1세대 '퓨쳐시스템', 회생절차 밟..
델EMC, 신제품 공세 …HPE와 '맞짱'
이상돈 토마토시스템 대표, '정보인의 날' 공로..
가장 많이 본 뉴스
IT 시사 문화 연예 스포츠 게임 칼럼
  • 아이뉴스24의 뉴스를 이메일로 받아보세요.

브랜드웹툰홈바로가기
카드뉴스 더보기 >

SPONSORED

칼럼/연재
[김동현]'소방수' 김호곤, 그가 신중해..
[박준영]'2DS XL'도 좋지만 '스위치'는..
[김다운]문자살포, 주가조작에 동참하..
[문영수]'엔씨소프트다운' 엔씨소프트..
[이영은] '2030년 디젤차 퇴출'은 바람..
프리미엄/정보
구글 웨이모, 700억달러 회사로 성장할..

오늘 내가 읽은 뉴스

 

2017 MCS
MCN 특강
2018 평창