フレームワークに基づくWebアプリケーションのプログラムモデル検査
スポンサーリンク
概要
- 論文の詳細を見る
近年,基幹業務システムを Web アプリケーションとして構築する企業が増加しており,Web アプリケーションの確実な品質保証が重要な課題となっている.そこでモデル検査に代表されるような形式検証技術が適用されはじめているが,従来は Web アプリケーションの設計情報に対して適用されてきた.本論文では,フレームワークを利用して開発された Java による Web アプリケーションの実装システムに対してプログラムモデル検査技術を用いて設計情報などを検査する方法について述べる.
- 一般社団法人情報処理学会の論文
- 2010-03-11
著者
-
山本 里枝子
富士通研究所
-
前田 芳晴
株式会社富士通研究所
-
大木 憲二
株式会社富士通研究所
-
宗像 一樹
株式会社富士通研究所
-
藤原 翔一朗
株式会社富士通研究所
-
片山 朝子
株式会社富士通研究所
-
上原 忠弘
株式会社富士通研究所
-
山本 里枝子
株式会社富士通研究所
-
山本 里枝子
株式会社 富士通研究所
関連論文
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- アスペクト指向を利用したWebアプリケーションテストの自動化(一般セッション E_テスト・検証)
- 第5回パターン指向開発とパターンの今後(パターン : ソフトウェア開発ノウハウの再利用)
- パターン : ソフトウェア開発ノウハウの再利用 : 第1回 パターン発展と現状
- ビジネスアプリケーションむけパターン体系とその適用
- 再利用の新しい枠組みを求めて : オブジェクト指向開発でのパターンシステム
- ソフトウェア開発プロセス支援システムSOFTPIEの開発
- プロセス支援システムSOFTPIEの開発
- 視覚的ソフト開発環境vie(3)アニメーションマニュアル適用例
- 視覚的ソフト開発環境vie(2)アニメーションマニュアル概要
- 視覚的ソフト開発環境vie(1)構想
- NaVigation Markup Language (NVML)の仕様と応用
- ウィンターワークショップ2006・イン・鴨川参加報告
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- ディペンダビリティ確保にむけたアスペクト指向技術動向
- フレームワークに基づくWebアプリケーションのプログラムモデル検査
- 特集「ソフトウェア工学の変化と深化」の編集にあたって
- 編集にあたって(女性たちが拓くIT-ITダイバーシティフォーラムより-)
- Webアプリケーションの統合テスト環境
- SIPアプリケーションフレームワークの開発と適用(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- XMLアプリケーション開発のためのパターン体系の開発(オブジェクト指向とWeb技術)
- 金融アプリケーション開発におけるパターン適用
- プロダクトベース・プロセス支援の提案と実現
- プロダクトベース・プロセス支援の提案と実現
- 92-29 CASE環境におけるプロセス統合
- LISP-PAL : プログラミング支援のための自然言語による質問応答システム
- ウィンターワークショップ・イン・金沢報告 : 再利用
- プロジェクト管理ツールとプロセス管理ツールの連携の実現
- 組織構造を反映したプロセス記述とその運用について
- B-006 アクティビティグラフからのテストケース生成技術(B分野:ソフトウェア)
- フレームワークに基づく Web アプリケーションのプログラムモデル検査
- 1B-3 SMT Solverを利用したWebアプリケーション用テストデータの生成(テスト・検証,一般セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- アプリケーション品質・検証技術への新たな取組み (特集 富士通SEのものづくり革新への取組み)
- 道案内用マークアップ言語NVMLを利用したシステムの構築
- デモ10 道案内用マークアップ言語NVML : 基本ツールとその利用法
- 2T-7 道案内用マークアップ言語NVML : 概要および言語の特徴