디버그
1. 컴퓨터 프로그래밍 과정 중의 디버그
1.1. 개요
디버그(Debug)는 프로그래밍 과정중에 발생하는 오류나 비정상적인 연산, 즉 버그를 찾고 수정하는 것이다. 이 과정을 디버깅(Debugging)이라 하기도 한다.컴퓨터는 구약의 신과 같아서, 규칙은 많고 자비는 없다.
1.2. 설명
Debug의 어원의 유래는 초창기 컴퓨터에 나방이 들어가 고장을 일으킨데에 있다. 그뒤로 버그는 스위를 조작하는데 발생한 오류의 은유적 표현이 되었다.
프로그래밍을 하는 모든 사람이 뼈저리게 겪는 격언이 바로 '버그가 없는 프로그램은 없다.' 혹은 '한번에 돌아가는 프로그램은 없다' 라는 것. 이는 일종의 불가항력 같은 것이라서 아무리 능력이 좋거나 경험이 많더라도 버그가 없는 프로그램을 만들 수는 없다. 다만 요령있는 사람은 오류 지향적인 설계보다는 견고한 설계를 지향하고 버그가 나더라도 쉽게 잡아낼 수 있도록 유도하여 짠다.
프로그램 제작 과정에서 '''코딩이 2할이면 디버깅은 8할'''이라고 보면 된다.[2] 프로그램이라는 것은 사람이 만드는 것이기 때문에 버그가 필연적으로 생기기 마련이고, 이 버그를 잡는 디버그 과정은 프로그래밍 과정에서 필수적으로 행해야 하는 것 중 하나이다. 프로그래밍 언어를 회화 언어와 동등하게 놓고 보면, 디버그는 화자(개발자)가 생각한 것(알고리즘)이 제대로 글(코드)로 표현됐는지, 또는 회화 언어로 쓰인 요구사항이 프로그래밍 언어로 제대로 번역되었는지를 검증하는, 아주 기초적인 과정이라 보면 된다. 그러니까 "그냥 뚝딱뚝딱 만들고 돌아가게 하면 되는거 아냐?"라고 하는 건 번역으로 치면 초벌 번역에나 해당되는 말이고, 이는 곧 프로그래머와 번역가, 양측에 모두 실례되는 발언이라 할 수 있다. 좋은 번역가 역시 초벌 번역에 2할을 할애하고, 나머지 8할을 번역 검증에 투자한다.
1.3. 버그의 유형
버그가 생기는 이유도 천차 만별인데 굳이 따지자면 아래와 같다.
- 사람의 사소한 오타로 생기는 버그.
이 경우가 가장 흔해서(ex: 콜론(:)과 세미콜론(;)) 일단 찾으면 수정이 쉽다. 코드 부분의 오타라면 문법 오류나 구문 오류로 인해 컴파일이 불가능하여 컴파일러나 IDE가 친절하게 오류 부분을 지적해 주므로 이걸 버그라고 할 수도 없지만, 상수값 등에 오타를 넣어 의도와 다르게 움직이는 경우는 이것이 오타로 인한 버그임을 알아채기가 굉장히 어렵다.
- 특수한 케이스를 미처 생각 못한 논리적인 버그
소프트웨어 설계 과정에서 요구사항 또는 예외를 감안하지 않은 경우가 주로 이런 경우이다. 이렇게 되면 요구사항과 실제 구현을 대조해야 하는데, 이 과정에서 언어 불일치가 가장 큰 문제로 작용한다. 법적 또는 윤리적 결함으로 발생한 것도 이 경우에 해당하며, 설계 자체의 결함 또는 요구사항 변경 등으로 버그가 발생하기도 한다. 당산역 마을버스 칼부림 사건에서 드러난 '45자 버그'가 이런 예.
- 프로그램이 의존하는 OS, 또는 다른 라이브러리의 버그로 인해 발생하는 버그
소스가 공개되지 않은 것이라면 해당 기능을 우회해야만 하며, 소스가 공개되어 있다 해도 수정의 난이도 및 라이선스 문제 등을 고려해야 한다. 특히 4GB 문제는 대용량의 데이터를 처리할 때 큰 골칫거리로 작용한다. 염소 시뮬레이터도 이것만은 해결하지 못했으며[3], 이건 아예 스팀 과제로 등록되어 있다.
- 시스템 상의 한계로 인한 오류
하드웨어는 정상적이나, 하드웨어가 소프트웨어를 버티지 못하는 경우가 주로 이 경우이다. 이런 경우는 하드웨어에 최적화되지 않은 코드 작성으로 자주 발생하며, 경우에 따라서는 하드웨어 스펙을 숙지해야 할 수 있다. 음파 크래시 버그가 근본적으로는 이 오류였다. 이 경우는 원인을 찾는 것은 물론, 문제를 해결하는 데에도 상당한 시간이 소요된다.
- 하드웨어 자체의 노후화, 고장으로 인한 오류
대표적으로 컴퓨터에 벌레 또는 먼지가 들어갔을 때 발생하며, 굳이 이 경우가 아니더라도 하드웨어의 노후화나 고장으로 인해 생기기도 한다. 이 정도면 이미 개발자가 할 수 있는 게 없어지고, 사용자가 직접 하드웨어를 점검 또는 교체해야 할 수 있다. 버블 시스템이나 별의 커비 슈퍼 디럭스의 버그가 주로 이런 경우이며, 최초의 버그라 알려져 있는 Mark.II의 버그도 이것이다.
- 하드웨어 설계 문제로 인한 오류
간혹 하드웨어 설계 자체의 이상으로 버그가 발생하기도 한다. 이 경우는 설계 회사에 직접 항의하는 것 밖에는 방법이 없으며, 물리적인 요인까지 다 고려해야 하는지라 문제 해결에 최소 몇 년은 기다려야 할 수도 있다. 심하면 그 오류의 근본적인 원인을 제공한 기술을 포기해야 하는데, 그 비용은 당연히 천문학적으로 들게 된다. 수학적, 과학적으로 불가능한 경우에는 그냥 그 오류를 안고 가는 수 밖에 없다. 같은 하드웨어를 사용하는 모든 시스템에도 악영향이 되는지라 그 파장이 다른 오류보다 심각하며, 때문에 발견 즉시 모든 게 끝났다 봐도 된다. CPU 게이트가 이런 예.
1.4. 버그의 악영향
버그의 악영향에 따라 단순한 불편부터 '''형사 처벌''', '''사망 사고'''에 이르기까지 매우 다양하다. 개발자들이 디버그에 목매는 이유이기도 하며, 디버그가 전체 프로그램 개발의 80% 이상을 차지하는 이유이기도 하다. 버그의 유형이 반드시 악영향과 비례하는 것은 아닌지라, 단순한 오타에도 신경 써야 하는 이유이기도 하다. (그 심각성을 보여주는 카툰)
- 단순 불편
응용 프로그램 이용자들이 자주 겪는 불편으로, 데이터가 날아가는 등의 손실은 없다. 다만 사용자에 따라서는 프로그램을 원하는대로 실행할 수 없는 등 큰 불편을 느낄 수 있다. 게임의 밸런스 등이 그런 예로, 이 쪽의 사례가 대부분을 차지한다. 게임의 경우 일부는 창발적 플레이로 인정받아 정식 시스템으로 들어가기도 한다.
- 재화 손실 등
데이터나 재화 등의 손실로 이어질 수 있는 오류로, 프로그램 이용자들이 복구할 수 없는 손실을 입을 수 있는 경우를 모두 포함한다. 여기서부터는 보안상 문제를 깔고 들어가는 경우가 많아, 전문 업체의 컨설팅을 받기도 한다. 재화 손실이 심한 경우에는 소송이 들어가기도 한다. 블레이드앤소울 돈 복사 버그가 대표적인 예.
- 민사 소송, 형사 처벌 등
어떤 버그는 발생 그 자체로 민사 소송이나 형사 처벌의 대상이 되기도 한다. 이 유형의 버그가 발생했다는 것 자체로 프로그램의 신뢰는 이미 끝장난 거나 마찬가지이기에, 개인정보를 다루는 시스템 등에서는 꽤 민감하게 다루고 있다. 회사에 악영향이 되는 건 당연한지라, 관련 시스템 개발자는 법률 및 규제 사항을 반드시 숙지해야 한다. 전문 컨설팅을 받아야 하는 건 말할 것도 없다. 토요타 리콜 사태가 대표적인 예이며, 회사 하나를 통째로 날려먹은 사례 역시 존재한다. 메이플스토리2의 인챈트 성공확률 오류 사건 등도 이런 오류에 해당한다.
- 인명 사고, 재난 등
임베디드 시스템의 경우에는 프로그램의 동작이 현실에 끼치는 영향이 매우 크기에, 버그 하나가 사람을 죽일 수도 있다. 의료용 로봇 같이 환자 한 명 죽이는 건 기본, 핵무기 통제 시스템 같이 지구를 통째로 멸망시킬 수 있는 버그도 있다. 때문에 이런 시스템과 관련이 있는 자는 엄격한 윤리교육을 받기도 하며, 때문에 단순 코더가 넘보기 어려운 영역이 많다. 테슬라 모델X 사망사고 등이 대표적인 예이며, 록맨 에그제 시리즈 등에서도 경고한 사물인터넷 보안 문제 역시 이 영역에 들어간다. 우발적 핵전쟁을 유발할 수도 있는 핵무기 자동화가 이 악영향을 야기할 수 있는 가장 극단적인 예이며, 스타니슬라프 페트로프가 시스템의 버그를 확인해 핵전쟁을 막은 일화는 매우 유명하다.
1.5. 과정
디버그를 하는 것 자체는 말로 설명하면 굉장히 쉽다. 오류 혹은 비정상적인 작동을 하는 부분을 찾아 수정하면 된다. 문제는 디버깅은 프로그래머가 만드는 과정에서 미처 고려하지 못한 부분이나 실수를 찾는 것이기 때문에 이 오류가 난 부분을 찾기란 굉장히 어렵다. 프로그램 코드의 길이가 수십줄~수천줄 정도라면 근성으로 코드를 샅샅히 뒤져 찾을 수도 있겠지만 수만줄 이상이 넘어가면 답이 없다. 프로그래머가 예측하는 부분 안에서 나오길 바라는 수 밖에. 그렇다고 디버그를 안하면 앞서 언급한 악영향 중에 어떤 악영향이 나올지를 장담할 수 없다.
이런 악명과 사례는 이미 오래전부터 알려져 있어서 지금에 이르러서는 이 디버깅을 도와주는 프로그램 적인 도구들이 많이 등장한 상태이다. 프로그램 내에 존재하는 모든 변수 값을 표시하거나, 프로그램 코드를 한줄 한줄 멈춰가며 구동시키는 것 등이 대표적으로 디버깅에 도움을 주는 것들이다. 하지만 이것들은 말 그대로 도움을 주는 것이지 직접 버그를 찾아주는 것은 절대 아니다. 가령 1+2를 해야 할 프로그램에서 프로그래머의 실수로 1-2를 적는다면 의도하지 않은 결과가 나오기 때문에 버그이지만 컴퓨터 입장에선 어쨌든 실행은 멀쩡히 되기 때문에 오류로 인식하지 않는다. 디버깅의 핵심은 바로 이런 부분을 찾아야 하는 것이다.
또한 이 디버깅이 얼마만큼의 시간이 걸리는 지는 아무도 모른다. 일단 버그가 정확히 몇 개다. 라고 단정지을 수 있는 것도 아니고 버그가 발생되는 코드가 프로그래머가 생각하는 부분에 있다는 보장이 전혀 없기 때문이다. 프로그래머가 생각한 부분에서 버그가 발생되는 코드가 발견 되었다면 디버깅 시간은 짧아질 것이고 전혀 엉뚱한 곳에서 나온다면 디버깅에 걸리는 시간은 한없이 길어진다. 그리고 대부분의 버그는 전혀 예상치 못한 곳에서 뜬금없이 튀어나온다.
이런 과정들을 줄여주는것이 단위 테스트인데, xUnit 등을 이용해서 자동화를 시켜놓으면 디버깅 시간이 확 줄어든다. 물론 단위 테스트가 끝났다고 다 끝난 것은 아니고, 상위 테스트를 통해 단위 간의 상호작용 과정에서 발생할 수 있는 버그도 줄여야 한다. 게다가 코드 상으로는 버그가 아니더라도 윤리적으로는 치명적인 결함, 그리고 앞서 언급했듯 발생 자체가 불법인 결함이 얼마든지 발생할 수 있으므로, 이러한 결함 역시 줄여야 하는 게 디버그의 몫이다. 실제로 패션쥬디의 경우 가져왔던 광고 라이브러리가 멀웨어임이 드러나면서 모든 앱이 구글 직권으로 내려갔고, 이에 따라 개발사였던 ENI 스튜디오는 더 이상 구글 플레이에 앱을 등록할 수 없게 되면서 사업 영역 역시 대폭 축소해야만 했다.
1.6. 관련 문서
2. iOS/Mac 개발자 인터뷰 팟캐스트
Debug는 애플 관련 온라인 미디어인 iMore의 편집장 Rene Ritchie와 Guy English가 공동진행하는 인터뷰 형식의 팟캐스트로, 매 회마다 iOS/Mac 개발자를 초대하여 앱 개발에 관련된 에피소드나 개발자로 일해온 경력 등을 소재로 얘기한다. 특히, 참여한 게스트 중에서는 애플에서 일한 경력이 있는 사람들도 있어 애플이 기업문화나 개발자들의 면면을 살짝이나마 알아볼 수 있다. 애플의 미국계정 팟캐스트의 테크놀로지 챠트에서는 늘 10위권에 들 정도로 인기가 있다. 공동 호스트인 Guy English는 탭 탭 리벤지 개발에 참여한 것으로 유명하다.
[1] 야훼/논란 문서에 있으나 그 역으로도 작동하는 명언이다(...)[2] 컴퓨터가 마냥 똑똑한 기계라고 생각하는 사람들에게 전공자들이 똑똑하긴 커녕 아주 멍청한 기계라고 말하는 이유도 프로그램 하나 구동되는데 필요한 코드의 양이 상상을 초월하기 때문이다. 그래서 비전공자가 가벼운 취미로 디버깅 등을 배워보려다 상상을 초월하는 엄청난 양의 코드를 보고는 정색하고 때려치우는 경우가 많다. 애당초 전공자라도 정말 천부적인 재능을 가진 경우가 아니라면 미칠듯한 노가다에 시달린다고 하니 뭐...[3] 염소 시뮬레이터 자체가 32비트 기반으로 작동하기에, 64비트로 새로 빌드하지 않는 이상 해결은 불가능하다.