2026년 8월 23일 94% 테스트 커버리지도 놓친 정수 오버플로우를 symbolic execution이 찾아냈습니다 unit tests는 특정 입력을 검증합니다. symbolic execution은 모든 가능한 입력을 검증합니다. 작동 방식, 비용, 시작 방법을 알아보세요. additional-strategiessymbolic-executiontestingverification
2026년 8월 16일 Metamorphic testing으로 GCC·LLVM에서 147개 컴파일러 버그와 자율주행차 결함을 발견하는 방법 Metamorphic testing은 GCC, LLVM, Vulkan 셰이더 컴파일러, ADAS 시뮬레이터에서 실제 버그를 찾아냈다. 이 글에서는 이 기법을 동작하는 코드와 함께 설명하고, 당신의 테스트 스위트에 어디에 맞는지 보여준다. metamorphic-testingcase-studyproduction-bugstesting
2026년 8월 14일 대부분의 Metamorphic Relation은 쓸모없다. 좋은 것을 고르는 방법. 모든 metamorphic relation이 버그를 잡아내는 것은 아닙니다. 약한 relation은 거짓 자신감을 주고, 강한 relation만이 실제 결함을 찾습니다. 차이를 구분하고 실제로 작동하는 relation 집합을 구축하는 방법을 설명합니다. metamorphic-testingmetamorphic-relationstestingoracle-problem
2026년 8월 13일 정답을 모를 때 코드를 어떻게 테스트할까? metamorphic testing은 정확한 예상 출력을 알지 못해도 코드의 정확성을 검증할 수 있게 해줍니다. 작동 방식, 한계, 그리고 시작하는 방법을 설명합니다. metamorphic-testingoracle-problemtestingml
2026년 7월 20일 테스트, 코드, 산문을 하나의 Markdown 파일에 담아 문서에 코드를 복사하는 것을 그만뒀다 Literate programming은 Markdown 파일을 single source of truth로 삼아 문서, 테스트, 구현체를 동기화 상태로 유지한다. Python 30줄로 구현하는 방법을 소개한다. literate-programmingdocumentationtestingsingle-source-of-truth
2026년 7월 7일 race condition이 나타나기를 기다리는 것은 끔찍한 테스트 전략이다 model checking이 며칠간의 프로덕션 런타임을 능가해 concurrency 버그를 찾는 이유, 그리고 자신의 코드에 적용하는 방법. model-checkingrace-conditionsconcurrencytesting
2026년 5월 26일 유닛 테스트는 통과하는데, 데이터는 여전히 사라진다 모의 데이터베이스 테스트는 SQL 문법은 검증하지만, 행이 크래시나 동시 쓰기, 스키마 불일치에서 살아남는지는 검증하지 않는다. 여기 지속성을 진짜로 테스트하는 방법이 있다. deep-divesdatabasetestingpersistence
2026년 5월 25일 모든 mock action에 매몰리지 않고 Redux 테스트하기 모든 Redux action을 mock하면 테스트가 변경 로그 검증기가 된다. 대신 실제 상태 전환으로 store를 테스트하는 방법. deep-divesreduxtestingstate-management
