Traceglasses:欠陥の効率良い発見手法を実現するトレースに基づくデバッガ
スポンサーリンク
概要
- 論文の詳細を見る
現状のデバッグはプログラムの不正な動作を理解するために多くの時間とコストを必要とする.本研究は実行トレースを使った新たな欠陥の発見手法を提案することでデバッグの効率化を図り,トレースに基づく Java のためのデバッガである Traceglasses として実装する.Traceglasses は,プログラムの実行中のイベントを記録したトレースの対話的な表示と検索が可能で,利用者がプログラムの動作を遡って欠陥を発見することを支援する. Traceglasses は,トレースをメソッド呼び出し関係により木構造に変換し,ブレークポイントデバッガに見られるようなステップ操作を行わずに,トレースの表示を行う.また,指定されたオブジェクトに対する操作のみを抽出したトレースを表示できる.これらの特徴により,利用者は,実行順に並んだ膨大なトレースに対して局所的および大域的に,必要な部分だけを理解し,効率良く欠陥を発見できる.Traceglasses の実装は,木構造を持つ膨大なトレースを効率良く探索し表示するために,専用のデータ構造を構築する.本発表では,Traceglasses の実装により実際のテキスト整形プログラムの欠陥をプログラムの出力から遡り発見する事例を説明し,提案した欠陥の発見手法と実装について実用上の有用性を示す.
- 2010-06-16
著者
-
古宮 誠一
芝浦工業大学大学院工学研究科
-
古宮 誠一
芝浦工業大学
-
櫻井 孝平
東京大学大学院総合文化研究科
-
増原 英彦
東京大学大学院理学系研究科情報科学専攻
-
櫻井 孝平
芝浦工業大学大学院工学研究科
-
古宮 誠一
芝浦工業大学大学院 工学研究科
-
増原 英彦
東京大学大学院総合文化研究科
-
増原 英彦
東京大学理学部情報科学科
関連論文
- 制約付き組み合わせ最適化問題としての漢詩推敲課程 (知能ソフトウェア工学)
- プロジェクトの遂行状況を評価するための指標の一考察(プロジェクトの計画と評価)
- ソフトウェア開発演習のためのチーム編成 : PMのタイプを考慮したチーム編成法の評価
- アスペクト指向プログラミングのためのアドバイス適用順序をテストする枠組みの提案
- アスペクト指向プログラミングにおけるアスペクトの単体テスト(組込み・アスペクト指向)
- 連想アスペクト(アスペクト指向)
- 影響波及解析によるボトルネック工程の自動検出とその対策案の自動生成
- ソフトウェア開発計画立案のために調達が必要な要員のプロフィール自動生成機能(ソフトウェア工学)
- 余裕日をも考慮に入れたソフトウェア開発計画の自動立案(開発支援環境・自動化技術,ソフトウェア工学の理論と実践)
- 余裕日をも考慮に入れたソフトウェア開発計画の自動立案(経営や情報技術双方の知識や立場を越えた相互理解を醸成するモデリング及びモデリングフレームワークを研究する)
- インタビューによる要求抽出作業を誘導するシステム : ルールによるインタビュー誘導機能の実現方法(ソフトウェア工学)
- インタビューによる要求抽出作業を誘導するシステム : ルールによるインタビュー誘導機能の実現方法
- 工程遅延発生時におけるファーストトラッキングによる対策案の自動立案(ソフトウェア開発環境・開発支援システム, システム開発論文)
- ダミー割当て可能なソフトウェア開発計画自動立案システム(ソフトウェア開発支援, セマンティックWebとソフトウェア工学, 一般)
- 制約に基づくソフトウェア開発計画自動立案システム : 工程遅延による進捗への影響波及解析(ソフトウェア開発支援, セマンティックWebとソフトウェア工学, 一般)
- 工程遅延発生時における対策案の自動立案 : クラッシング/ファースト・トラッキングによる対策案(開発手法・開発支援)
- 制約に基づくソフトウェア開発計画自動立案システム : システムを実装するための戦略とその評価(開発手法・開発支援)
- 工程遅延発生時におけるファースト・トラッキングによる対策案の自動立案(ソフトウェア開発,映像コンテンツ,ネットワーク)
- ソフトウェア開発計画自動立案システム : システムを実装するための戦略とその評価
- インタビューによるソフトウェア要求抽出システム : インタビューを誘導する方法
- 状況モデルに基づく質問応答システムの提案 : 状態遷移テーブルを用いた状況モデル表現法
- KT法を改良したグループ演習における個人の成績評価方法の提案
- 重要文抽出によるテキストの自動要約 : 人間による重要文か否かの判断のゆらぎに関する実験と分析
- KT法を用いた出荷判定支援システムの提案
- プロジェクト管理者やその支援組織のプロジェクト管理能力を評価するための基準の一考察(Web2.0時代におけるビジネスモデル,一般)
- ソフトウェア開発演習授業のためのチーム編成法 : プロジェクトマネージャとしての適性を評価するためのメトリクスの提案
- 学習者の不得意分野を同定するCAIシステム : 学習者モデルと教授ロジックの提案
- 学習者の不得意分野を同定するCAIシステム : 局面に応じて適切な設問画面を生成する方法
- 人間のテキスト理解モデルに基づくテキスト自動要約手法の提案--状況モデルの構造過程を手掛かりとした重要文抽出
- 改良Kepner-Tregoe法に基づくリスク識別法の提案と有効性の評価(人工知能)
- 5G-6 拡張オーバレイモデルに基づくCAIシステム実現のためのコースウェア自動生成方式の提案(学習活動,一般セッション,コンピュータと人間社会)
- クラス設計における多対多関連の検出とその回避方法(Web2.0時代におけるプロジェクトマネジメント)
- 談話理解モデルに基づく物語における重要文の自動抽出法(ソフトウェア仕様合成,プロジェクト管理とモニタリング,一般)
- ソフトウェア開発演習ためのチーム編成に影響を及ぼす人的要因 : 共分散構造モデルに基づく人的要因の分析(スケジューリング,「Webインテリジェンス」及び一般)
- 「オンライン申請支援ソフトウェア」を用いた電子政府の活性策に関する研究
- 設問の難易度を導入し学習者の不得意分野を客観的に同定するCAIシステム (教育工学)
- 学習の流れに合わせて設問を自動生成するCAIシステム (教育工学)
- Javaプログラムの品質診断ツールとその教育への効果的利用方法 (知能ソフトウェア工学)
- Javaプログラムの品質診断ツールとその教育への効果的利用方法(オープンソースやデバイス技術を活用した学習環境/一般)
- ブロック構造の可視化環境によるプログラミング学習支援(オープンソースやデバイス技術を活用した学習環境/一般)
- PBLへの参加者の成績評価方法--参加者ごとに異なる,課題達成への貢献度を反映した成績評価法の提案 (教育工学)
- ソフトウェア開発演習ためのチーム編成に影響を及ぼす人的要因 : 共分散構造モデルに基づく人的要因の分析(スケジューリング,「Webインテリジェンス」及び一般)
- O-002 デメテルの法則に基づくクラス設計支援 : Eclipse plug-in機能としての実装(O分野:情報システム)
- ソフトウェア開発グループ演習支援システムEtUDE : EtUDEの適用と評価(学生セッション,大学のAI・企業のAI)
- ソフトウェア開発グループ演習支援システムEtUDE : EtUDEの適用と評価(学生セッション,大学のAI・企業のAI)
- 共分散構造分析による人的資源の再配置
- ソフトウェア開発演習のためのチーム編成の最適化支援(一般,学生セッション,一般)
- Traceglasses:欠陥の効率良い発見手法を実現するトレースに基づくデバッガ
- シソーラスを用いた要求分析法
- 要求分析のためのシソーラス作成支援
- 拡張オーバレイモデルによるWeb Based CAIシステム
- モジュール分割を学習するための依存性の解析に基づくツールの開発 (知能ソフトウェア工学)
- 摂動を用いた影響波及解析によるボトルネック工程の自動検出
- 申請手続オントロジを用いた一括申請手続に対する作業計画支援
- PAORE : パッケージ指向の要求獲得プロセス
- オブジェクトの参照構造を探索する単体テストのための表明機構(学生セッション,大学のAI・企業のAI)
- オブジェクトの参照構造を探索する単体テストのための表明機構(学生セッション,大学のAI・企業のAI)
- オブジェクト指向プログラムのためのデバッグ/テスト支援システム : プログラムトレーサー機能について(ソフトウェア開発支援, セマンティックWebとソフトウェア工学, 一般)
- Kepner-Tregoe法の導入によるグループ意思決定支援システム : 意思決定プロセスの改善の提案とシステムの実験(情報システム,ビジネスモデリング及び一般)
- Kepner-Tregoe法の導入によるグループ意思決定支援システム : 意思決定プロセスの改善の提案とシステムの実験(情報システム,ビジネスモデリング及び一般)
- Kepner-Tregoe 法の導入によるグループ意思決定支援システム : 意思決定プロセスの改善の提案とシステムの実験
- XML Webサービスを活用した統計データの提供(ビジネスモデルSI業界での最上流を強くし, 国際競争力をつけることを目的とする)
- Javaプログラムの品質診断ツールとその教育への効果的利用方法
- ブロック構造の可視化によるプログラミング学習支援環境azur 〜関数の動作の可視化〜
- PBL参加者の成績の評価方法-課題達成への貢献度を反映した,参加者ごとに異なる成績を導く方法の提案-
- ET2009-76 PBLへの参加者の成績評価方法 : 参加者ごとに異なる,課題達成への貢献度を反映した成績評価法の提案(学習データの蓄積・分析・共有/一般)
- ソフトウェア開発演習のためのチーム編成 -PMのタイプを考慮したチーム編成法の評価-
- RDB上のXMLビューに対するDOMプログラム実行の効率化手法
- 産能大式事務分析図とアクティビティ図における業務分析の有効性比較
- システム更改時に現行システムと新システムとの要求仕様の差分を聞き出す質問の誘導方法の提案
- インタビューによる要求抽出作業を誘導するシステム : 機能要求を聞き出す質問の誘導方法の提案
- 制約付き組み合わせ最適化問題としての漢詩推敲課程
- ET2009-60 設問の難易度を導入し学習者の不得意分野を客観的に同定するCAIシステム(学習データの蓄積・分析・共有/一般)
- ET2009-59 学習の流れに合わせて設問を自動生成するCAIシステム(学習データの蓄積・分析・共有/一般)
- 事務処理ソフトウェアの設計法学習支援システム
- 物語朗読における句点でのポーズ時間長と聞き手による状況モデル構築との関係について : 優れた語りは聞き手による状況モデルの構築を支援する(テーマセッション : 実・仮想空間の知覚・認知,「実・仮想空間の知覚・認知」及び一般)
- フレーム表現による状況モデルの表現方法の提案と事例(学生セッション,大学のAI・企業のAI)
- フレーム表現による状況モデルの表現方法の提案と事例(学生セッション,大学のAI・企業のAI)
- 物語朗読におけるポーズの自動決定と制御
- 物語自動要約手法の提案 : 談話理解モデルに基づいた重要文抽出(学生セッション 1)
- 物語自動要約手法の提案 : 談話理解モデルに基づいた重要文抽出
- 遺伝的プログラミングによる係り受け関係からの格フレーム辞書自動生成システム
- D-3-11 オブジェクト指向プログラムのためのデバック/テスト支援システム
- ソフトウェア開発グループ演習支援システムEtUDE(一般,学生セッション,一般)
- 部品合成による自動プログラミングシステム(システム,特集「Web情報処理」及び一般)
- 部品合成による自動プログラミングシステム
- 拡張オーバレイモデルへの難易度の導入とその効果
- 工程遅延発生時におけるファースト・トラッキングによる対策案の自動立案(ディジタルエンタープライズモデル)(ディジタルエンタープライズ,及び一般)
- 許認可申請手続における行政手続オントロジーに基づく作業計画支援アプローチ
- ソフトウェア開発プロジェクトのリスクマネジメント : Kepner-Tregoe法によるリスク分析
- Kepner-Tregoe法の問題分析手順 : 詳細手順の提案と認知的視点に基づく有効性の検証
- 拡張オーバレイモデルに基づくCAIシステム : 教授ロジックと教材の作成事例
- NPO と企業の連携に関する一考察(企業から公共, 非営利組織まで, ビジネスモデルからソーシャルモデルへの展開)
- オーバレイモデルの拡張によるWBT型CAIシステム : 学習者の理解状況に基づく教授ロジックの実現(ヒューマンインタフェース技術の教育への利用/一般)
- KT法を用いたソフトウェア開発プロジェクトのリスク分析支援(システム開発法)
- KT法を用いたソフトウェア開発プロジェクトのリスク分析支援(セッション1 : システム開発法)
- エージェントベースシミュレーションを利用した市民活動継続要因の考察(知識協創応用)(知の共有から知の協創へ)
- KT法の導入によるグループ問題解決支援システム : 適用実験によるコーディネータ支援機能の有効性確認(知識協創支援)(知の共有から知の協創へ)
- 意思決定を支援するための論理的思考法の比較 : 実験に基づくKT法の決定分析とAHP法の比較(プロジェクト管理・ソフトウェア管理)
- 質的調査とエージェントべースシミュレーションを利用した市民活動継続要因の考察