階層分割に基づく組込みソフトウェアの振舞い検証の支援について
スポンサーリンク
概要
- 論文の詳細を見る
モデル検査を用いた振舞い検証における解決すべき課題として,厳密な振舞いの仕様の作成と状態爆発の回避があげられる.本稿では,階層的に分割されたシステムに対する網羅性に着目した検証のモデルを提案する.プロセス代数 CSP のモデル検査器 FDR を用いた検証方法と適用事例を提示し,振舞い検証の支援技術について議論する.
- 2010-08-02
著者
-
沢田 篤史
南山大学
-
吉田 敦
和歌山大学システム情報学センター
-
蜂巣 吉成
南山大学数理情報学部
-
野呂 昌満
南山大学数理情報学部
-
張 漢明
南山大学数理情報学部
-
蜂巣 吉成
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
野呂 昌満
南山大学
-
吉田 敦
獨協医科大学臨床検査医学
-
吉田 敦
日本道路公団試験研究所交通環境研究部保全研究室
-
沢田 篤史
京都大学
-
吉田 敦
臨床検査医学,臨床検査部
-
吉田 敦
和歌山大学
-
沢田 篤史
南山大学情報理工学部
-
吉田 敦
南山大学
-
張 漢明
南山大学
-
蜂巣 吉成
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工部
-
吉田 敦
獨協医科大学病院
-
張 漢明
南山大学情報理工学部ソフトウェア工学科
-
蜂巣 吉成
南山大学理工学部ソフトウェア工学科
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- 組込みシステムシンポジウム2006実施報告(シンポジウム/ワークショップ実施報告)
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- ウインターワークショップ2008・イン・道後開催報告
- 4. ソフトウェアエンジニアリング領域(J07-SE)(情報専門学科カリキュラム標準J07)
- 二相XSLT構造を用いたWebボードゲームの設計と実装
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- 携帯電話制御ソフトウェアのアスペクト指向実現(アスペクト指向)
- アスペクト指向ソフトウェアアーキテクチャスタイルの提案(アスペクト指向)
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
- プログラムの構文要素に基づく版管理システムのための差分取得手法
- 軽量下流CASEツール構築のためのソースプログラム表現形式の提案(開発支援環境・自動化技術)
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- リッチクライアントに適したWebアプリケーションフレームワークの提案と実装
- 専用ソフトウェアアーキテクチャ型のモデル化効率の評価
- 4ZC-8 クラス図変形規則集の編簒
- 4ZC-6 オブジェクトクラスタに基づく最適な制御構造の作成規則
- 4ZC-1 制御オブジェクトの役割の解明
- プログラムの正規化に基づいた差分抽出法の提案
- オブジェクト指向開発方法論の初期クラス識別能力の定量的な比較
- ソフトウェア・アーキテクチャの変更容易性の比較・評価
- オブジェクト指向分析における初心者の犯しやすい誤りの分析
- オブジェクト指向モデルの頑健性の研究
- ユースケースに基づくオブジェクト識別法の洗練
- 意味を考慮した差分抽出ツール
- 2.血液培養から分離された肺炎球菌の莢膜血清型と薬剤感受性および臨床背景の検討(一般演題,第35回獨協医学会)
- 血液培養の落とし穴 (特集 ICUにおける感染のトピックス)
- 15.キノロン耐性GBSの疫学的解析ならびに耐性機序の解明(一般演題,第34回獨協医学会)
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- サマーワークショップ・イン・立山 開催報告
- パネル討論 : ネットワークソフトウェアの開発を考える
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウインターワークショップ2008・イン・道後開催報告
- ウィンターワークショップ2006・イン・鴨川参加報告
- 飛行船制御を題材としたプロジェクト型ソフトウェア開発実習
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- 21世紀へのソフトウェア開発技術
- OO'97オブジェクト指向モデリングワークショップ報告
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 「ウィンターワークショップ2007・イン・那覇」開催報告(シンポジウム/ワークショップ実施報告)
- 遅延パーサを用いた軽量なXQuery処理系
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- 特集「オブジェクト指向とWeb技術」の編集にあたって
- ソフトウェア工学は工学足りえるか
- パネル討論 : ソフトウェア新工法へ向けて
- ソフトウェアのモジュール間通信を考慮した信頼度成長モデル(信頼性)
- CASEツール開発のためのソフトウェア操作言語
- 依存関係に基づく差分抽出ツール
- ツ-ルプラットホ-ムとそれを用いた応用プログラム (ソフトウェア工学)
- オブジェクト指向言語のための細粒度システム依存グラフ
- 自律的BOBモデルを用いたTRSの並列分散実行系
- 特集「組込みシステム工学」の編集にあたって
- リポジトリを用いたソフトウェア仕様記述の支援環境
- ブレイクポイント・チェッカーボードプレートによる多剤耐性緑膿菌感染症に対する治療薬選択のためのスコア化による評価
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- 新生児および妊婦褥婦由来B群レンサ球菌の薬剤感受性と血清型 : 多施設共同研究1999年-2009年
- 抽象スレッドに基づくソースプログラムの依存解析の枠組の提案
- 細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 特集「ソフトウェア工学」の編集にあたって
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング演習におけるコーディング状況把握方法の考察
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- 特集「ソフトウェア工学」の編集にあたって
- 特集「ソフトウェア工学」の編集にあたって
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現