debugging

5 件の記事

2026年8月25日

mainブランチが壊れた。探すべきコミットは200個ある

git bisectは手動のコミット探索を自動化された二分探索に変える。すべてをチェックアウトすることなく、バグを導入した正確なコミットを見つける方法を解説する。

2026年8月24日

スタックトレースはクラッシュの発生場所を示すが、原因ではない。ここでは、本番のクラッシュを実際にデバッグ可能なローカルテストケースに変える、キャプチャ＆リプレイのパターンを解説する。

2026年8月20日

statistical debuggingはクラッシュと相関するpredicatesを見つけるが、相関はファイル名と行番号ではない。相関スコアから実際のバグの場所へと導くランキング、フィルタリング、トライアングレーションの方法を解説する。

2026年8月18日

statistical debuggingはプログラムの動作と失敗を相関させることでバグを正確に特定することを約束した。このアイデアが研究論文から本番システムに移行しなかった理由を解説する。

2026年5月31日

ミューテーションテストで生存者が見つかったが、そのミューテーションが何をしているのかまったくわからない。ミュータントを理解せずに正しいテストを書くためのステップバイステップの方法を紹介する。