netail.net

_ [論文]統計的デバッグ ▲

Alice X. Zheng, Michael I. Jordan, Ben Liblit, Alex Aiken:Statistical Debugging of Sampled Programs.Proceedings of the 17th Annual Conference on Neural Information Processing Systems (NIPS 2003).

プログラムのあちこちに検査用の処理として関数戻り値のチェック（０，０より大・小）や代入時の値チェック（そのスコープのほかの変数との大小比較）を埋め込んでおいて，それをランダムな間隔で検査していく．で，各検査処理の実行回数を結果として出力し，その結果とプログラムの成否とを統計的に調べる手法．

ケーススタディでは7000回くらいの入力を与えて1000回くらいクラッシュした，といった感じ．統計的に，クラッシュ原因として上位に来たのがわりと役立つ結果ですよという話のようなのだが，実行するテストケースをたくさん準備するのと，実行するコストは，プログラムによっては大きいかもしれない．また，プログラムによって「変数の代入文が多いので変数同士の比較を行った」といった微妙なカスタマイズをしているので，怪しい感じはする．