netail.net

_ [論文][ツール] 静的解析でテストケースを生成 ▲

Christoph Csallner, Yannis Smaragdakis: Check 'n' Crash: Combining Static Checking and Testing. Proceedings of International Conference on Software Engineering 2005, pp.422-431, May 2005. 配列の範囲外の値を参照するとか，null参照を使ってしまうとかいった問題が起きる可能性を静的に検出して，そのクラッシュするような条件（CounterExample）をJUitのソースとして生成して，実際に走らせてクラッシュするかどうかをチェックする（クラッシュしなければ false positive）とかいう話らしい．

手続き単位だけで解析し，他のメソッドの返り値の範囲などは気にしないようなので，手軽に使えるツールなのかも……と思ったが，必要だった時間がけっこう長い（5KLOCで1.5分，18KLOCで26分）ので不安．CnCという名前でツール自体は公開されているらしいので，暇があったらつついてみるのもいいかも．