動的データ依存関係解析を用いたJavaプログラムスライス手法
スポンサーリンク
概要
- 論文の詳細を見る
プログラムデバッグを効率よく行うための手法として, プログラムスライスがある.プログラムスライスは一般的に, プログラム文間の制御依存関係およびデータ依存関係を解析することで得られる.また依存関係解析には, 低コストではあるが精度の低い静的解析と, 精度は高いが多大なコストを要する動的解析がある. 本発表では, 近年, ソフトウェア開発環境で多く利用される, Javaを対象としたプログラムスライス手法を提案する.Javaは, オブジェクトへの参照・動的束縛など, 実行時に決定される要素を多数含むため, 静的解析では限界がある.提案手法では, 静的解析と動的解析を組み合わせることにより, スライスの精度を高める.
- 社団法人電子情報通信学会の論文
- 2001-01-16
著者
-
井上 克郎
大阪大学大学院情報科学研究科
-
大畑 文明
(株)東芝
-
井上 克郎
大阪大学大学院基礎工学研究科情報数理系
-
大畑 文明
大阪大学大学院基礎工学研究科
-
廣瀬 航也
大阪大学大学院 基礎工学研究科 情報数理系専攻
-
井上 克郎
大阪大学大学院 情報科学研究科
関連論文
- メソッド抽出の必要性を評価するソフトウェアメトリックスの提案(研究速報)
- ソフトウェアメトリクスとメソッド内の構造を用いたリファクタリング支援手法の提案
- コードクローン検出とその関連技術(ソフトウェア工学)
- UMLモデルを対象としたリファクタリング候補検出の試み
- プログラム理解のための付加注釈DocumentTagの提案(レビュー,品質(学生セッション))
- グラフマイニングアルゴリズムを用いたギャップを含むコードクローン情報の生成 (画像符号化・映像メディア処理レター特集)
- 大阪大学情報科学研究科におけるソフトウェアデザイン工学高度人材育成への取り組み
- ソフトウェア部品の利用関係におけるスケールフリー性の調査
- グラフマイニングアルゴリズムを用いたギャップを含むコードクローン情報の生成(ソフトウェア工学)
- 束構造をもつセキュリティクラスに基づく再帰的プログラムに対する情報フロー解析法
- 開発履歴中のソースコードを対象とした更新の重要度を評価する手法の提案(ソフトウェア工学)
- コンポーネントランク法によるソフトウェアクラスタリング結果の理解性向上(テスト技法・保守技術)
- ソフトウェア部品分類手法へのコンポーネントランク法の応用(学生セッション C_開発プロセス)
- メソッド呼び出しパターンとして現れる横断的関心事の検出
- Strutsフレームワークにおけるメタモデルを用いた追跡可能性実現手法の提案(アスペクト指向・Web)
- アスペクトマイニングを自動的に行うツールの提案
- アスペクト指向プログラムのデバッグ支援環境 : プログラムスライスとコールグラフの利用(オブジェクト指向とWeb技術)
- アスペクト指向プログラムに対するプログラムスライシング
- D-3-4 アスペクト指向プログラミングの動的プログラムスライスへの応用
- Javaソフトウェアの部品グラフにおけるべき乗則の調査(ソフトウェア基礎,プログラム理論)
- 構文木の差分を用いた版管理システム向きマージ機能(システム評価・管理技術)
- プログラム依存グラフの効率的な更新手法
- ソースコード解析ツール開発支援システムの試用
- ソースコード解析システムを用いたプログラム依存グラフ表示ツールの試作
- プログラムスライスの抽出・実行機能を組み込んだデバッグ支援システムの試作
- メタモデルに基づくトレーサビリティ技術の提案
- リビジョン情報と電子メールを用いたオープンソース開発向き情報検索システム
- 分析業務に関する知識を用いた財務分析支援方式(社会・人間系の情報システム)
- D-CCFinder:超大規模ソースコード集合を対象とした分散処理型コードクローン検出・可視化システム
- D-3-9 UMLで記述された設計仕様書からのファンクションポイント計測手法
- 大規模ソースコードを対象としたコードクローンの検出と可視化(ソフトウェアテスト技法・保守技術)
- コードクローンの長さに基づくプログラム盗用確率の実験的算出
- 5.産官学連携によるエンピリカルソフトウェア工学の実践 : データに基づく実証的アプローチ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- 協調動作するオブジェクト群の変化に基づく実行履歴の自動分割
- シーケンシャルパターンマイニングを用いたコーディングパターン抽出
- 実践的ソフトウェア開発演習支援のためのグループ間比較にもとづくプロセスモニタリング環境(教育実践研究論文,学習・教育支援のための技術開発)
- メソッドに用いられる動詞-目的語関係を収録した辞書構築手法の提案
- コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作
- 実証的ソフトウェア工学環境への取り組み
- Empirical Project Monitor : プロセス改善支援を目的とした定量的開発データ自動収集・分析システムの試作
- 一般的なGUIに適した視線・マウス併用型ターゲット選択方式次世代インタラクションのための情報技術
- 機能実行履歴を用いたソフトウェア利用知識の共有(:知識と情報の共有)
- メソッドに用いられる動詞-目的語関係を収録した辞書構築手法の提案
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
- ソフトウェアライセンスがコピーアンドペーストによる再利用に与える影響の調査
- コメント文によるプログラム中に出現する名詞の説明文生成
- 影響波及解析を利用した保守作業の労力見積りに用いるメトリックスの提案(ソフトウェア工学)
- 保守請負時を対象とした労力見積りのためのメトリクスの提案
- 保守の影響波及範囲に基づいたレガシーシステムの障害予測
- 第31回ソフトウェア工学国際会議(ICSE2009)参加報告
- プログラム実行履歴を用いたトランザクションファンクション抽出手法
- 動作オブジェクト群の変化に着目したオブジェクト指向プログラムの実行履歴分割手法
- D-3-5 協調動作するオブジェクト群に着目したJavaプログラムの実行履歴分割手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- ユースケースポイント計測におけるアクタとユースケースの自動分類の試みと支援ツールの試作(ソフトウェア工学)
- リファクタリングのための変更波及解析を利用したテスト支援ツールの提案
- インラインスクリプトを含んだXHTML文書に対するデータフロー解析を用いた構文検証手法(テスト技法・保守技術)
- D-3-5 XHTML 構文検証手法におけるスクリプト要素の静的解析アルゴリズム
- Java Scriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案(組込みソフトウェア工学及び一般)
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- JavaScriptを含んだHTML文書に対するデータフロー解析を用いた構文検証手法の提案
- D-3-5 JavaScriptを含むHTML文書の妥当性検証手法の提案
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション)
- 類似メソッドの集約のための差分抽出支援(フレッシャーズセッション,一般,フレッシャーズセッション)
- ソースコードに対して適用可能な編集手順を探索するリファクタリング支援手法の提案
- アイテムセットマイニングを利用したコードクローン分析作業の効率向上
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- ソースコード中の識別子に基づくカテゴリ階層構築手法(ソースコード分析と可視化)
- デスクトップ検索システムを用いたJavaソフトウェア部品リポジトリの自動更新機能の実現
- 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で作成された要求仕様書を対象として
- 要求仕様書に対するファンクションポイント計測ツールの試作と評価