믿을 만한 소프트웨어를 설계하려면

컴퓨터 덕택에 비행기가 운행되고 전세계의 은행업무와 통신, 상거래 등 대부분의 제작 시스템들이 무리 없이 작동하게 된다. 소프트웨어 공학자들이 자신의 설계에 대한 신뢰성을 확보하는데 큰 도움을 줄 수 있는 강력한 분석 프로그램 하나가 개발되었다.
글 | Daniel Jackson
















건축학상 경찬을 자아냈던 새 덴버국제공항(Denver International Airport)이 11년 전 개관하였을 때, 이 새 공항의 으뜸이 되는 첨단기술은 단연코 자동수하물 처리장치였다. 이 장치는 비행기와 승객들에게 자동적으로 수하물을 빠르고 고르게 배달하기 위해 약 26마일의 운반장치로 수하물을 발송한다. 그러나 소프트웨어 상의 문제가 이 시스템을 끝없이 따라다녔고, 그로 인해 공항 개장이 16개월이나 연기되었으며, 수억 달러의 비용이 추가로 소요되었다. 수년간의 시스템 미조정에도 불구하고 이 시스템은 원활하게 작동하지 않았다. 지난여름 공항 경영자들은 결국 이 시스템을 포기하고 전통적인 방식인 인력으로 짐을 부리는 수하물 카트와 사람이 운전하는 견인차로 시스템을 전환해야 했다. 이 자동화 장치의 설계사였던 BAE 자동시스템(BAE Automated Systems) 사는 해체되었고, 그 시스템의 주사용자였던 유나이티드 항공사(United Airlines)는 도산하고 말았다. 도산 원인 중 일부는 엉망진창이었던 그 시스템 때문이었다.

불완전한 소프트웨어 설계에 들어간 막대한 비용은 결국 매일매일 실망감을 느낀 수백만 명의 이용자들이 지불한 셈이 되었다. 악명 높은 또 다른 사례들을 보자. 미국 국세청(Internal Revenue Service)이 1997년에 40억 달러를 들인 현대화 노력에 실패하고, 뒤이어 이를 개선하기 위해 80억 달러를 추가로 투자하는 프로그램을 수행한 일이 있다. 미국연방수사국(Federal Bureau of Investigation)이 1억 7000만 달러를 들여 제작한 판례관리시스템(virtual case-file management system)은 2005년 폐기된 일이 있었다. 또한 미국연방항공국(Federal Aviation Administration)은 낙후된 항공교통 통제시스템을 개선하기 위해 시스템에 손을 대었다가 시간만 질질 끌고 아직까지 성공하지 못한 채 엄청난 비용 손실만 발생시킨 사례도 있었다.

이러한 대규모의 실패는 설계상의 중대한 결함이 너무 늦게 발견되기 때문이다. 프로그래머들은 코드(code)를 - 컴퓨터가 프로그램을 실행하는데 사용하는 명령어 - 형성하기 시작한 후에야 비로소 자신의 설계에 결함이 있다는 걸 발견한다. 때로는 치명적인 모순이나 누락된 .....