2026年8月23日 テストカバレッジ94%でも見逃した整数オーバーフローを、symbolic executionが発見した ユニットテストは特定の入力をチェックする。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 Relationsは役に立たない。優れたものを選ぶ方法。 すべてのmetamorphic relationsがバグを捉えるわけではない。弱いrelationは虚偽の自信を与え、強いrelationだけが本当の欠陥を見つける。どう違いを見分け、実際に機能するrelationセットを構築するかを解説する。 metamorphic-testingmetamorphic-relationstestingoracle-problem
2026年8月13日 正解がわからないコードはどうテストする？ Metamorphic testingを使えば、正しい出力が何かを知らなくてもコードの正しさを検証できる。その仕組み、限界、そして使い始める方法を解説する。 metamorphic-testingoracle-problemtestingml
2026年7月20日 テスト、コード、散文を1つのMarkdownファイルにまとめて、ドキュメントへのコードコピーをやめた Literate programmingは、Markdownファイルをsingle source of truthにすることで、ドキュメント、テスト、実装を同期させ続ける。Python30行で実装する方法を紹介する。 literate-programmingdocumentationtestingsingle-source-of-truth
2026年7月7日 race conditionを待つのは最悪のテスト戦略だ model checkingが、concurrency bugを発見するためにアプリを数日間実行することをどう凌駕するか、そして自分のコードにどう応用するか。 model-checkingrace-conditionsconcurrencytesting
2026年5月26日 ユニットテストは通るのに、データは消えている モック化されたデータベースのテストはSQLの構文を検証するだけで、クラッシュや並列書き込み、スキーマの不整合を経ても行が存続するかどうかは検証しない。永続性を本気でテストする方法を紹介する。 deep-divesdatabasetestingpersistence
2026年5月25日 モックアクションだらけにならずにReduxをテストする すべてのReduxアクションをモックすると、テストは変更履歴の検証ツールになってしまう。実際の状態遷移を使ってストアをテストする方法を紹介する。 deep-divesreduxtestingstate-management
