<p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt;"> 완벽한 인간이 없듯이 인간이 만든 피조물들 역시 불완전합니다. 이말은 인간이 만든 소프트웨어에도 그대로 적용됩니다. 아무리 완벽한 코드를 짜려고 해도 어딘가 에러가 생기는 것이 보통이죠. 이런 버그들은 수천줄의 단 몇줄이라도 전체 프로그램에 큰 영향을 줄 수 있습니다. 어떤 경우에는 불과 한줄에 불과한 오류를 수정하기 위해서 몇시간은 물론 몇일밤을 고생해야 합니다. 프로젝트가 커질 수록 이는 더 큰 문제가 됩니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt;"> MIT의 스텔리오스 시디로글루-도우스코스(</span><span style="font-size: 16px; line-height: 24px;">MIT researcher Stelios Sidiroglou-Douskos</span><span style="font-size: 12pt; line-height: 1.5;">)와 그 동료들은 버그를 자동으로 수정할 수 있는 새로운 소프트웨어를 선보였습니다. 코드파지(CodePhage)라고 명명된 이 프로그램은 이름처럼 다른 곳에서 코드를 가지고와서 수정하고자하는 프로그램의 코드를 수정하는 매우 독특한 메커니즘을 지니고 있습니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><br></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: center;"><img src="https://t1.daumcdn.net/cfile/cafe/2155554E55964DF401" class="txc-image" hspace="1" vspace="1" border="0" actualwidth="639" width="639" exif="{}" data-filename="automated-software-bug-fix.jpg" style="clear:none;float:none;" id="A_2155554E55964DF401E2E4"/></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><br></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;">(</span><span style="font-size: 16px; line-height: 24px;">CodePhage, a software tool from MIT, can reportedly fix a common type of computer software bug by borrowing from other software</span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 16px; line-height: 24px;">(Credit: Jose-Luis Olivares/MIT)</span><span style="font-size: 12pt; line-height: 1.5;">)</span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 연구자들은 이를 수평적 코드 이식(Horizontal Code Transplant)라고 명명했는데, 이는 명칭에서 생물계에서 일어나는 수평적 유전자 전이( </span><span style="font-size: 16px; line-height: 24px;"><a href="http://jjy0501.blogspot.kr/2015/04/Sweet-potato-is-a-natural-GMO.html" target="_blank" class="con_link" style="word-wrap: break-word;">http://jjy0501.blogspot.kr/2015/04/Sweet-potato-is-a-natural-GMO.html</a></span><span style="font-size: 12pt; line-height: 1.5;"> 참조)와 비슷한 개념입니다. 파지라는 단어 자체가 박테리오파지, 즉 바이러스를 의미하는 용어죠.</span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 코드파지는 놀랍게도 서로 다른 언어라도 상관하지 않고 수집해서 버그를 수정하는 데 사용한다고 합니다. 연구팀은 이미 인터넷에 막대한 수의 코드가 공개되어 있는점을 지적했습니다. 즉 코드 수정을 위한 소스는 이미 쉽게 구할 수 있다는 것이죠. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 아마도 이것은 옳은 이야기겠지만, 과연 어떻게 올바른 코드를 소프트웨어가 판단해서 자동으로 기존의 코드와 충돌없이 자동으로 수정하는지는 상당히 이해가 어려운 부분입니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 연구팀이 설명한 예시를 보면 다음과 같습니다. 간단한 예를 들어 두 개의 수를 입력하면 첫 번째 숫자를 두 번째 숫자로 나누는 코드를 실행한다고 가정합니다. 단순한 코드지만 한 가지 오류가 있습니다. 그것은 두 번째 숫자가 0이면 안된다는 것을 알려주는 것입니다. 대부분의 경우에 이 코드는 오류를 만들지 않지만 가끔씩 두 번째 숫자가 0이 되면 오류가 나게 됩니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 코드파지는 이 오류를 수정하기 위해서 어떤 경우 오류가 나는지 테스트 한 후 코드를 줄 기증(donor) 프로그램을 찾습니다. 그리고 이 코드를 이용해서 에러를 자동으로 수정하거나 경고를 띄우는 프로그램으로 바꾸게 됩니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 정말로 이와 같은 일이 가능하다면 놀라운 일인게 엄청난 시간이 걸리는 코드 수정을 자동으로 할 수 있기 때문입니다. 그러면 프로그램 개발 시간이 단축되는 것은 물론 프로그래머들이 오랜 시간이 걸리는 단순노동에서 벗어날 수 있을 것으로 기대됩니다. 현재 연구팀은 수정에 걸리는 시간을 단축시키고 에러를 줄이는 데 연구를 집중하고 있다고 합니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> MIT의 마틴 리나드 교수(</span><span style="font-size: 16px; line-height: 24px;">MIT professor Martin Rinard</span><span style="font-size: 12pt; line-height: 1.5;">)는 자신들의 궁극적 목표가 누구도 만든적이 없는 코드를 스스로 만들 수 있는 프로그램을 만드는 것이라고 언급했습니다. 과연 목표만 정해주면 자동으로 코드를 만들 수 있는 프로그램이 나올까요? </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 솔직히 개인적으로는 반신반의한데, 아무튼 시도 자체는 놀랍다고 생각됩니다. </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> 참고 </span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"><br></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><span style="font-size: 12pt; line-height: 1.5;"> </span><span style="font-size: 16px; line-height: 24px;"><a href="http://www.gizmag.com/mit-automated-software-bug-fix/38236/" target="_blank" class="con_link" style="word-wrap: break-word;">http://www.gizmag.com/mit-automated-software-bug-fix/38236/</a></span></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><br></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><br></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><br></p><p style="line-height: 18px; color: rgb(61, 68, 68); font-family: 돋움; font-size: 12px; text-align: justify;"><a href="http://www.gizmag.com/mit-automated-software-bug-fix/38236/" target="_blank" class="con_link" style="font-family: Dotum; line-height: 1.5; word-wrap: break-word;"><strong style="font-family: Dotum; line-height: 1.5; word-wrap: break-word; padding: 0px 7px 0px 0px;">[출처]</strong><font face="Dotum" style="font-family: Dotum; line-height: 1.5; word-wrap: break-word;"><span style="line-height: 1.5;"> </span></font></a><a href="http://blog.naver.com/jjy0501/220407115554" target="_blank" style="font-family: Dotum; line-height: 1.5;">자동으로 버그를 수정해주는 프로그램 개발? </a><span style="font-family: Dotum; line-height: 1.5; color: rgb(68, 68, 68); padding: 0px 7px 0px 5px;">|</span><strong style="font-family: Dotum; line-height: 1.5; color: rgb(68, 68, 68); padding: 0px 7px 0px 0px;">작성자</strong><span style="font-family: Dotum; line-height: 1.5; color: rgb(68, 68, 68);"> </span><a href="http://blog.naver.com/jjy0501" target="_blank" style="font-family: Dotum; line-height: 1.5;">고든</a></p><p><br></p>
<!-- -->
첫댓글 나 학교 다닐때보다 패턴 해석 기술이 많이 좋아졌네..
뭔가 컴공과 대학생들이 레포트 쓰려고 하는 짓거리를 소프트웨어로 만든 느낌인데 (...)
2222
저 프로그램에도 버그가 없을리가....
알고리즘 오류를 찾아내는게 아니라 패턴 불일치를 찾아내는 것이니까...
쟤는 누가 디버그하죠 -_-..
여기에 버그를 끼얹으면?
수정프로그램의 수정프로그램의 수정프로그램의 수정은 사람이