Pat
J-GLOBAL ID:201203017354567629
ソフトウェア・フレームワークを比較するためのシステム及び方法
Inventor:
,
Applicant, Patent owner:
Agent (2):
伊東 忠彦
, 山口 昭則
Gazette classification:公開公報
Application number (International application number):2011154217
Publication number (International publication number):2012022681
Application date: Jul. 12, 2011
Publication date: Feb. 02, 2012
Summary:
【課題】ソフトウェア・フレームワークを比較するための方法を提供する。【解決手段】方法は、第1のフレームワークのシンボリック実行に基づいて第1のモデルを作成し、第2のフレームワークに対してアプリケーション・コードをシンボリック実行し、第1のフレームワークのシンボリック実行に基づいて第2のモデルを作成し、第1のモデルに基づいて第1のフレームワークに関連付けられた1つ又は複数のパラメータを判定し、第2のモデルに基づいて第2のフレームワークに関連付けられた1つ又は複数のパラメータを判定し、第2のフレームワークに関連付けられた1つ又は複数のパラメータ、及び第1のフレームワークに関連付けられた1つ又は複数のパラメータの比較に基づいてアプリケーション・コードの実行のための所望のフレームワークとして第1のフレームワーク及び第2のフレームワークのうちの一方を選択する。【選択図】図3
Claim (excerpt):
方法であって、
第1のフレームワークに対してアプリケーション・コードをシンボリック実行する工程と、
前記第1のフレームワークの前記シンボリック実行に基づいて第1のモデルを作成する工程と、
第2のフレームワークに対して前記アプリケーション・コードをシンボリック実行する工程と、
前記第1のフレームワークの前記シンボリック実行に基づいて第2のモデルを作成する工程と、
前記第1のモデルに基づいて、前記第1のフレームワークに関連付けられた1つ又は複数のパラメータを判定する工程と、
前記第2のモデルに基づいて、前記第2のフレームワークに関連付けられた1つ又は複数のパラメータを判定する工程と、
前記第2のフレームワークに関連付けられた前記1つ又は複数のパラメータ、及び前記第1のフレームワークに関連付けられた前記1つ又は複数のパラメータの比較に基づいて、前記アプリケーション・コードの実行のための所望のフレームワークとして前記第1のフレームワーク及び前記第2のフレームワークのうちの一方を選択する工程と
を含む方法。
IPC (2):
FI (2):
G06F9/06 620R
, G06F9/06 650C
F-Term (7):
5B376AC13
, 5B376BC14
, 5B376BC38
, 5B376BC62
, 5B376BC76
, 5B376FA10
, 5B376FA25
Article cited by the Patent:
Cited by applicant (2)
Cited by examiner (2)
Return to Previous Page