2026년 6월 16일 TypeScript가 주문 ID 자리에 사용자 ID를 넣게 냅둔 이유 TypeScript에서 타입 별칭은 구분되는 타입을 만들지 않는다. 브랜디드 타입은 그렇게 하며, 컴파일 시점에 식별자를 섞는 실수를 막아준다. type-level-correctnesstypescriptbranded-typesnewtypes
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
2026년 6월 9일 Cucumber 시나리오 절반이 Skipped됩니다. 이 상태가 당신을 속이는 이유는 이렇습니다. Cucumber의 'skipped' 상태는 서로 완전히 다른 세 가지 문제를 숨깁니다. 어떤 것이 테스트 스위트를 갉아먹고 있는지 진단하고 멈추는 방법은 다음과 같습니다. deep-divescucumberbddtest-maintenance
2026년 6월 8일 Gherkin 스펙은 당신에게 거짓말을 하고 있다 Gherkin 스펙은 사람이 수동으로 업데이트하도록 맡기는 순간부터 동기화가 깨지기 시작한다. 여기서 feature 파일을 정직하게 유지하는 자동화 검증 방법을 소개한다. deep-divesgherkinbddliving-documentation
2026년 6월 7일 컴파일러가 문법을 검사한다면, 테스트는 아키텍처를 검사해야 한다. 대부분의 팀은 아키텍처 규칙을 위키에 문서화한다. 의존성 그래프가 어긋났을 때 CI를 실패시키는 실행 가능한 테스트로 작성하는 방법을 알아보자. deep-divesarchitecture-testingclean-architectureci-cd
