CF3
"ORANGE 3" is a tool to test C compilers with randomly generated programs.
It mainly targets constant folding and optimization of arithmetic expressions.
Bibliography
- E. Nagai, A. Hashimoto, and N. Ishiura: "Reinforcing Random Testing of Arithmetic Optimization of C Compilers by Scaling up Size and Number of Expressions," IPSJ Transactions on System LSI Design Methodology, vol. 7, pp. 91-100 (Aug. 2014).
- E. Nagai, A. Hashimoto, and N. Ishiura: "Scaling up Size and Number of Expressions in Random Testing of Arithmetic Optimization of C Compilers," in Proc. the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI 2013), R2-3, pp. 88-93 (Oct. 2013).
- 永井絵里子, 橋本淳史, 石浦菜岐佐: "Ｃコンパイラの算術最適化のランダムテストにおける式生成の強化," 電子情報通信学会技術研究報告, VLD2012-117, (Jan. 2013).
- Eriko Nagai, Hironobu Awazu, Nagisa Ishiura, Naoya Takeda: "Random Testing of C Compilers Targeting Arithmetic Optimization" The 17th Workshop on Synthesis And System Integration of Mixed Information Technologies, R1-10 (March.2012).
- 永井絵里子武田直哉, 粟津裕亘, 石浦菜岐佐: "算術式を対象としたCコンパイラのランダムテストにおけるエラープログラムの最小化," 電子情報通信学会大会 ソサイエティ大会, A-3 (Sept.2011).
- 武田直哉, 粟津裕亘, 石浦菜岐佐: "定数畳み込みを対象としたCコンパイラのランダムテスト," 情報処理学会関西支部 支部大会, A-13 (Sept. 2009).
- 粟津, 石浦: "算術式の最適化を対象としたCコンパイラのランダムテスト," 信学技報, VLD2008-127 (Mar. 2009).
Copyright © 2014 関西学院大学 理工学部 石浦研究室,
Ishiura-Lab, School of Science and Technology, Kwansei Gakuin University, All Rights Reserved.