既存ソフトウェアの適応と発展のためのプログラム変更支援システムの研究

适应和开发现有软件的程序变更支持系统研究

• 批准号: 10139223
• 负责人: 井上 克郎
• 金额: $ 1.28万
• 依托单位: Osaka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas (A)
• 财政年份: 1998
• 资助国家: 日本
• 起止时间: 1998 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-10139223/
• 关键词: プログラムスライス; 依存関係解析; 関数呼び出し; システム; デバッグ

今年度の研究では、主に以下の(1),(2)について実施した。(1) 開発したシステムの有効性の評価:これまでに開発してきたプログラムスライス抽出システムの、フォールト位置特定に対する有効性を実験的に評価した。具体的には,被験者34人をグループGlとG2に分け、Glに含まれる被験者には,スライス情報を含まないプログラムリストのフォールト位置、G2に含まれる被験者には,スライス情報を含むプログラムリストのフォールト位置を特定してもらい、それに要した時間についてGl,G2間で比較を行なった。実験の結果、スライス情報を含むプログラムリストのフォールト位置特定を行なった方が、スライス情報を含まないプログラムリストのフォールト位置特定を行なった場合より効率良くフォールト位置特定が行なえる事が確認できた。(2) 関数呼び出し履歴を利用したプログラムスライスの提案:プログラムを実行して得られるわずかな動的情報と静的な解析とを組み合わせたプログラムスライス抽出技法を提案した。この技法により抽出されたスライスを、コールマークスライス(Call-Mark Slice)と呼ぶ。コールマークスライスの計算時には、まずプログラムのデータ依存関係と制御依存関係はあらかじめ静的に解析し、次にプログラム実行時に手続きと関数の呼び出しの記録を保存する。そして、これらの情報から変数の動的な依存関係を明らかにすることで、従来よりも効果的にスライスを抽出することができる。更に、我々はコールマークスライスを既に開発しているスライシングシステムに実装し、その有効性の評価も行った。

In this year's study, the main topics are as follows: (1), (2). (1) to open the following information: please do not know if there is a specific location where there is a problem. For the specific message, 34 of the recipients registered the Gl

项目成果

西松 顕: "効率と精度を考慮したプログラムスライスの抽出法の提案" 電子情報通信学会技術研究報告. SS98-46. 9-16 (1998)

Akira Nishimatsu：“考虑效率和准确性的程序切片提取方法的提议”IEICE技术研究报告SS98-46（1998）。

西松 顕: "フォールト位置特定におけるプログラムスライスの実験的評価" 電子情報通信学会技術研究報告. SS98-3. 17-24 (1998)

Akira Nishimatsu：“故障定位识别中的程序切片的实验评估”IEICE SS98-3 (1998)。

西松 顕: "保守プロセスに対するプログラムスライスの実験的評価" 電子情報通信学会技術研究報告. SS97-87. 79-86 (1998)

Akira Nishimatsu：“维护过程的程序切片的实验评估”IEICE SS97-87 (1998)。

地平 稔: "関数呼び出し履歴を利用したプログラムスライスの提案と実現" 電子情報通信学会技術研究報告. SS98-7. 9-15 (1998)

Minoru Jihira：“使用函数调用历史进行程序切片的提议和实现”IEICE SS98-7 (1998)。