著者

石浦 菜岐佐

出版者

一般社団法人 電子情報通信学会

雑誌

電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review (ISSN:18820875)

巻号頁・発行日

vol.9, no.3, pp.188-196, 2016-01-01 (Released:2016-01-01)

参考文献数

21

---

コンパイラはソフトウェア開発の基盤ツールであり,その信頼性確保は重要な課題である.コンパイラのテストは数千本から数十万本のテストプログラムから成るテストスイートを用いて行われるが,テストの数が有限である以上,どうしても不具合の見逃しは防げず,最新のGCC やLLVM/Clang などの比較的品質が高いとされるコンパイラにも多くの不具合が報告されている.近年,ランダムに生成したプログラムによりそのような不具合を検出するコンパイラ・ファジングのツールが幾つか開発され,成果を挙げている.本稿では,これまでに開発された手法やツールの狙いや課題について概観し,今後の方向性についての所感を述べる.

著者

伊藤 直也 石浦 菜岐佐 冨山 宏之 神原 弘之

雑誌

DAシンポジウム2014論文集

巻号頁・発行日

vol.2014, pp.121-126, 2014-08-21