大会名称 |
---|
2016年 ソサイエティ大会 |
大会コ-ド |
2016S |
開催年 |
2016 |
発行日 |
2016-09-06 |
セッション番号 |
A-6 |
セッション名 |
VLSI設計技術 |
講演日 |
2016/9/21 |
講演場所(会議室等) |
工学部 C棟 C209 |
講演番号 |
A-6-10 |
タイトル |
等価変換に基づくCコンパイラのランダムテストにおける変数の複数回参照の導入 |
著者名 |
◎高倉正悟, 石浦菜岐佐, |
キーワード |
コンパイラ, ランダムテスト, 等価変換 |
抄録 |
コンパイラのランダムテストは, ランダムに生成したプログラムによりコンパイラに潜在する不具合の検出を試みる手法である. 中村らは, プログラムの等価変換によって複雑な算術式を含むテストプログラムを生成する手法を提案している.しかし, この手法ではプログラム内において各変数を一回しか参照していなかった.本稿では, 等価変換に基づくランダムプログラム生成において変数の複数回参照をする手法を提案する. |
本文pdf |
PDF download
|