特許

J-GLOBAL ID：200903022512111628

論理検証プログラム及び記録媒体

発明者： 鎌田 丈良夫
出願人/特許権者： 株式会社ルネサステクノロジ
代理人 (1件)： 玉村 静世
公報種別：公開公報
出願番号（国際出願番号）：特願2003-123402
公開番号（公開出願番号）：特開2004-326650
出願日： 2003年04月28日
公開日（公表日）： 2004年11月18日
要約：

【課題】論理検証効率の向上を図る。【解決手段】論理検証プログラムにより、パーソナルコンピュータ100を、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ(S1)、検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段(S5)として機能させる。パーソナルコンピュータ100での処理によれば、人手作業によってテストレポートを作成するのに比べて短時間で済むし、人手作業による煩雑な作業が不要とされることで人為的なミスも低減される。【選択図】 図1

請求項（抜粋）：

コンピュータを、表形式の表示画面において検証項目の自然言語による入力を可能とする検証項目入力エディタ、 検証結果を上記検証項目入力エディタにフィードバックすることでテストレポートの生成を可能とする検証結果フィードバック手段、として機能させることを特徴とする論理検証プログラム。

IPC (1件)：

G06F17/50

FI (4件)：

G06F17/50 672T ,  G06F17/50 668U ,  G06F17/50 670G ,  G06F17/50 672C

Fターム (4件)：

5B046AA08 ,  5B046BA03 ,  5B046DA01 ,  5B046JA05