特許
J-GLOBAL ID：200903018741191735
コンパイラ検査システムおよび同プログラム
発明者：
,
出願人/特許権者：
代理人 (2件)：
谷 義一
, 阿部 和夫
公報種別：公開公報
出願番号（国際出願番号）：特願2003-376026
公開番号（公開出願番号）：特開2005-141406
出願日： 2003年11月05日
公開日（公表日）： 2005年06月02日
要約：
【課題】 コンパイラのバグを能率的に、かつ精度よく検出する。【解決手段】 複数のコンパイラによって生成された、互いに異なる動作環境で動作する複数のマシン語プログラム5,7に対して、同一の入力値を与え、これらの出力値である出力データa,bを比較することによって、コンパイラのバグを間接的に検出する。2種類のコンパイラにおいてそれぞれ同じ箇所に全く同様のバグが存在する可能性は極めて低いため、出力結果の不一致の存在により、いずれか一方のコンパイラにおけるバグの存在を推定できる。【選択図】 図2
請求項（抜粋）：
応用ソフトプログラムを複数のコンパイラでそれぞれ変換して生成された、互いに異なる動作環境で動作するマシン語プログラムのそれぞれに対し、同一の入力値を与える手段と、
前記各マシン語プログラムからの出力値を相互に比較する手段と、
比較結果を出力する手段と、を備えたコンパイラ検査システム。
IPC (1件)：
FI (1件)：
Fターム (5件)：
5B042GA02
, 5B042HH12
, 5B042HH32
, 5B042MC17
, 5B042NN07
