Web アプリケーションの静的意味検査法

情報処理学会

書誌事項

タイトル別名
  • A Method for Checking of Static Semantics of Web Applications

この論文をさがす

抄録

Web アプリケーションは，通常のスタンドアローン方式プログラムや一般のサーバ・クライアント方式プログラムと異なり，一貫性の保証や安全性の保証がきわめて困難である．本発表では，Webアプリケーションの可能な動作列集合を算出することにより，Web アプリケーションプログラム中の値の定義と値の使用の順序関係などの静的意味検査を行う方法を提案する．我々の方法の手順は次のとおりである．まずWeb アプリケーションをWeb ページテンプレート，アプリケーションプログラム，データベース，保存領域を節点とし，ハイパーリンク線とデータフロー線を有向枝として持つ有向グラフで表現する．Web アプリケーション中の1 つのWeb ページの意味は，そのページから可能な動作列集合と考える．そしてこの可能な動作列集合を用いて，値の定義と使用の順序関係や隠しフィールドの値の継続関係などの静的意味検査を行う．

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.

収録刊行物

関連プロジェクト

もっと見る

キーワード

詳細情報 詳細情報について

  • CRID
    1050282812867245568
  • NII論文ID
    110002769811
  • NII書誌ID
    AA11464814
  • ISSN
    18827802
  • Web Site
    http://id.nii.ac.jp/1001/00016615/
  • 本文言語コード
    ja
  • 資料種別
    article
  • データソース種別
    • IRDB
    • CiNii Articles
    • KAKEN

問題の指摘

ページトップへ