アイデアとインサイト

AI ファースト開発、コーディングガードレール、使い捨て前提のアーキテクチャを探求します。

2026年8月25日

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

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

2026年8月24日

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

2026年8月23日

ユニットテストは特定の入力をチェックする。symbolic executionはあらゆる可能な入力をチェックする。仕組み、コスト、始め方を解説する。

2026年8月22日

ほとんどのチームは顧客からの苦情の後にPII漏洩を発見する。ここでは、機密データを取り込みから出力まで追跡し、今日から使えるコード例を紹介する。

2026年8月21日

ほとんどのCIパイプラインは構文エラーや論理バグを検出する。しかし、実際に本番を落とすAPI contractの破壊変更は見逃している。修正方法を解説する。

2026年8月20日

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

2026年8月19日

Seerはtrace tree、関連付けられたエラー、プロファイリングデータを取り込んで分散問題を診断する。実際にどう機能するか、どこで輝き、どこでまだ人間の助けを必要とするかを解説する。

2026年8月18日

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

2026年8月17日

statistical debuggingは本番データを信号として扱い、バグをその異常として捉える。unit testを1つも追加せずに、データの破損、オフバイワンエラー、静かな失敗を見つける方法を解説する。

2026年8月16日

Metamorphic testingはGCC、LLVM、Vulkanシェーダコンパイラ、ADASシミュレータで実際のバグを発見してきた。この記事では、その手法を実行可能なコードとともに解説し、あなたのテストスイートのどこに位置づけるべきかを示す。