Pat
J-GLOBAL ID：201303074437236412
動的なWebアプリケーションのクライアント層の検証
Inventor：
,
Applicant, Patent owner：
Agent (2)：
伊東 忠彦
, 山口 昭則
Gazette classification：公表公報
Application number (International application number)：2012532087
Publication number (International publication number)：2013506906
Application date： Aug. 24, 2010
Publication date： Feb. 28, 2013
Summary：
1実施の形態では、本方法は、クライアント層を有する動的なWebアプリケーションにアクセスしてクロールするステップを含む。1実施の形態では、クロールは、1以上のガイドクローリングのインスタンスを含み、それぞれのインスタンスは、自動的なックローリングの先行するインスタンスがガイドクローリングのインスタンスについて1以上の予め決定された基準に合致する動的なWebアプリケーションにおける状態に到達したときに始動され、始動されたとき、動的なWebアプリケーションに関する1以上の予め決定されたアクションを実行する。本方法は、クロールに基づいて、動的なWebアプリケーションのスクリーン置換えモデルを生成するステップを含む。特定の実施の形態では、スクリーン置換えモデルは、階層的な有限状態マシン(FSM)を含む。1実施の形態では、スクリーン置換えモデルの生成が終了した後、本方法は、動的なWebアプリケーションのクライアント層を検証するため、スクリーン置換えモデルにモデルチェックを行うステップを更に含む。
Claim (excerpt)：
1以上のコンピュータシステムが、クライアント層を含む動的なWebアプリケーションにアクセスするステップと、
前記1以上のコンピュータシステムが、前記動的なWebアプリケーションをクロールするステップと、前記クロールは、ガイドクローリングの1以上のインスタンスを含み、それぞれのインスタンスは、自動クローリングの先行するインスタンスが、ガイドクローリングのインスタンスについて1以上の予め決定された基準に合致する前記動的なWebアプリケーションにおける状態に到達したときに始動され、始動されたとき、前記動的なWebアプリケーションに関して1以上の予め決定された動作を実行し、
前記1以上のコンピュータシステムが、前記クローリングに基づいて、前記動的なWebアプリケーションのスクリーン置換えモデルであって、階層的な有限状態マシン(FSM)を含むスクリーン置換えモデルを生成するステップと、
前記1以上のコンピュータシステムが、前記スクリーン置換えモデルの生成が終了した後、前記動的なWebアプリケーションのクライアント層を検証するために前記スクリーン置換えモデルにモデルチェックを行うステップと、
を含むことを特徴とする方法。
IPC (1)：
FI (1)：
F-Term (3)：
5B042GA10
, 5B042GB02
, 5B042HH49
Cited by examiner (1)
-
Webページにおける状態遷移解析手法
Gazette classification：公開公報
Application number：特願2005-370560
Applicant：インターナショナル・ビジネス・マシーンズ・コーポレーション
Article cited by the Patent：
Return to Previous Page
