testgen


testgenはGPL ver2に従い、Cコンパイラのテストスイートを自動生成するソフトウェアである.
COPYING

最新版  (ファイル名の日付はversion)
過去のtestgen

デモ環境のスナップショット


必要なソフト
 perl 5.8.7 以上
 expect 5.26 以上
 dejagnu 1.4.2.x 以上

動作確認環境
  テストスイート生成 テストの実行
OS, processor perlのバージョン コンパイラ ターゲット
Linux Fedora core 4, x86 5.8.6 GCC-4.0.2 x86
Cygwin/Windows XP, x86 5.8.7 GCC-3.4.4 x86
Cygwin/Windows XP, x86 5.8.7 GCC-3.4.6 H8/300
Cygwin/Windows XP, x86 5.8.7 GCC-3.3.4 M32R
Mac OS X 10.3.9, PowerPC 5.8.1 GCC-3.3 PowerPC

メンテナ

 質問があれば、上記のアドレスに環境が再現できる情報を加えてメールを下さい。
 (例)
 OS, processor			: Cygwin/Windows XP, x86
 testgenのバージョン		: testgen-20060828
【テストスイート生成】
 perlのバージョン		: 5.8.7
【テスト】
 コンパイラ			: GCC-3.4.6
 ターゲット			: H8/300

解決済みの問題
 ネイティブコンパイラGCC-4.0.2のテストによリ生じた問題
 H8/300用クロスコンパイラGCC-3.4.6のテストによリ生じた問題

論文・資料
  1. 内山裕貴, 引地信之, 永松祐二, 石浦菜岐佐:
    "Cコンパイラ用テストスイートおよびその生成ツール," 情報処理学会 関西支部大会, C-12, (Oct. 2005).
  2. 内山裕貴, 引地信之, 永松祐二, 石浦菜岐佐:
    "Cコンパイラ用テストスイートおよびその生成ツールtestgen," VLSI設計技術研究会, 慶応大学(日吉), 2007年1月17-18日.

COPYRIGHT 2004〜2007
 関西学院大学理工学部石浦研究室, SRA先端技術研究所, SRA

 testgenはIPA 2004年度オープンソフトウェア活用基盤整備事業の
 プロジェクト 「Cコンパイラ向けテストスイート生成ツールの開発」
 (契約番号2004情財第0825号) による成果物を基本としたものである.