戦略的なグラフ変換演算を用いた関数型プログラムのデバッグ法
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,関数型プログラムのバグ検出アルゴリズムである戦略的射影グラフ最小化(SGM)法を提案する.SGM法は,実行履歴をプログラムの静的な構造に従って射影し,戦略的射影グラフ(SPG)と呼ぶバグの探索空間を生成する.そして,バグの性質や仮説から導かれる戦略に基づいて,プログラマヘの質問の設定,および,SPGに対する変換演算と部分グラフの切り出し(選択)演算の適用を繰り返すことによりバグを検出する.このため,実行履歴のみから探索空間を生成し,それを単純に二分して探索する従来のバグ検出法に比べて,SGM法では,再帰関数を含むプログラムによって大規模な実行履歴が生成された場合でも機械的かつ効率的にバグを検出することができる.本論文では,まず,SPGとその上の演算系を定義し,関数型プログラムのバグの伝播に関する性質に基づいてこれらの演算をSPGに適用することによりバグを検出する方法を示す.さらに,プログラムの構造とバグに関する仮説に基づいてSPGへの変換演算の適用を加えることによって,より効率的なバグ検出が可能となることを具体例とともに示す.
- 社団法人情報処理学会の論文
- 1986-09-15
著者
関連論文
- エージェントコミュニティを利用したP2P型情報検索とその評価(ネットワーク/モバイル/ユビキタス, ソフトウェアエージェントとその応用論文)
- 並列分散オペレーティングシステムCEFOSにおける一括システムコール機構の実装と評価
- 和語動詞の格フレームを利用したサ変名詞の格フレームの獲得
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- マルチエージェントシステムのための基盤ネットワーク構成手法(モバイル/ユビキタス/P2P,ソフトウェアエージェントとその応用論文)
- ユビキタス時代の情報基盤技術論文特集の発行にあたって
- 継続概念による割り込みなし並列I/O処理モデル(継続点)
- スレッドの実動作情報に基づく細粒度マルチスレッド制御法(並行処理(2))
- ユビキタスネットワーク社会を支えるマルチエージェント技術(セッション5 : 招待講演(1))
- ブラウジング支援のためのアクティブブラウジングシステムの提案(意図解析,特集「Web情報処理」及び一般)
- ブラウジング支援のためのアクティブブラウジングシステムの提案 (テーマ:「Web情報処理」および一般発表)
- Zero-Wait方式による多数のI/O要求に対する処理のFuce上での実現と評価(OS-2 : 資源管理,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
- クラスタリングと内部ネットワーク処理を利用した経路制御アルゴリズムに基づくデータ収集の仕組み(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- D-6-4 Fuceプロセッサに搭載するInter-thread Bridge Registerの検討(D-6.コンピュータシステムA(アーキテクチャ),一般講演)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構の評価(リソース制御)
- 継続モデルにデータ要求概念を適用したスレッド駆動制御の提案(最適化技術と並列処理モデル, SHINING 2006 「アーキテクチャとコンパイラの協調および一般」)
- 柔軟なサービス利用とプライベートな情報の保護実現を目指した資源管理空間モデル(プラットフォーム/ツール, ソフトウェアエージェントとその応用論文)
- D-041 エージェントコミュニティを利用したP2P型情報検索の検索精度評価(D分野:データベース)
- C-012 排他的マルチスレッド実行モデルにおける多段なループ処理へのスレッド間パイプライン並列実行方式の適用とその評価(C分野:アーキテクチャ・ハードウェア)
- 4.AI向きアーキテクチャ(AI(人工知能)と画像技術)
- 戦略的なグラフ変換演算を用いた関数型プログラムのデバッグ法
- 並列処理環境における関数型プログラムのデバッグ方式
- 新しいプログラミング・パラダイムによる共通問題の設計
- データフローマシンにおける部分計算(ソフトウェア科学・工学の数理的方法)
- 超高速科学技術計算向きデ-タフロ-プロセッサアレイ計算機のア-キテクチャ
- 超高速科学技術計算向きデ-タフロ-計算機の構成 (デ-タフロ-計算機)
- 継続モデルに基づくスレッドプログラミング手法の提案(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくFuceプロセッサの評価(ARC-5 : 並列処理モデル)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 排他実行マルチスレッド実行モデルに基づくオンチップ・マルチプロセッサの設計(アーキテクチャ一般及びチップマルチプロセッサ)(デザインガイア2003 : VLSI設計の新しい大地を考える研究会)
- FUCEプロセッサにおけるメモリシステムの提案と評価
- マルチスレッドプロセッサにおけるメモリアクセスレイテンシ隠蔽の一手法
- 高バンド幅内部バス構造のオンチップメモリを持つFUCEプロセッサ
- CPSY2000-52 通信と処理との融合を行うFUCEプロセッサの提案
- 継続概念を用いたZero-Wait方式によるOS構成法の提案(OS (1))
- 性能モニタリングカウンタによる一括システムコール機構の評価(OS-2:モニタリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- マルチスレッド実行機構を考慮したプログラム実行制御法(スレッド・プロセス)
- 細粒度マルチスレッド環境でのスケジューリングオーバヘッド低減機構(スレッド・プロセス)
- OSの処理を多く含む並列処理の効率化を指向した一括システムコール機能(システムソフトウェア)
- B-41 並列分散オペレーティングシステムCEFOSにおけるジョブ実行方式と分散共有メモリ機構(リアルタイムと分散共有メモリ,B.ソフトウェア)
- 共有メモリシステム上での細粒度 non-strict データフロー構造データの生産者・消費者間パイプライン実行
- 国際会議の論文募集ファイルからのトピックの抽出とクラスタリング
- マルチエージェント連携基盤 : Field Reactor Model
- ストリーム処理方式を用いた繰越し依存型多重ループの並列展開法
- ユーザフィードバックを利用したACP2P法とその評価(一般,膨大なデータから学ぶもの)
- KODAMA とVPCによるユビキタス環境のためのフレームワークの構築と評価
- マルチエージェント方式によるセキュアでオープンな情報流通ネットワークの構築(アーキテクチャ(1))
- エージェント・プラットフォームを相互運用するためのメッセージ通信プロトコル
- ユビキタスネットワーク社会を支えるマルチエージェント技術(セッション5 : 招待講演(1))
- クラスタリングと内部ネットワーク処理を利用した経路制御アルゴリズムに基づくデータ収集の仕組み(ユビキタスネットワーク,ITS,センサーネットワーク,アドホックネットワーク)
- マルチスレッドプロセッサにおけるメモリアクセスレイテンシ隠蔽の一手法
- 係り受け情報を利用したWeb上の日本語テキスト検索システム
- マルチメディア指向並列計算機KUMP/Dとそのメッセージ処理機構
- 並列分散オペレーティングシステムCEFOSにおける準プリエンプション機能
- 並列分散オペレーティングシステムCEFOSにおける準プリエンプション機能
- 並列分散オペレーティングシステムCEFOSにおける一括システムコール機構の実装と評価
- CPSY2000-57 並列分散オペレーティングシステムCEFOSにおける一括システムコールの機構
- CEFOSオペレーティングシステムのスレッド管理機構
- ハイパコラムモデル : 階層化自己組織マップとネオコグニトロンを統合した画像認識モデル
- エージェントコミュニティを利用したP2P型情報検索
- G-15 異種エージェントシステム間の相互運用(人工知能(エージェント),G.人工知能)
- インターネットとエージェント技術
- 並列分散オペレーティングシステム : CEFOS (Communication-Execution Fusion OS)
- プログラムの抽象動作表現を用いた連想検索法
- FUCEプロセッサにおけるスレッド管理機構
- AAOSAを用いた自然言語インターフェイスAgenTV
- B-017 エージェントによる自律的なコミュニティの生成についての一試み(B分野:ソフトウェア)
- センサ・アドホックネットワークにおけるノード間のセキュリティポリシを用いた自律的アクセス制御 (情報セキュリティ特集) -- (情報漏えい対策技術)
- OSにおける割込み処理のオーバヘッドを軽減する一括割込み処理機構(システムソフトウェア要素技術)(「インタラクション:理論,技術,応用,評価」)
- OSにおける割込み処理のオーバヘッドを軽減する一括割込み処理機構
- 複数の割り込みを一括処理する一括割り込み処理機構
- 複数の割り込みを一括処理する一括割り込み処理機構
- 初等中等教育における情報教育に目を向けよう
- ソフトウェア技術・システム技術,そして学会・・・
- 知的情報処理のア-キテクチャ (知的情報処理) -- (知的情報処理技術)
- FUCEプロセッサにおけるメモリシステムの提案と評価
- 協調的適応型エージェント指向ソフトウェアアーキテクチャを用いたWeb検索システム
- AAOSAを用いた動的内部管理方式 : Web検索システムを例として
- 関数型プログラムの戦略的バグ検出法(コードとデザインを中心とした組合せ数学)
- 分散メモリアーキテクチャ向けFuceランタイムシステムとその上でのストリーム処理の評価
- ロールプレイングゲーム(RPG)のバランスとは何か : 分析およびその調整に関する提案
- ロールプレイングゲーム(RPG)の戦闘におけるバランス自動調整システム開発のための基礎的考察
- 分散メモリシステム上での細粒度non-strictデータフロー構造データの生産者・消費者間パイプライン実行
- EARTHアーキテクチャ上でのデータフロー仮想マシンコードDVMCの実行
- 再帰的非ストリクト構造データ生成の効率化
- 分散オブジェクト指向システムにおける知的トレーダの構築
- システム情報科学研究院における教育活動
- Multithreaded architecture for multimedia processing
- ユーザフィードバックを利用したACP2P法とその評価
- 情報科教育と情報科学 (特集 ユビキタス社会の情報科教育)
- 単語間の係り受け関係を利用したWWW上での日本語テキスト検索システム