ソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法

発明者： , , , , ,
出願人/特許権者： ,
代理人 (5件)：三好秀和 , 岩▲崎▼ 幸邦 , 伊藤正和 , 高橋俊一 , 伊藤市太郎
公報種別：公開公報
出願番号（国際出願番号）：特願2007-085598
公開番号（公開出願番号）：特開2008-243034
出願日： 2007年03月28日
公開日（公表日）： 2008年10月09日
要約：

【課題】ソフトウェアの挙動の検証精度を保ちながら、ソフトウェアの挙動を簡易に検証することを可能とするソフトウェア挙動モデル化装置、ソフトウェア挙動モデル化方法、ソフトウェア挙動検証装置及びソフトウェア挙動検証方法を提供する。【解決手段】ソフトウェア挙動モデル化装置100は、ソフトウェアの実行中に発生した特定のイベントを示すイベント情報を取得するイベント情報取得部110と、特定のイベントが発生した時点において、コールスタックに格納されたスタック情報を取得するスタック情報取得部120と、スタック情報に含まれるリターンアドレスがコールスタックに格納されている格納位置に応じて、リターンアドレスにスコアを設定して、格納位置及びスコアを用いて、特定のイベントと要素との関係をモデル化して、ソフトウェアの挙動モデルを生成する挙動モデル生成部130とを備える。【選択図】図1

請求項（抜粋）：

ソフトウェアの挙動をモデル化するソフトウェア挙動モデル化装置であって、前記ソフトウェアの実行中に発生した特定のイベントを示すイベント情報を取得するイベント情報取得部と、前記特定のイベントが発生した時点において、コールスタックに格納されたスタック情報を取得するスタック情報取得部と、前記スタック情報に含まれる要素が前記コールスタックに格納されている格納位置に応じて、スコアを設定するスコア設定部と、前記格納位置及び前記スコアを用いて、前記特定のイベントと前記要素との関係をモデル化して、前記ソフトウェアの挙動モデルを生成するモデル生成部とを備えることを特徴とするソフトウェア挙動モデル化装置。

IPC (3件)：

G06F 11/34 , G06F 21/22 , G06F 11/28

FI (3件)：

G06F11/34 S , G06F9/06 660Z , G06F11/28 310A

Fターム (9件)：

5B042GC08 , 5B042JJ12 , 5B042JJ15 , 5B042JJ29 , 5B042JJ43 , 5B042MA08 , 5B042MA14 , 5B042MC03 , 5B276FD00

引用特許：

審査官引用 (4件)

ソフトウェア動作監視装置及びソフトウェア動作監視方法
公報種別：公開公報出願番号：特願2004-235433 出願人：株式会社エヌ・ティ・ティ・ドコモ
ソフトウェア動作モデル化装置及びソフトウェア動作監視装置
公報種別：公開公報出願番号：特願2005-089891 出願人：株式会社エヌ・ティ・ティ・ドコモ
動作監視サーバ、端末装置及び動作監視システム
公報種別：公開公報出願番号：特願2004-336363 出願人：株式会社エヌ・ティ・ティ・ドコモ

全件表示

引用文献：

審査官引用 (3件)

前のページに戻る