モデル検査法における詳細化概念の導入によるソフトウェア信頼性担保手法
スポンサーリンク
概要
- 論文の詳細を見る
本研究の目標は,ソフトウェアとその検証過程をあわせた 利用者への提示手法を提案することである. 提案手法を用いると,利用者がソフトウェアに対する信頼性を確認するために, 利用者自身が,開発者が検証したときと同じ過程で再現することが可能になる. 検証手法としては,形式的検証手法の 1 つであるモデル検査法を用いる. ソフトウェア検証におけるモデル検査法は, ソフトウェアの動作モデルが制約条件を満足するかどうかを証明するものである. しかし,ソフトウェアに対して完全なモデルを作ることは困難であるとともに, その検証にも膨大な時間がかかる場合があり, これをそのまま利用者に提供してもモデルの理解や検証を行うことが困難になるという問題がある. 本研究ではこの問題を解決するために, モデル検査法にモデルの詳細化という手法を導入する. モデルの詳細化とは,単純なモデルの生成とその検証から始め, 必要に応じて対話的にモデルを詳細にする手順を繰り返していく手法である. モデルを詳細化する過程は保存されソフトウェアに添付して提示される. これにより,利用者はソフトウェアの検証過程を再現することが可能になる. 提案手法を実証するために, モデルの生成・詳細化・検証を一連の流れの中で行うことができるソフトウェアを実装し, 提案手法が実現可能であることを示した. また,実際に使用してもらうことにより, ソフトウェアの信頼性が向上するという意見が得られた.
- 2011-06-29
著者
関連論文
- 人工知能基本問題研究会(SIG-FPAI)(研究会総覧)
- 層上の再帰性発見によるプログラムの推論 (情報工学専攻創立20周年記念号)
- MusicXMLデータからの頻出フレーズパターンの発見 (「AIを深化させるための基本問題」および一般)
- 内包カーネルと配列分割法を用いたRNA識別
- 包摂関係を利用したカーネル関数を計算するアルゴリズム (テーマ:特集「スキルサイエンス」および一般)
- 特殊化による仮説の融合を用いた分散型知識発見環境の構築
- 特殊化による仮説の融合を用いた分散型知識発見環境の構築(「アクティブマイニング」及び一般)
- 特殊化による仮説の融合を用いた分散型知識発見環境の構築 (知識ベースシステム研究会(第60回) 人工知能基礎論研究会(第52回) 小特集:「データマイニング」および一般)
- 様々な知識発見システムを統一的に利用可能な環境の構築
- 様々な知識発見システムを比較可能にする環境の構築 (特集 HAI(Human-Agent Interaction)および一般発表) -- (一般セッション)
- Herbrandの定理に基づく仮説生成
- 特徴的な最弱仮説の生成について
- グラフ表現された仮説の管理支援手法とその実装 (特集 「知識発見の生命科学への応用」および一般)
- 分散データベースからの頻出飽和アイテム集合の発見 (特集 「知識発見の生命科学への応用」および一般)
- Extracting the structures of open source software programs from their developer mailing lists (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
- 仮説をグラフ表現するReasoning Webモデルの再検討 (特集 「大規模データからの機械学習と自然言語処理への応用」および一般)
- 構造を持つ楽曲データを対象とした質問学習にもとづく楽曲生成(音楽(創作))
- RNA識別における内包カーネルの性質 (「生命情報からの知識発見」及び一般)
- 木文法により圧縮された複数の半構造化文書からの共通頻出木パターンの発見(「自動化:推論,発見,学習,データマイニング」及び一般)
- 単語の出現区間推定を利用した物語構造の抽出(情報抽出,特集「Web情報処理」及び一般)
- 単語の出現区間推定を利用した物語構造の抽出
- RNA配列識別のための内包カーネル関数の設計 (特集 「ウェブマイニング」および一般)
- 区間構造を利用した物語構造の抽出と物語の再生 (特集 「人と技術とAI」および一般)
- 単語の出現区間推定を利用した物語構造の抽出 (テーマ:「Web情報処理」および一般発表)
- 木文法を用いた半構造化文書の圧縮と反単一化(「自動化:推論,発見,学習,データマイニング」及び一般)
- 符号化ダイバージェンスによる2つの集合の異なり具合の定量化(一般講演(符号化・モデル選択,機械学習とその応用)
- RNA配列の二次構造候補の列挙アルゴリズムの改善 (特集 「AIの基本問題SATと応用技術」および一般)
- 人工知能における計算論的学習理論と Noether 環
- 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(「社会システムにおける知能」および一般)
- 妥当な推測を表すためのグラフモデルとそれに基づく仮説構築支援システム(一般,「社会システムにおける知能」および一般)
- 離散量と連続量が混在するデータに対する形式概念分析を用いた半教師あり学習 (特集 「ベイジアン・ネットワーク」および一般)
- The Gray-coding divergence for computational data mining from continuous data (特集 「脳科学と知識処理」および一般)
- An alternative to statistical hypothesis testing based on computational learning theory (特集 「知識発見の生命科学への応用」および一般)
- 代数学・数学基礎論における機械学習(機械学習の科学研究への応用)
- 機械学習の科学研究への応用
- Interpreting learners as realizers for Σ[0]2-measurable functions (extended abstract) (特集 「機械学習の諸科学への応用」および一般)
- 正データからの極限同定における極小言語戦略への精密化の適用(「社会システムにおける知能」および一般)
- 正データからの極限同定における極小言語戦略への精密化の適用(一般,「社会システムにおける知能」および一般)
- Topological properties of concept spaces: extended abstract (特集「知識発見の諸科学への応用」および一般)
- 底節の最小汎化に基づく仮説の発見手法
- スキーマと質問を用いた述語発見による論理プログラムの構成的学習アルゴリズム
- 底節の最小汎化に基づく仮説の発見手法
- 正則な木関係の所属性質問と等価性質問による学習
- 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用 (情報論的学習理論と機械学習)
- 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム (情報論的学習理論と機械学習)
- Noether閉集合族の有限和の学習 (「AIを深化させるための基本問題」および一般)
- 等式プログラミングにおける複雑化を用いた帰納推論
- モデル検査法における詳細化概念の導入によるソフトウェア信頼性担保手法
- 木構造を利用した自然画像の部分領域検索とフラクタル圧縮・マイニングへの応用(離散系と機械学習,テキスト・Webマイニング,一般)
- 符号化ダイバージェンスを用いたクラス分類のためのオンラインアルゴリズム(分類・回帰・クラスタリング,テキスト・Webマイニング,一般)
- ZDDを用いた頻出飽和パターンのプライバシー保護マイニング(離散系と機械学習,テキスト・Webマイニング,一般)
- 質問学習とメタアルゴリズムの組合せによる文字列画像検索(画像処理,テキスト・Webマイニング,一般)
- 完備特徴例集合を用いた言語の有界和の正データからの学習--多項式イデアルから木パターン言語へ (「生命情報からの知識発見」及び一般)
- 計算論理と機械学習の関係への新たなアプローチ(「自動化:推論,発見,学習,データマイニング」及び一般)
- 帰納論理プログラミングの基礎理論とその展開(新しいソフトウェアの実現,サイバー増大号)
- 単純再帰節を用いた導出の逆操作
- 極小多重汎化と評価関数による論理プログラム頭部の推測
- 層状再帰プログラムの帰納推論
- 研究会コミュニティの広がりと相互作用
- 節論理における導出原理に基づく確率推論 (「マルチエージェントの基礎理論とその応用」および一般)
- SATソルバーを用いた帰納論理プログラミング (「マルチエージェントの基礎理論とその応用」および一般)
- 言明を表す論理式間への順序関係付与における形式概念解析の利用 (特集 一般)
- 分割表の独立性に基づく二値データ生成過程の推定法(ポスターセッション,第14回情報論的学習理論ワークショップ)
- 述語項構造から生成されるタプル集合の比較による歴史事件の説明文書評価(社会システムと情報技術)
- 分割表の独立性に基づく二値データ生成過程の推定法
- 出現によるラムダ計算の定義
- EFSコンパイラの基礎的研究