文献

J-GLOBAL ID：201002220923304510   整理番号：10A0485290

フレームワークに基づくWebアプリケーションのプログラムモデル検査

Program Model Checking of Framework based Web Application

著者 (7件)： 宗像一樹 (富士通研) ,  藤原翔一朗 (富士通研) ,  大木憲二 (富士通研) ,  片山朝子 (富士通研) ,  前田芳晴 (富士通研) ,  上原忠弘 (富士通研) ,  山本里枝子 (富士通研)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2009  号： 6  ページ： ROMBUNNO.SE-167,33  発行年： 2010年04月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 近年,基幹業務システムをWebアプリケーションとして構築する企業が増加しており,Webアプリケーションの確実な品質保証が重要な課題となっている。そこでモデル検査に代表されるような形式検証技術が適用されはじめているが,従来はWebアプリケーションの設計情報に対して適用されてきた。本論文では,フレームワークを利用して開発されたJavaによるWebアプリケーションの実装システムに対してプログラムモデル検査技術を用いて設計情報などを検査する方法について述べる。(著者抄録)

シソーラス用語： *モデル検査 ,  *応用プログラム ,  Web【情報システム】 ,  品質保証 ,  形式的手法【計算機】 ,  フレームワーク【ソフトウェア開発】 ,  Java ,  実装設計 ,  情報
準シソーラス用語： *Webアプリケーション ,  設計情報

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： フレームワーク ,  Webアプリケーション ,  モデル検査