Cコンパイラのランダムテストにおける非実行パス上の被代入変数の参照の導入

摘要

コンパイラのランダムテストは, ランダムに生成した プログラムによりコンパイラに潜在する不具合の検出を 試みる手法である. 文献[1] は, プログラムの等価変換 によって複雑な算術式, 条件文, ループ文を含むテスト プログラムを生成する手法を提案している. この手法で は, 実行されないパス上の文が後続の文に影響を及ぼさ ないようなプログラムを生成するが, 文献[2] では, 非実 行パスに挿入した文がコンパイラの潜在的な不具合を検 出する例が報告されている. そこで本稿では, 文献[1] の 手法に非実行パス上の被代入変数の参照を導入する手法 を提案する.