‘SW오류 자동검출’ 프로그램 국내개발

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

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

아이락은 미국, 프랑스에 이어 세번째로 개발된 SW 오류 자동검출 프로그램으로 선진국에서도 지난 2003년 이후에야 실용화된 기술이다.

이 교수는 “아이락은 100% 독자기술로 개발됐다.”면서 “아이락은 기존의 소프트웨어 테스트나 모니터링 기술과 달리 소프트웨어를 실행시키지 않고도 오류를 미리 찾아낼 수 있는 것이 장점”이라고 설명했다.

장세훈기자