WEKO3
アイテム
フレームワークに基づくWebアプリケーションのプログラムモデル検査
https://ipsj.ixsq.nii.ac.jp/records/68344
https://ipsj.ixsq.nii.ac.jp/records/683442274224e-0c1e-4398-8295-9a7a69404289
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE10167033.pdf (473.3 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-03-11 | |||||||
| タイトル | ||||||||
| タイトル | フレームワークに基づくWebアプリケーションのプログラムモデル検査 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Program Model Checking of Framework based Web Application | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 検証・Web | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属 | ||||||||
| 株式会社富士通研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Fujitsu Laboratories Limited. | ||||||||
| 著者名 |
宗像, 一樹
藤原, 翔一朗
大木, 憲二
片山, 朝子
前田, 芳晴
上原, 忠弘
山本, 里枝子
× 宗像, 一樹 藤原, 翔一朗 大木, 憲二 片山, 朝子 前田, 芳晴 上原, 忠弘 山本, 里枝子
|
|||||||
| 著者名(英) |
Kazuki, Munakata
Shoichiro, Fujiwara
Kenji, Oki
Asako, Katayama
Yoshiharu, Maeda
Tadahiro, Uehara
Rieko, Yamamoto
× Kazuki, Munakata Shoichiro, Fujiwara Kenji, Oki Asako, Katayama Yoshiharu, Maeda Tadahiro, Uehara Rieko, Yamamoto
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 近年，基幹業務システムを Web アプリケーションとして構築する企業が増加しており，Web アプリケーションの確実な品質保証が重要な課題となっている．そこでモデル検査に代表されるような形式検証技術が適用されはじめているが，従来は Web アプリケーションの設計情報に対して適用されてきた．本論文では，フレームワークを利用して開発された Java による Web アプリケーションの実装システムに対してプログラムモデル検査技術を用いて設計情報などを検査する方法について述べる． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | As Internet technology is becoming more widespread, increasingly more companies are utilizing web applications to create internal mission-critical systems. Given these circumstances, there is a need for technology capable of ensuring web application quality to satisfy customer requirements. Formal methods such as model checking begun to be applied to web application. However, most of them were for design level. In this paper, we explain the method to verify java implementation of framework based web application by using Program Model Checking technique. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2010-SE-167, 号 33, p. 1-8, 発行日 2010-03-11 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
