Cコンパイラ用 テストスイート自動生成システム

testgen2の紹介

SKYARC System presents

招待LT

papix

papix (ぱぴっくす)

Twitter: @__papix__ (‘_’は前後２つ)

Hatena id:papix

スカイアークシステム社さまの“遠方からの参加者支援制度”に 当選したので, 大阪から来ました.

スカイアークシステム社さまマジかっけー！！

自己紹介

関西学院大学 理工学部情報科学科 (学部４年生)

“かんさいがくいん(Kansai Gakuin)”じゃないよ,

“かんせいがくいん(Kwansei Gakuin)”だよ！

“関学”, “関学大”, “K.G.”は関西学院の商標だよ！ (参照: Wikipedia)

Perlのレベルは初心者に毛が生えたくらい(Perl歴約１年前後).

人生初YAPCで人生初LT… すごく緊張してます.

昨晩, LT後にtwitterで叩かれる夢を見ました.

研究はC言語のコンパイラについて. でも, よく使う言語はPerl.

今日はネタがないので研究紹介をさせていただきます.

自己紹介

●

●

Cコンパイラ用 テストスイート自動生成システム

testgen2の紹介

SKYARC System presents

招待LT

papix おい…

Perlの要素はどうした！？

testgen2はPerlで書かれています！

テスト生成部や, テストをCコンパイラに投げて, その出力を解析する ためのプログラムをPerlで書いてます.

…なのでYAPCで紹介しても大丈夫…！？

大丈夫！

Cコンパイラ用のテストスイートを自動生成/自動テストできる.

コンパイラの開発初期段階を想定.

K&RとC89で書かれたテストプログラムがそれぞれ約9000本.

テンプレートを追加することで, テストの追加・変更が可能.

ライセンスはGPL ver2なので, 無料で自由に使用可能.

現在も開発進行中.

テスト併合/マルチコア対応による高速化…

C99対応…

C以外の言語(C++等)への対応…？

testgen2

もし, 同僚や友人にコンパイラの開発に携わっている人がいたら, 「こんなのがあったよ！」と紹介して頂ければ嬉しいです！

実際に触ってみた上でのご意見やご感想は, 開発の上で非常に 参考・励みになります！

詳しくは…

testgen2ウェブページ

http://ist.ksc.kwansei.ac.jp/~ishiura/pub/testgen2/index.html

もしくは “testgen2”で検索！

宣伝

testgen2の紹介は以上です.

詳しい説明を聞いてみたい方,

ぼっちで話し相手がいない方(基本自分もぼっちです),

「学部生なのに老け顔ですね(笑)」と思った方,

とりあえず「椅子ぶん投げたい」方は,

遠慮せずに声をかけていただければ嬉しいです！ ※椅子投げるなら優しくしてください

最後に…

ティロ・フィナーレ(物理)

ご清聴ありがとうございました！

papixの次回作にご期待ください！