테스트는 버그가 없음을 보여줄 수는 없다

데이크스트라는 "테스트는 버그가 있음을 보여줄 뿐, 버그가 없음을 보여줄 수없다" 고 말한 적이 있다. 


다시 말해 프로그램이 잘못되었음을 테스트를 통해 증명할 수는 있지만, 프로그램이 맞다고 증명할 수는 없다. 테스트에 충분한 노력을 들였다면 테스트가 보장할 수있는 것은 프로그램이 목표에 부합할 만큼은 충분히 참이라고 여길 수 있게 해주는 것이 전부이다.


- Clean Architecture p.35


어떤 시스템 구조든 잘 만들었다는 것을 확인하기 위한 최선의 증명은 테스트라고 생각했었습니다.


그렇지만 테스트를 잘 통과했다고해서 100% 버그가 없다고 말해서는 안된다는 것을 알아차리게되었네요.


더 많은 콘텐츠를 보고 싶다면?

또는

이미 회원이신가요?

2024년 2월 25일 오후 2:46

댓글 0

    함께 읽은 게시물

    코틀린 리액티브 SSE 푸시 By 클루드

    ... 더 보기

    WEBNORI

    wiki.webnori.com

    WEBNORI

    어제 저커버그 인터뷰에서 연구자들을 돈으로 매수..아니 돈으로 경쟁사들에게서 빼오고 있다는 의혹에 대해서 답했는데요.


    이는 잘못된 말이라며, 탑티어 연구자들의 욕망(!)은 GPU를 최대한 많이 사용할 수 있기를 바라는 것이고, 그래서 작은 팀으로 무한대의 GPU를 쓸 수 있게 해 준다는 것으로 유혹(?) 했다고 합니다. (*욕망, 유혹 같은 표현을 저커버그가 쓴 건 아님)


    ... 더 보기

    조회 1,268


    스스로 생각하는 힘

    

    ... 더 보기

    취업 코칭 AI 프롬프트를 사용해보세요.

    ... 더 보기

     • 

    저장 18 • 조회 2,249



    테드(TED) 강의장에 황소가 등장했다. <생각의 공유> 저자 리오르 조레프는 청중에게 황소 무게를 예측해 보라고 제안한다. 그러자 140㎏에서 3t까지 다양한 오답이 쏟아졌다.

    ... 더 보기

    왜 공동체에 집단 지성이 필요한가?

    기호일보 - 아침을 여는 신문

    왜 공동체에 집단 지성이 필요한가?