홍차넷 - 버그없는 프로그래밍이 가능할까요?

만일 인공지능에게 프로그래밍을 학습시켜서 논리적 오류가 없는 프로그래밍을 하는 것이 가능해진다면 어떨까 하는 생각을 하다가 갑자기 궁금해지는 게 있네요.
프로그래밍을 하다 보면 항상 버그는 그림자처럼 따라다닙니다.
그런데 가만 생각해 보니 버그가 꼭 실수를 했기 때문에 발생하는 문제일까 하는 생각이 들더군요.
프로그래밍 기법 자체에 뭔가 빈틈이 있을 수도 있고 컴파일러 자체에 문제가 있을 수도 있지 않을까 하는 생각인데 제가 전공자가 아니다 보니 판단할 수가 없어 질문을 올려봅니다.
프로그래밍을 할 때 프로그래머가 논리적 오류가 없이 프로그래밍을 한다고 가정할 때 운영체제급 프로젝트를 진행하면서 버그가 없는 결과물이 나올 수 있나요?
뭐... 워즈니악이 OS를 만들 때 버그 하나도 없이 쭉쭉 써내려갔다는 말을 듣고 경악하긴 했지만...

Date	15/06/07 15:52:08
Name	ArcanumToss
Subject	버그없는 프로그래밍이 가능할까요?
https://kongcha.net/qna/54 만일 인공지능에게 프로그래밍을 학습시켜서 논리적 오류가 없는 프로그래밍을 하는 것이 가능해진다면 어떨까 하는 생각을 하다가 갑자기 궁금해지는 게 있네요. 프로그래밍을 하다 보면 항상 버그는 그림자처럼 따라다닙니다. 그런데 가만 생각해 보니 버그가 꼭 실수를 했기 때문에 발생하는 문제일까 하는 생각이 들더군요. 프로그래밍 기법 자체에 뭔가 빈틈이 있을 수도 있고 컴파일러 자체에 문제가 있을 수도 있지 않을까 하는 생각인데 제가 전공자가 아니다 보니 판단할 수가 없어 질문을 올려봅니다. 프로그래밍을 할 때 프로그래머가 논리적 오류가 없이 프로그래밍을 한다고 가정할 때 운영체제급 프로젝트를 진행하면서 버그가 없는 결과물이 나올 수 있나요? 뭐... 워즈니악이 OS를 만들 때 버그 하나도 없이 쭉쭉 써내려갔다는 말을 듣고 경악하긴 했지만... 0 이 게시판에 등록된 ArcanumToss님의 최근 게시물 20-04-24 3D 프린터를 쓰려면 뭘 배워야 할까요? [18] 20-04-19 혹시 삼성 태블릿(with pen) 활용법 교육이 있나요? [5] 20-04-18 안드로이드 태블릿으로는 무엇을 할 수 있나요? [9] 19-09-24 이거 피싱? 스미싱? 문자 맞나요? [3] 19-09-09 윤석열 검사 관련 기사인데 이 사건이 어떻게 마무리됐는지 아시는 분 계시나요? [2] 19-04-20 회원 종류에 따라 게시판 권한을 달리 부여할 수 있는 솔루션 [3] 18-12-27 중성구와 임파구 백분율 [2] 18-03-25 윈도 10 사용자 폴더 이동 툴 [1] 18-01-17 밀크씨슬을 얼마 동안 먹어야 할까요? [4] 17-11-15 전립선 마사지의 전립선 질환 예방 효과 [7]