特許
J-GLOBAL ID：200903084448881860

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

発明者：
ラファエル カズミチ モリザワ

ラファエル カズミチ モリザワ について


出願人/特許権者：
富士通株式会社

富士通株式会社 について


代理人 (1件)： 赤澤 日出夫
公報種別：公開公報
出願番号（国際出願番号）：特願2006-075898
公開番号（公開出願番号）：特開2007-249884
出願日： 2006年03月20日
公開日（公表日）： 2007年09月27日
要約：
【課題】並行・並列ソフトウェアの検証コストを低減するソフトウェア検証プログラム、ソフトウェア検証装置、ソフトウェア検証方法を提供する。【解決手段】ライブラリ11とライブラリ21を利用して並行動作または並列動作を行うプログラム22とで構成されるソフトウェアの検証をコンピュータに実行させるソフトウェア検証プログラムであって、ライブラリ中21で定義された要素であってプログラム22が利用できる共有要素が、プログラム22中で利用されている箇所を共有要素利用箇所として抽出する共有要素利用箇所抽出ステップと、ライブラリ21中で共有要素毎に定義されたスレッドセーフ条件に基づいて、共有要素利用箇所抽出ステップにより抽出された共有要素利用箇所における共有要素がスレッドセーフ条件を満足するか否かの検証を行う条件検証ステップとをコンピュータに実行させる。【選択図】図1
請求項（抜粋）：
ライブラリと該ライブラリを利用して並行動作または並列動作を行うプログラムとで構成されるソフトウェアの検証をコンピュータに実行させるソフトウェア検証プログラムであって、 前記ライブラリ中で定義された要素であって前記プログラムが利用できる要素である共有要素が、前記プログラム中で利用されている箇所を共有要素利用箇所として抽出する共有要素利用箇所抽出ステップと、 前記ライブラリ中で前記共有要素毎に定義されたスレッドセーフ条件に基づいて、前記共有要素利用箇所抽出ステップにより抽出された共有要素利用箇所における共有要素がスレッドセーフ条件を満足するか否かの検証を行う条件検証ステップと をコンピュータに実行させるソフトウェア検証プログラム。
IPC (1件)：
G06F 11/28
FI (1件)：
G06F11/28 340A
Fターム (2件)：
5B042GA23 ,  5B042HH11
引用特許：
出願人引用 (5件)
全件表示
審査官引用 (4件)
全件表示
引用文献：
出願人引用 (2件) 審査官引用 (2件)

前のページに戻る

TOP

BOTTOM