AIに「机上デグレ検証」をやらせたら、レビューで見逃す“隠れデグレ”を捕まえた

AIに「机上デグレ検証」を行わせるスキル「degrade-guard」の開発事例。コードレビューで見逃しがちな「隠れデグレ」をAIが検知する可能性と、その実装方法について解説。

• AIを活用し、コードレビューで見逃しがちな、変更差分に直接関係ない既存処理の「隠れデグレ」を机上で検証するスキルを開発した。
• 「degrade-guard」は、変更を「入力空間の分割」と捉え、変更されないはずの補集合部分が不変であることをAIが静的に論証する。
• サンプルコードでの検証では、丸め処理の変更による意図しないデグレや、状態依存関数の影響など、レビューで見逃しやすい問題点をAIが検出した。
• このスキルはテストが書かれていないプロジェクトでも利用可能で、AIは合否判定ではなく、確認すべき点をリストアップする役割を担う。