依存関係解析に基づく開発支援システムへの動的スライス抽出機能の追加
スポンサーリンク
概要
- 論文の詳細を見る
大規模, 複雑なプログラムではデバッグ時に誤りの原因の特定に時間がかかってしまい, 結果としてプログラム開発の効率が悪くなる。このような場合に, 誤りに関係があると思われる部分だけをプログラムから抽出するような機能があれば, 開発者はその部分だけに注目することができる。その結果, プログラム中の誤りの位置を発見する負担を軽減することができ開発効率の向上が期待される。これまでにプログラム文の依存関係に基づいた開発支援システムを試作した。本稿では, このシステムに動的スライスを抽出する機能を追加する事で, 特定の入力におけるプログラムの誤り原因の特定の際に注目するべき文をさらに限定することができ, さらに開発効率の向上が期待できる。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
-
井上 克郎
大阪大学大学院基礎工学研究科情報数理系
-
西松 顯
大阪大学大学院基礎工学研究科
-
西松 顯
大阪大学大学院基礎工学研究科:アールスリーインスティテュート有限会社
-
井上 克郎
大阪大学大学院 情報科学研究科
関連論文
- メソッド抽出の必要性を評価するソフトウェアメトリックスの提案(研究速報)
- ソフトウェアメトリクスとメソッド内の構造を用いたリファクタリング支援手法の提案
- コードクローン検出とその関連技術(ソフトウェア工学)
- UMLモデルを対象としたリファクタリング候補検出の試み
- プログラム理解のための付加注釈DocumentTagの提案(レビュー,品質(学生セッション))
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- ソフトウェア部品の利用関係におけるスケールフリー性の調査
- グラフマイニングアルゴリズムを用いたギャップを含むコードクローン情報の生成(ソフトウェア工学)
- 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- コンポーネントランク法によるソフトウェアクラスタリング結果の理解性向上(テスト技法・保守技術)
- ソフトウェア部品分類手法へのコンポーネントランク法の応用(学生セッション C_開発プロセス)
- メソッド呼び出しパターンとして現れる横断的関心事の検出
- Strutsフレームワークにおけるメタモデルを用いた追跡可能性実現手法の提案(アスペクト指向・Web)
- アスペクトマイニングを自動的に行うツールの提案
- アスペクト指向プログラムのデバッグ支援環境 : プログラムスライスとコールグラフの利用(オブジェクト指向とWeb技術)
- アスペクトを用いた表明の記述(開発支援(学生セッション))
- アスペクト指向プログラミングのプログラムスライス計算への応用(テスト技法・保守技術)
- アスペクト指向プログラムに対するプログラムスライシング
- D-3-4 アスペクト指向プログラミングの動的プログラムスライスへの応用
- Javaソフトウェアの部品グラフにおけるべき乗則の調査(ソフトウェア基礎,プログラム理論)
- 構文木の差分を用いた版管理システム向きマージ機能(システム評価・管理技術)
- プログラム依存グラフの効率的な更新手法
- ソースコード解析ツール開発支援システムの試用
- メタモデルに基づくトレーサビリティ技術の提案
- リビジョン情報と電子メールを用いたオープンソース開発向き情報検索システム
- D-3-9 UMLで記述された設計仕様書からのファンクションポイント計測手法
- 大規模ソースコードを対象としたコードクローンの検出と可視化(ソフトウェアテスト技法・保守技術)
- コードクローンの長さに基づくプログラム盗用確率の実験的算出
- 5.産官学連携によるエンピリカルソフトウェア工学の実践 : データに基づく実証的アプローチ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割
- シーケンシャルパターンマイニングを用いたコーディングパターン抽出
- 実践的ソフトウェア開発演習支援のためのグループ間比較にもとづくプロセスモニタリング環境(教育実践研究論文,学習・教育支援のための技術開発)
- コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作
- 一般的なGUIに適した視線・マウス併用型ターゲット選択方式次世代インタラクションのための情報技術
- 機能実行履歴を用いたソフトウェア利用知識の共有(:知識と情報の共有)
- プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
- ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査
- コメント文によるプログラム中に出現する名詞の説明文生成
- 影響波及解析を利用した保守作業の労力見積りに用いるメトリックスの提案(ソフトウェア工学)
- 保守請負時を対象とした労力見積りのためのメトリクスの提案
- 保守の影響波及範囲に基づいたレガシーシステムの障害予測
- プログラム実行履歴を用いたトランザクションファンクション抽出手法
- 動作オブジェクト群の変化に着目したオブジェクト指向プログラムの実行履歴分割手法
- D-3-5 協調動作するオブジェクト群に着目したJavaプログラムの実行履歴分割手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作(ソフトウェア工学)
- リファクタリングのための変更波及解析を利用したテスト支援ツールの提案
- インラインスクリプトを含んだXHTML文書に対するデータフロー解析を用いた構文検証手法(テスト技法・保守技術)
- D-3-5 XHTML 構文検証手法におけるスクリプト要素の静的解析アルゴリズム
- Java Scriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案(組込みソフトウェア工学及び一般)
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- D-3-5 JavaScriptを含むHTML文書の妥当性検証手法の提案
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション)
- ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案
- アイテムセットマイニングを利用したコードクローン分析作業の効率向上
- UMLモデルを対象としたリファクタリング候補検出の試み
- 多言語対応メトリックス計測プラグイン開発基盤MASUの開発(ソフトウェア工学)
- 事故前提社会に向けたユーザ・ベンダ間での開発データ共有 第2回 : −ソフトウェアタグ規格とソフトウェアタグ支援ツール−
- ユーザ視点に立ったソフトウェア開発データ活用技術の提案(解析・検証(一般セッション))
- コードクローン履歴閲覧環境を用いたクローン評価の試み
- 1Q-5 コーディングパターンとキーワードを用いて生成したコードスニペットの推薦(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 動的情報を利用したソフトウェア部品評価手法
- 動的情報を利用したソフトウェア部品評価手法の提案と評価
- クラス動作シナリオ可視化手法のプログラム理解作業に対する有効性評価
- コードクローン検索による類似不具合検出の実証的評価(ソフトウェア工学)
- 束構造のセキュリティモデルに基づくプログラムの情報フロー解析
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- シーケンシャルパターンマイニングに基づくオブジェクト指向プログラムのための欠陥検出手法
- 利用実績に基づくソフトウェア部品重要度評価システム(ソフトウェア工学)
- ソースコード間の関係を用いた再利用性評価手法の提案
- コードの生存期間を考慮したコードクローンと欠陥修正の関係調査
- 状況に応じた設計情報の再利用を支援するUML図の自動推薦ツール
- 開発中のソースコードに基づくソフトウェア部品の自動推薦システムA-SCORE
- 同時変更が生じた Template Method パターンの適用事例の調査
- ソースコードの編集内容を用いたソフトウェア部品の自動推薦手法(ソフトウェア部品・コーディング支援)
- Data dependency based test case generation for BPEL unit testing (ソフトウェア工学)
- 4Q-5 ソースコードの編集内容を入力としたソフトウェア部品の自動検索(再利用,保守,学生セッション,ソフトウェア科学・工学)
- 1ZK-3 コードクローンのメトリクス値と開発者の相関の調査(リーディングプロジェクト e-society:コードクローン検出によるソフトウェア開発技術,一般セッション,リーディングプロジェクト e-society)
- コードクローン検出技術を用いたLinuxカーネル進化の調査(研究速報)
- 識別子の共起関係に基づく類似コード検索法の提案と欠陥検出への適用
- イベントトレース図に基づく要求仕様書からのファンクションポイント計測手法
- 5ZC-8 要求仕様書からのファンクションポイント計測ツールの改良 : 要求分析ツールREQUARIOで作成された要求仕様書を対象として
- 要求仕様書に対するファンクションポイント計測ツールの試作と評価
- 要求仕様書に対するファンクションポイント計測ツールの試作
- 組込みソフトウェアのテストを目的としたCPUエミュレータ上での異常注入手法
- コードの静的特性を利用したJavaソフトウェア部品類似判定手法(研究速報)
- Javaソフトウェア部品検索システムSPARS-J(ソフトウェア工学)
- ソフトウェア部品推薦のための協調フィルタリング手法の提案と実現
- Javaを対象としたソフトウェア部品検索システムSPARS-Jの実験的評価
- Javaソフトウェア部品解析・検索システムSPARS-Jの構築
- Javaソフトウェア部品解析・検索システムSPARS-Jの構築
- Java ソフトウェア部品解析・検索システム SPARS-J の構築
- 類似度メトリクスを用いたJavaソースコード間類似度測定ツールの試作
- 利用頻度に基づくソフトウェア部品の解析・検索システムの提案
- ソフトウェアシステムの類似度とその計測ツールSMMT
- ソフトウェア開発時における版管理システムを利用したコミュニケーション支援システムの提案
- クローン検出ツールを用いたソフトウェアシステムの類似度調査
- 堆積型ファイルシステムMoraineとメトリクス環境MAMEへの適用