確率的プログラミングを用いることより、統計的モデルの取り扱い、機械学習などの研究開発がより円滑にできるため、近年AIの発展により非常に重要になってきた。しかし、確率的プログラムの特徴を考慮した開発環境がまだ整えていない。本研究では、確率的プログラムの特徴を考慮した確率的プログラムの不具合を効率よく検出できるバグ検出ツールの開発を目的としている。本論文では、FindBugs等既存のバグ検出ツールの現状調査結果をまとめ、本研究室で分析抽出した確率的プログラムのバグパターンを検出するためのツールの実現方法の考案についてまとめる。