パターンに基づくCSP記述の検査に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
モデル検査では,デッドロックや仕様が満たされないことを検出した場合,反例が提示されるが,その原因となるフォールトを特定する作業は困難である.本研究では,プロセス代数CSPを対象として,記述の誤りをパターンとして提示することにより,検証作業の軽減を目指している.本稿では,既知の並行性の性質について典型的なフォールトからフォールトパターンを定義してその有効性について議論する.
- 2011-10-20
著者
-
吉田 敦
和歌山大学システム情報学センター
-
蜂巣 吉成
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
吉田 敦
獨協医科大学臨床検査医学
-
吉田 敦
日本道路公団試験研究所交通環境研究部保全研究室
-
沢田 篤史
京都大学
-
吉田 敦
臨床検査医学,臨床検査部
-
吉田 敦
和歌山大学
-
沢田 篤史
南山大学情報理工学部
-
吉田 敦
南山大学
-
張 漢明
南山大学
-
張 漢明
南山大学情報理工学部
-
蜂巣 吉成
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工学部
-
野呂 昌満
南山大学情報理工部
-
吉田 敦
獨協医科大学病院
-
吉田 敦
南山大学情報理工学部
-
横森 励士
南山大学情報理工学部
-
張 漢明
南山大学情報理工学部ソフトウェア工学科
-
蜂巣 吉成
南山大学理工学部ソフトウェア工学科
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- 二相XSLT構造を用いたWebボードゲームの設計と実装
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- Streptococcus dysgalactiae subsp. equisimilis の遺伝子解析による emm 型別と経口抗菌薬感受性
- 安全装置付き翼状針導入による針刺しに対する効果
- モデル駆動アーキテクチャに基づくホームネットワークサービスの開発支援(学生セッション A_モデル指向(1))
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
- プログラムの構文要素に基づく版管理システムのための差分取得手法
- 軽量下流CASEツール構築のためのソースプログラム表現形式の提案(開発支援環境・自動化技術)
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- リッチクライアントに適したWebアプリケーションフレームワークの提案と実装
- 専用ソフトウェアアーキテクチャ型のモデル化効率の評価
- 4ZC-8 クラス図変形規則集の編簒
- 4ZC-6 オブジェクトクラスタに基づく最適な制御構造の作成規則
- 4ZC-1 制御オブジェクトの役割の解明
- プログラムの正規化に基づいた差分抽出法の提案
- オブジェクト指向開発方法論の初期クラス識別能力の定量的な比較
- ソフトウェア・アーキテクチャの変更容易性の比較・評価
- オブジェクト指向分析における初心者の犯しやすい誤りの分析
- オブジェクト指向モデルの頑健性の研究
- ユースケースに基づくオブジェクト識別法の洗練
- 意味を考慮した差分抽出ツール
- 塗装系防食材の追跡調査に基づく耐久性能評価と付着性能評価手法の提案
- コンクリート構造物の塗装系防食材に関する付着性能評価の研究(建設材料)
- ウォータージェット技術を利用した新旧コンクリート構造物の一体化処理
- ウォータージェット工法を用いたコンクリート構造物のはつり処理技術の検討
- 新旧コンクリートの一体化に関わる表面処理技術の評価
- 2.血液培養から分離された肺炎球菌の莢膜血清型と薬剤感受性および臨床背景の検討(一般演題,第35回獨協医学会)
- 血液培養の落とし穴 (特集 ICUにおける感染のトピックス)
- 15.キノロン耐性GBSの疫学的解析ならびに耐性機序の解明(一般演題,第34回獨協医学会)
- 14.当院におけるICT活動と3年間の成果(一般演題,第34回獨協医学会)
- カルバペネム薬の適正使用に対するICT活動の効果
- 30P1-130 抗菌薬使用におけるICTの介入効果と適正化(医薬品適正使用,医療薬学の扉は開かれた)
- 11.心不全患者におけるBNP値とQTc間隔の検討(一般演題,第33回 獨協医学会)
- アルコールゲル擦式手指消毒薬の殺菌効果の検討
- ヒトサイトメガロウイルスを用いた過酢酸のウイルスゲノムに対する抑制効果の検討
- 44. 当院における基質拡張型βラクタマーゼ(ESBLs)産生菌検出例の検討(第31回獨協医学会発表抄録集)
- 臨床検査室のバイオセーフティを考える
- 有芽胞菌を含めた各種細菌および肝炎ウィルスに対する過酢酸製剤の効果について
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウィンターワークショップ2006・イン・鴨川参加報告
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- 橋梁のコンクリート点検における赤外線画像解析法の実用化 (小特集 保全点検の高度化)
- 赤外線によるコンクリート構造物の点検技術
- 暴露試験と促進試験によるコンクリート塗装材料の性能検討
- CASEツール開発のためのソフトウェア操作言語
- 依存関係に基づく差分抽出ツール
- ツ-ルプラットホ-ムとそれを用いた応用プログラム (ソフトウェア工学)
- オブジェクト指向言語のための細粒度システム依存グラフ
- 自律的BOBモデルを用いたTRSの並列分散実行系
- リポジトリを用いたソフトウェア仕様記述の支援環境
- メンテナンスの最前線から
- コンクリート表面被覆材の耐久性に関する検討
- 橋梁の新材料 (特集 注目すべき土木材料)
- ブレイクポイント・チェッカーボードプレートによる多剤耐性緑膿菌感染症に対する治療薬選択のためのスコア化による評価
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- 新生児および妊婦褥婦由来B群レンサ球菌の薬剤感受性と血清型 : 多施設共同研究1999年-2009年
- 抽象スレッドに基づくソースプログラムの依存解析の枠組の提案
- 細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- プログラミング学習における誤り訂正問題の自動生成方法の提案 (ソフトウェアサイエンス)
- プログラミング学習における誤り訂正問題の自動生成方法の提案 (システム数理と応用)
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- プログラミング演習におけるコーディング状況把握方法の考察
- プログラミング学習における誤り訂正問題の自動生成方法の提案
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現