振る舞い仕様の実行時モニタリング
スポンサーリンク
概要
- 論文の詳細を見る
オープンなシステムでは利用者の振舞いを開発時に完全に予測することは難しい。利用者の不注意、システムの隙間を逆手にとる使い方あるいは悪戯などによって開発者が予測しなかったような事態が決してないとはいえない。設計の誤りではないが、システムが期待通りの振舞いを示さないという意味では不具合である。本稿では、実行時モニタリングの方法を用いることで、システムにとって致命的ではない不具合を検知する方法を提案する。簡単なWebアプリケーションを対象とした実例を用いて基本的な考え方と方式を報告する。
- 2009-10-08
著者
関連論文
- 検証モデリングの比較検討--組込みシステムの事例 (コンカレント工学)
- Rewriting logic approach to separating policy rules from behavioral specification (知能ソフトウェア工学)
- Rewriting logic approach to separating policy rules from behavioral specification (ソフトウェアサイエンス)
- Webアプリケーション・フィーチャのアスペクト隠蔽
- UMLとSimulinkのモデル変換手法の検討
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- RBACモデルの形式検証と修正支援(形式手法(1)・言語(学生セッション))
- AOPによるWebアプリケーションの要求監視
- アスペクト指向技術とSNMPによるコンポーネント稼動状態測定フレームワーク
- アスペクト概念を持つステートダイアグラムの提案(アスペクト指向)
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- アスペクト指向プログラミングへのモデル検査手法の適用(オブジェクト指向技術)
- モデル検査によるアスペクト指向プログラミングの検証
- 振る舞い仕様の実行時モニタリング
- ウインターワークショップ・イン・金沢報告 : 総括
- 代数仕様言語Maudeを用いた制約オートマトンの実現(形式的手法)
- Cプログラム・モデル検査におけるDbC(一般セッション2:モデル検査とコデザイン)
- リアルタイム・コンポーネント向けの程良い形式手法
- 制約オートマトンを用いたソフトウェア・デザインの記述法
- 制約オートマトンに関するモデル検査法の実験
- プライオリティ概念のあるステートダイアグラムのモデル検査
- 状態遷移システムを用いたデザインのモデル検査
- EJBコンポーネントアキテクチャのSPINによる振舞い解析(ソフトウェア工学の基礎)
- パネル討論会 : CASE環境の夢物語 : 革新的将来像 : 「CASE環境」シンポジウム
- ジョインポイント写像によるドメイン特化AO機構の開発手法
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション)
- ポリシー規則と振る舞い仕様の分離への書き換え論理アプローチ(一般セッション,一般,フレッシャーズセッション)
- ユビキタスアプリケーション向け移動エージェントの相互運用
- コンテキストベース・プロダクトライン開発とVDM++の適用(ソフトウェアプロダクトライン開発,ソフトウェア工学の理論と実践)
- ソフトウェア進化プロセスの統計モデル
- 要求分析のためのメタモデルの提案
- 要求分析のためのメタモデルの提案
- ユースケース定義のためのメタモデルの構築
- オブジェクト進化の定量的観測値からの分布モデルの推定
- 多重視点によるオブジェクトの組織化過程
- オブジェクトの進化プロセスにおける統計的観測
- オブジェクトの進化モデル構築に向けて
- 検証モデリングの比較検討 : 組込みシステムの事例(組込みシステム,一般)
- Event-Bで書かれたシステム要求仕様の妥当性検査
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 特集「組込みシステム工学」の編集にあたって
- LispへのXML文書構造変換言語の埋め込みとそれのシャッフル表現への拡張
- ソフトウェア工学とさまざまな領域の行き来
- 1. ソフトウェア工学の40年(ソフトウェア工学温故知新)
- 3 問題フレームについて(要求工学)
- ユースケースによる安全性要求分析のための想定外シナリオ抽出法の提案(学生セッション I_要求獲得・分析)
- 新しいソフトウェアの実現 : 科研「情報学」プロジェクトA01柱を振り返って(「情報学を創る」-科研プロジェクトがめざしたもの)
- プログラム解析を提供するAPIの実現とその適用
- セキュリティポリシー変更に関するデザイン解析
- Frederick P. Brooks, jr. : The Mythical Man-Month : Essays on Software Engineering, Addison-Wesley(1975)(20世紀の名著各論)
- ロール概念に基づく発展型移動エージェント
- 経済ジャーナリストと計算機科学者の対話
- Enterprise JavaBeans^TMサーバ仕様の形式化と検証
- 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-4 移動エージェント相互運用の実現 : ディレクトリサーバ
- 3S-3 移動エージェント相互運用の実現 : インカネーションエージェントによる相互運用の実現
- 3S-2 移動エージェント相互運用の実現 : 基本アーキテクチャ
- 3S-1 移動エージェント相互運用の実現 : 背景と構想
- Webアプリケーション開発向けAOP機構の実装(Webアプリケーション(学生セッション))
- システム理解のための分散システムアーキテクチャの抽出
- 江戸日本橋町人地の幕藩制的構造 : 江戸町人地の研究 (2)
- 江戸日本橋町人地における幕藩制的構造の確立 : 江戸町人地の研究 (1)
- 江戸町人地の住宅 (主集 日本住宅史の現状)
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- リファクタリングの正しさのESC/Java2による形式検証
- 形式手法の潮流 : アーキテクチャへの関心(システム設計のための形式手法の基礎と応用)
- 制約概念を用いるソフトウェアデザイン
- Alloy : 自動解析可能なモデル規範形式仕様言語
- 輸配送計画システムのドメインモデル構築とその要求分析への応用
- IDEFを用いたスケジューリングシステム開発プロセスのモデル化
- 有界モデル検査法を用いたCプログラムのモジュラー検証
- FODAフィーチャー・ダイアグラムの形式化と検査の自動化
- 有界モデル検査法を用いたモジュラー検証のテストケース生成による補完
- Enterprise JavaBeans~TMサーバ仕様の形式化と検証
- 芸術哲学者と計算機科学者の対話
- プログラム簡易検証ツールESC/Java2(ソフトウェア紹介,先端ソフトウェアツール)
- 先端ソフトウェアツール小特集(先端ソフトウェアツール)
- モデル検査法のソフトウェアデザイン検証への応用(新しいソフトウェアの実現,サイバー増大号)
- ソフトウェアモデル検査とテストケース生成の統合
- 有限Alloy記述の段階的な構築について
- 自己適応 Web アプリケーションシステム : 概念アーキテクチャと実現フレームワーク
- AP-1-1 モデリング、モデル、解析(AP-1.サイバーフィジカルシステムにおけるモデリング手法,パネルセッション,ソサイエティ企画)