特許

J-GLOBAL ID：201603018790314740

ソフトウェア検証支援装置、ソフトウェア検証支援方法、ソフトウェア検証支援プログラム

発明者： 成沢 文雄 ,  石郷岡 祐 ,  月舘 統宙 ,  永浦 渉 ,  櫻井 康平 ,  松原 正裕
出願人/特許権者： 日立オートモティブシステムズ株式会社
代理人 (3件)： 平木 祐輔 ,  関谷 三男 ,  渡辺 敏章
公報種別：特許公報
出願番号（国際出願番号）：特願2012-010333
公開番号（公開出願番号）：特開2013-149164
特許番号：特許第5865091号
出願日： 2012年01月20日
公開日（公表日）： 2013年08月01日
請求項（抜粋）：

【請求項1】 ソフトウェアのソースコードを検証する作業を支援する装置であって、 前記ソースコード内の条件分岐命令が必ず成立するか否かを検査するための検査命令を前記ソースコード内の前記条件分岐命令の直前または直後に挿入する検査命令挿入部、 前記ソースコードをコンパイルして実行した結果を取得する検査部、 前記条件分岐命令が記述している条件が必ず成立するか否かを前記結果にしたがって判定する検査結果取得部、 前記条件が必ず成立する場合は、前記条件が成立したときに実行される命令を前記ソースコード内に残した上で、前記条件が成立しなかったときに実行される命令を前記ソースコードから削除する条件分岐削除部、 を備え、 前記検査命令挿入部は、 前記検査部が前記ソースコードをコンパイルして実行する前に、前記検査命令を前記ソースコード内に挿入し、 前記検査部は、 前記条件分岐命令が記述している条件を指定するパラメータのうち、前記ソフトウェアが搭載される環境に固有のものを記述したパラメータデータを、前記ソースコードに組み込んだ上でコンパイルして実行した結果を取得し、 前記検査結果取得部は、 前記パラメータデータを組み込んだ前記ソースコードの実行結果を取得することにより、前記環境において前記条件が必ず成立するか否かを判定する ことを特徴とするソフトウェア検証支援装置。

IPC (1件)：

G06F 9/44 ( 200 6.01)

FI (1件)：

G06F 9/06 620 K

引用特許：

審査官引用 (3件)

• プログラム処理高速化方式
  公報種別：公開公報   出願番号：特願平5-189799   出願人：日本電気株式会社
• テストプログラム作成装置
  公報種別：公開公報   出願番号：特願2009-256483   出願人：株式会社東芝, 東芝ソリューション株式会社
• 特開平3-036632