E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
スポンサーリンク
概要
- 論文の詳細を見る
本稿ではアスペクト指向設計きれたソフトウェアの実行前検査の方法を提案する.われわれは組込みソフトウェアを並行状態遷移機械の集合ととらえて,組込みソフトウェアのためのアスペクト指向ソフトウェアアーキテクチャスタイル(E-AoSAS++)を提案している.アスペクト指向の問題点として,アスペクトが織り込まれたソフトウェアの動作を把握することが困難であることが挙げられる.個々のアスペクトに欠陥がなくとも織り込み後のプログラムには欠陥が含まれる可能性がある.本稿では,アスペクト指向ソフトウェアの検査をモデル検査に帰着させて,設計段階における実行前検査の方法を提案する.E-AoSAS++に基づいて記述されたアーキテクチャを対象に,アスペクト指向ソフトウェアにおける問題を整理する.モデル検査を行うために,アーキテクチャを記述したUML図とCSP記述との対応関係を考察し,UML図からCSP記述への変換を行うツールを試作した.提案した方法がアスペクト指向ソフトウェアにおける問題の解決を支援できることを示す.
- 社団法人情報処理学会の論文
- 2009-03-11
著者
-
蜂巣 吉成
南山大学数理情報学部
-
野呂 昌満
南山大学数理情報学部
-
蜂巣 吉成
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
加藤 大地
南山大学大学院数理情報研究科
-
沢田 篤史
南山大学数理情報学部
-
沢田 篤史
京都大学
-
沢田 篤史
南山大学情報理工学部
-
蜂巣 吉成
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工部
-
蜂巣 吉成
南山大学理工学部ソフトウェア工学科
関連論文
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- 携帯電話制御ソフトウェアのアスペクト指向実現(アスペクト指向)
- アスペクト指向ソフトウェアアーキテクチャスタイルの提案(アスペクト指向)
- ウインターワークショップ・イン・金沢報告 : 総括
- モデル駆動アーキテクチャに基づくホームネットワークサービスの開発支援(学生セッション A_モデル指向(1))
- 平安京ビューによるIDSデータの視覚化
- 開放型大規模ネットワークのためのIDSログ監視支援システム(不正侵入・異常検知)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 分散型機能協調基盤による機能連携サービス提供方法(モバイル,コンテンツ,セキュリティ,信頼性,一般)
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- 分散協調型ホームネットワークサービス構築基盤 (ヒューマンコミュニケーション特集) -- (分散協調メディア)
- ホームネットワークサービス向けサービスシナリオ記述フレームワークのエミュレータ開発(NW性能管理, NW品質, 一般)
- 機能協調基盤ゆかりカーネルにおけるアクセス制御と振舞記述(「モバイルNWとインターネット/家電NWはどう融合するか?」【標準化(DLNA等), モバイルNW, 家電NW, 情報家電, 及び一般】)
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理(モバイルと放送の融合時代を迎えて(1セグ放送, モバイル放送, 携帯放送融合サービス, 1セグ対応携帯端末, モバイルコンテンツと放送コンテンツの融合, マルチメディア配信, ディジタル放送受信機, および一般))
- ネットワーク家電のための機能協調型基盤ゆかりカーネル構想
- 機能協調型基盤ゆかりコアを用いた実生活支援サービス : NICTユビキタスホームへの展開と実装(システム・アプリケーション)
- 機能協調型家電ネットワーク基盤"ゆかりコア"おける環境適応型機能バインド機構
- 機能協調型家電ネットワークのためのサービスシナリオ記述方式(ミドルウェア・組込み)
- ゆかりコア : ネットワーク家電のための分散協調型サービス構築基盤
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 並列ベクトル計算機VPP上のHPFの性能評価
- 並列ベクトル計算機VPP上のHPFの性能評価
- サマーワークショップ・イン・立山 開催報告
- パネル討論 : ネットワークソフトウェアの開発を考える
- 食材に視覚的特徴変化を生じさせる加工における食材と加工動作の同時認識(画像・映像処理)
- 歩行時の両足床反力を用いた個人識別(パターン認識)
- D-12-27 個人識別のためのフットステップ情報利用の検討(D-12. パターン認識・メディア理解, 情報・システム2)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウィンターワークショップ2006・イン・鴨川参加報告
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 21世紀へのソフトウェア開発技術
- OO'97オブジェクト指向モデリングワークショップ報告
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- 並行オブジェクト指向言語yの実行時環境
- 特集「オブジェクト指向とWeb技術」の編集にあたって
- ソフトウェア工学は工学足りえるか
- パネル討論 : ソフトウェア新工法へ向けて
- ソフトウェアのモジュール間通信を考慮した信頼度成長モデル(信頼性)
- A-16-13 グラフィックデザインミーティング映像に対するインデキシングのための操作認識(A-16. マルチメディア・仮想環境基礎)
- オブジェクト指向言語のための細粒度システム依存グラフ
- 自律的BOBモデルを用いたTRSの並列分散実行系
- VDM-SLによるソフトウェアアーキテクチャの記述法
- Web情報システムのソフトウェアアーキテクチャ
- リポジトリを用いたソフトウェア仕様記述の支援環境
- A-16-9 分散型機能協調基盤上の家電・センサ機能単位化およびその統合(A-16. マルチメディア・仮想環境基礎)
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 静的意味情報を考慮したコンポーネントのサイズメトリクス
- 単機能分散型ネットワークドアプライアンスアーキテクチャにおける統合サービス記述の検討
- 観測データに基づく生産加工活動認識のための物体・操作・目的情報の統合利用(テーマセッション(3))(ユビキタスコンピューティングのためのパターン認識・理解)
- A-16-17 食材加工過程の認識のための食材の視覚的特徴変化と可能な調理操作に関する知識の利用(A-16. マルチメディア・仮想環境基礎)
- 情報相分割に基づくユーザインタフェース設計
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- SOAアプリケーションプラットフォームのプロダクトライン化
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング演習におけるコーディング状況把握方法の考察
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現