少ない回数で行える分割検証支援ツールの開発
スポンサーリンク
概要
- 論文の詳細を見る
プログラマは, 多くの時間をデバッグ作業に費やす. 一般的なデバッガは様々な補助を提供するが, 複雑で難しい作業はプログラマが行わなければならない. プログラマは, プログラムを実行させた結果, どの命令が出力された変数の値に影響を与えているか, 制御を決定した変数の値が何であるかを, 見つける必要がある. デバッグ技法の1つに分割検証法がある. ただし, この技法には多くの問題がある. 例えば, 実行履歴が長いと分割回数が増えたり, 分割位置によっては検証しにくい場合があるといったことである, そのため, プログラマにとっては煩わしい. 本研究では, この分割検証法を支援するデバッグツールを紹介する. このツールには, 動的スラィシング技術が用いられている.
- 社団法人情報処理学会の論文
- 2001-06-01
著者
関連論文
- 6M-8 コードクローン間依存関係に基づいたCプログラムのリファクタリング支援(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- シンプルかつ現実的なモデルベース・テストツールの提案(実装,検証,報告)
- ソフトウェア開発プロジェクト,開発組織のアジリティ計測(開発プロセス)
- ユーザモデルと状況を反映させた車載機への広告情報配信システムの構築 : 興味度推定と配信ルールの自動学習(セッション8:データマネージメント)
- 能動学習遠隔授業におけるマルチメディア同期処理方式の考察
- ペン字・書道の次世代遠隔教育システムの設計と文字の自動評価法に関する一考察
- ペン字学習システムのための添削文字データベースの構築法に関する一考察
- 6M-7 ソースコード差分の抽象化による設計変更情報再現支援システムの試作(ソフトウェア開発,学生セッション,ソフトウェア科学・工学)
- 2Q-3 メッセージ制御による分散システムのテスト・デバッグ支援(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- 6N-9 プログラムの構文解析木を対象とするデータマイニングを利用したデバッグ支援システムの開発(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- オンラインレポート添削支援システムにおけるターンアラウンド時間の分析(教育支援,情報教育〜理念・理論・実践〜)
- リファクタリング箇所特定支援のためのパターン記述言語(テスト技法・保守技術)
- N-015 Web技術を用いた実験レポート添削支援システムの開発と評価(N分野:教育・人文科学)
- データの類似性に注目した生活密着型センサアプリケーション開発手法(位置情報とセンサ応用)
- データの類似性に注目した生活密着型センサアプリケーション開発手法
- センサデータからコンテキスト抽出を行うためのビデオ動画を利用したコンテキスト手動付与ツール
- 少ない回数で行える分割検証支援ツールの開発
- 分散プログラム用デバッガDDBにおけるバグ存在範囲の半自動特定法
- 5C-4 Pascal風言語に対するプログラムスライスの並列化
- プログラム変更に対処し易いプログラム依存グラフの一変種
- ベクトル時間を用いた分散プログラム用デバッガの実装について
- 履歴情報を利用したユーザエージェントの構成とそのブラウザへの適用
- 並列マシンへのスライス計算アルゴリズムの実装と時間計算量の比較
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- 実験レポートに対するウェブ・ベース協調添削支援システム
- 版管理を用いた実験レポート添削支援システム(教育支援)
- UHF帯RFIDにおける遅延の影響と対策
- 3Dグラフィックスを用いたバイリンガルな歴史学習システムの開発(マルチメディアアプリケーション)
- ソフトウェア開発の教員主導型PBLにおける反復プロセスとEVM導入の効果
- 1Q-9 キャッシュヒット率向上のためのソースコード自動変換ツールの開発(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- K-037 失敗知識を利用したプログラミング学習における内省支援(教育工学・福祉工学・マルチメディア応用,一般論文)
- 企業における衛星通信利用教育の実践とその評価
- 5ZK-4 プログラミング学習における失敗知識を利用した内省支援(プログラミング教育,学生セッション,コンピュータと人間社会,情報処理学会創立50周年記念)
- 企業内教育におけるモチベーションを高める遠隔教育の実践とその評価
- LDAPディレクトリのためのモデリング言語とディレクトリ管理プログラム自動生成システム
- ユーザモデルと状況を反映させた車載機への広告情報配信システムの構築 : 興味度推定と配信ルールの自動学習(セッション8:データマネージメント)
- 協調学習支援のための共有ホワイトボードの開発と評価
- 共有ホワイトボードを用いた協調学習支援システムの開発
- データの類似性に注目した生活密着型センサアプリケーション開発手法(位置情報とセンサ応用)
- 少ない回数で行える分割検証支援ツールの開発
- プログラム変更に対処し易いプログラム依存グラフの一変種
- B-012 デザインパターン検出のための識別要素の設計(B分野:ソフトウェア,一般論文)
- 能動学習遠隔授業における初心発表者支援ツールの設計
- 能動学習遠隔授業の発表者支援ソフトウェア構築とBluetooth携帯電話・情報端末適応の考察
- 能動学習遠隔授業の発表者支援ソフトウェア構築とBluetooth携帯電話・情報端末適応の考察
- 入出力の観察によるテスト結果を用いたプログラム学習支援システム (次世代情報教育の構築に向けて/一般)
- ジョブ配送システム JAM/JC の構成とプロトタイプ
- 分散システムにおけるジョブ特性を考慮したジョブの配送先決定法の性能評価
- N-020 オンラインレポート添削システムにおけるグループレポート作成時の貢献度把握機構(教育・人文科学,一般論文)
- N-019 GRASPを利用するオブジェクト指向設計学習支援システム(教育・人文科学,一般論文)
- N-018 C言語初学者向けのプログラム動作理解支援のための図作成システム(教育・人文科学,一般論文)
- 6A-3 実プログラミングとプロセス観察による短期技術者診断プログラムの試案(プログラミング教育と開発管理,一般セッション,ソフトウェア科学・工学)
- B-004 プログラムの振る舞いの差異を用いたデバッグ支援(ソフトウェア,一般論文)
- B-003 メソッド呼び出し列の差分に着目したシーケンス図によるデバッグ支援(ソフトウェア,一般論文)
- 3ZC-5 web探索行動に着目したブックマーク収集・共有支援システム(グループ意思決定支援,学生セッション,インターフェース)
- B-027 Javaプログラムからの再利用可能コンポーネントの自動抽出システム(B分野:ソフトウェア)
- LDAPのためのモデリング言語と自動生成システム(セッション3:データベースシステム)
- LDAPのためのモデリング言語と自動生成システム(セッション3:データベースシステム)
- LDAPのためのモデリング言語と自動生成システム
- LDAPのためのモデリング言語と自動生成システム
- N-022 単体テストを用いたJavaプログラミング学習支援ツール(N分野:教育・人文科学)
- B-003 分散ペアプログラミングにおけるコミュニケーションログとコード変更箇所の対応付けによる理解支援(B分野:ソフトウェア)
- 車載端末向け情報選別配信システムにおける到着地推定機構(ITS)(次世代移動体通信システム)
- 車載端末に対する到着地推定を用いた情報選別配信システム(情報選択・配信)
- 3DグラフィックスとXMLを用いた環境学習システムの開発(認知と学習・教育用インタフェース/一般)
- XMLによる地元素材データベースを持つ環境学習システム(モバイルグループウェア,発想支援,XML応用)
- 動的にナビゲーションリンクを生成するオーサリングツール
- (70)能動学習遠隔授業形態におけるPDA・携帯電話の有効活用の一手法(第19セッション インターネット・マルチメティアの利用(I))
- プログラミング演習におけるプログラム共同開発支援
- 能動学習授業の自己管理指導を支援するマルチメディア活用法
- 同期型電子会議へのスムーズな途中参加支援のための一方式(マルチメディアコミュニケーションシステム)
- Web教材の構造化によるナビゲーション機能を有する教材フレームワークの作成
- メッセージ交換による双方向性を高めた遠隔教育システムの試み
- ネットワークにおけるキャラクタ育成ゲームの試作と評価
- ネットワークにおけるキャラクタ育成ゲームの試作と評価
- (68)能動学習授業における自己管理指導とエージェント機能の考察(マルチメディア(I),第17セッション)
- 遠隔教育システムと最新動向について
- 同期コミュニケーションへの途中参加を支援するダイジェスト作成・提供方式
- WWWとメーリングリストを用いた教育システムのための学習者の興味を推測する検索補助機構
- 企業内教育によるIT技術者育成実践とその評価
- (51)マルチメディア活用能動学習授業の客観的成績評価・講評法の一考察(第13セッション 教育開発(III)・CAI(I))
- 非同期電子会議へのスムーズな再参加を支援するための一方式
- 5P-1 リモートペアプログラミング環境におけるコミュニケーション問題への一対処法(プログラミング環境・教育,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 1Q-4 制御フローグラフの編集によるプログラム並列化支援ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- WWWとメールを使った遠隔教育とインターネット活用
- 移動型エージェントと静止型エージェントの特徴について
- 学習管理に着目したWebベース協調学習連携型講義の改善
- ジョブ配送システム JAM/JC における配送エージェントの構成
- インターネットにおけるネットワーク遅延予測の一考察
- 学習意欲の喚起を目指したマルチメディア授業支援システム
- エンドユーザ向け情報ポータル作成システムの提案
- 静岡大学情報学部の取り組み : 特色GPに採択された1学部2学科3プログラム制 (特集 大学教育の質保証)
- クラス図-オブジェクト図間一貫性診断システムの設計と実用モデルへの適用実験
- オブジェクト指向モデリング教育のためのオブジェクト図自動生成システムの設計と評価
- コンパイルエラー修正時間に着目した学習分析指標の提案と内省学習効果分析への適用
- 学習意欲の喚起を目指したマルチメディア授業支援システム
- ビジュアル型言語とテキスト記述型言語の併用によるプログラミング入門教育の試みと成果
- ビジュアル-Java相互変換によるシームレスな言語移行を指向したプログラミング学習環境の提案と評価
- 一貫性・明瞭性診断による静的UMLモデリング学習支援システムの設計と評価
- オブジェクト指向言語におけるポリモーフィズムの概念を理解するためのワークベンチの試作