| 研究成果の概要 |
本課題では, コンパイラの信頼性確保を目的に, Cコンパイラのランダムテストの新しい手法について研究を行った. ランダムに生成したプログラムの期待値をいかに求めるか, および未定義動作を含むプログラムの生成をいかに避けるかという課題を解決するため, プログラムの生成と並行して期待値を計算する方法, およびプログラムの等価変換によって与えられた期待値を出力するプログラムを生成する方法を開発した. また, コンパイラのコードの正当性だけでなく最適化の性能をテストする手法, C以外にLLVMとJavaの処理系をテストする手法, およびCコンパイラの算術最適化用テストスイートも開発した.
|
