2026년 6월 15일 형식적 증명 없이도 차등 테스트는 통하지만, 공통 모드 오류가 함정이다 차등 테스트는 정답을 몰라도 버그를 찾아준다. 문제는 상관관계 있는 실수가 '일치'로 보인다는 점이다. 여기서 사각지대를 찾는 법을 알아본다. n-version-programmingdifferential-testingformal-methodstrust
2026년 6월 14일 테스트는 두 함수가 동등함을 증명할 수 없다. 이것이 가능한 방법이다. N-version programming은 구현체들이 서로 일치한다고 가정한다. 테스트가 왜 부족한지, SMT solver가 어떻게 실제로 동등성을 증명할 수 있는지, 그리고 '충분히 좋음'과 '형식적으로 검증됨' 사이의 경계를 어디에 그어야 하는지 살펴본다. n-version-programmingequivalence-testingformal-methodsverification
2026년 6월 13일 내 LLM 변체들이 의견이 다르면? 어떤 게 맞는 거지? 여러 LLM을 병렬로 실행하면 단일 모델이 자신 있게 납품할 오류를 잡아낼 수 있다. 실제로 작동하는 불일치 해결 시스템을 구축하는 방법은 다음과 같다. n-version-programmingllmdifferential-testingdisagreement-resolution
2026년 6월 12일 다섯 가지 구현체와 다수결 없음: 실제로 최선을 고르는 법 N-version programming은 간단해 보인다: 여러 구현체를 실행하고 가장 좋은 답을 고른다. 하지만 실제로 '최선'은 '가장 흔한'보다 정의하기 훨씬 어렵다. n-version-programmingimplementation-selectiondifferential-testingai-engineering
2026년 6월 11일 같은 LLM이 함수를 5가지 버전으로 작성할 수 있다. 진짜 다르게 만드는 방법은 다음과 같다. LLM을 활용한 N-version programming은 여러 모델이 필요하지 않다. 프롬프트, 페르소나, 추론 제약을 달리하면 단일 모델에서도 다양하고 정확한 구현을 추출할 수 있다. n-version-programmingllmdiverse-implementationsai-engineering
2026년 6월 10일 NASA는 같은 프로그램을 27개 복사해 실행했다. 버그들은 한 묶음으로 투표했다. N-version programming은 독립적인 팀이 독립적인 실수를 할 것이라 약속했다. 1986년 Knight와 Leveson의 실험은 정반대임을 입증했고, NASA는 조용히 물러섰다. n-version-programmingnasafault-tolerancesoftware-history
