WEKO3
-
RootNode
アイテム
Web アプリケーションの静的意味検査法
https://ipsj.ixsq.nii.ac.jp/records/16615
https://ipsj.ixsq.nii.ac.jp/records/16615f6ca6bfe-0942-4782-bdb9-47dbe94ba9ca
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TPRO4611008.pdf (32.5 kB)
|
Copyright (c) 2005 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2005-08-15 | |||||||
| タイトル | ||||||||
| タイトル | Web アプリケーションの静的意味検査法 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Method for Checking of Static Semantics of Web Applications | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 発表概要 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 東京工業大学大学院情報理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 東京工業大学大学院情報理工学研究科 | ||||||||
| 著者所属 | ||||||||
| 東京工業大学大学院情報理工学研究科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science Tokyo Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science Tokyo Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science Tokyo Institute of Technology | ||||||||
| 著者名 |
大木, 憲二
鈴木, 徹也
徳田, 雄洋
× 大木, 憲二 鈴木, 徹也 徳田, 雄洋
|
|||||||
| 著者名(英) |
Kenji, Oki
Tetsuya, Suzuki
Takehiro, Tokuda
× Kenji, Oki Tetsuya, Suzuki Takehiro, Tokuda
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Web アプリケーションは，通常のスタンドアローン方式プログラムや一般のサーバ・クライアント方式プログラムと異なり，一貫性の保証や安全性の保証がきわめて困難である．本発表では，Webアプリケーションの可能な動作列集合を算出することにより，Web アプリケーションプログラム中の値の定義と値の使用の順序関係などの静的意味検査を行う方法を提案する．我々の方法の手順は次のとおりである．まずWeb アプリケーションをWeb ページテンプレート，アプリケーションプログラム，データベース，保存領域を節点とし，ハイパーリンク線とデータフロー線を有向枝として持つ有向グラフで表現する．Web アプリケーション中の1 つのWeb ページの意味は，そのページから可能な動作列集合と考える．そしてこの可能な動作列集合を用いて，値の定義と使用の順序関係や隠しフィールドの値の継続関係などの静的意味検査を行う． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | We present a method for checking of static semantics of Web applications. Unlike ordinary standalone programs, the overall behavior of Web applications may be extremely difficult for us to understand. This is because Web applications may be regarded as a series of independently executed programs performing a number of side effects under the unpredictable control requests of Web browsers. Our checking method of static semantics is based on the enumeration of the set of possible action sequences of a given Web page in Web applications. This method allows us to check semantic relationships such as definition-use relationships of values and connectivity relationships of hidden field values. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464814 | |||||||
| 書誌情報 |
情報処理学会論文誌プログラミング（PRO） 巻 46, 号 SIG11(PRO26), p. 67-67, 発行日 2005-08-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7802 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
