College Of Engineering
서울공대 이야기
 

컴퓨터SW 오류 찾아주는 프로그램..이광근 교수팀 아이락 개발


컴퓨터의 오작동을 유발하는 소프트웨어(SW)의 오류를 자동으로 찾아내주는 프 로그램이 국내에서 개발됐다.

서울대 이광근 교수팀(전기컴퓨터공학부)은 SW의 오류를 자동으로 검출해 주는 분석 프로그램인 `아이락(Airac) 을 개발했다고 1일 밝혔다.

아이락은 미국,프랑스에 이어 세번째로 개발된 것으로,적은 비용으로 오류없 는 SW를 신속하게 개발할 수 있게 해준다고 이 교수팀은 설명했다.

아주 복잡한 구조의 SW에 숨어있는 오류를 모두 찾아내는 것은 아주 어려워 선 진국에서도 2003년 이후에 실용화됐다는 것이다.

이 교수는 아이락을 삼성전자소프트웨어센터의 실제 SW 개발현장에 적용한 결 과 23만줄의 프로그램을 초당 약 50줄의 속도로 1시간반만에 자동분석,실제 오 류들을 모두 찾아냈다고 설명했다.

아이락의 개발에 따라 적은 비용으로 오류없는 SW를 신속하게 개발할 수 있게 됐을 뿐만 아니라 SW 오류로 인한 막대한 손실도 줄일 수 있게 됐다.

미국의 경우 SW 오류로 인한 비용이 지난 2002년에 5백95억달러에 이른 것으로 알려졌다.

이 교수는 아이락의 프로그래밍언어도 5년간의 연구 끝에 독자개발한 `nML 이라는 차세대 프로그래밍시스템을 사용했다 며 아이락은 기존의 소프트웨어 테스트나 모니터링 기술과 달리 소프트웨어를 실행시키지 않고도 모든 해당 오 류를 미리 찾아낼 수 있는 것이 장점 이라고 설명했다.

번호 제목 글쓴이 날짜 조회 수
144 `국내파 서울공대 박사, 덴마크 공대 교수 임용 lee496 2005.03.23 3373
143 [re] 김용환 교수연구과제 수주의 의의 lee496 2005.03.10 2609
142 서울공대 김용환 교수 美군사기술 연구 첫 수주 lee496 2005.03.08 2577
141 돈 잘 버는 사람이 최고 공학자 박희재 [1] lee496 2005.03.07 3537
140 서울대 커뮤니티 SNU-ZONE 신설 lee496 2005.03.07 2398
139 추천서 유감 lee496 2005.02.22 2997
138 信陽학술정보관의 유익한 역할을 기대하며 lee496 2005.02.22 2452
137 서울대의 위기, 기본에 바탕한 다양성의 추구가 돌파구 [1] lee496 2005.02.22 2821
136 세계 제일의 공과대학 학부/학과를 위해서 [2] lee496 2005.02.22 6480
135 Science for Leaders Program 최고위 과정 file lee496 2005.02.22 3468
134 기대되는 서울대 구조조정 lee496 2005.02.22 2398
133 김훈철 박사 ‘한 노 공학도가 보는 한국의 미래상’ 집필 kbr0376 2005.02.22 3138
132 초소형 부품 자동설계하는 기술 개발 (김윤영 교수팀) [1] lee496 2005.02.18 2906
131 서울대 공대 김상국 교수 연구팀 [1] lee496 2005.02.18 3231
130 로버트 매케이 교수 인터뷰 lee496 2005.02.18 2954
129 동원증권과 SNU프리시젼, 서울공대에 3억 기부 lee496 2005.02.18 3013
128 영어논문 이렇게 쓴다 lee496 2005.02.15 2685
127 국제공동강의 斷想 lee496 2005.02.11 2510
126 서울대 공대 HW 개발 동아리 시그마 [1] lee496 2005.02.11 3047
125 kbr0376 2005.02.10 2496
Login
College of Engineering Seoul National University
XE Login