2013 Fiscal Year Annual Research Report
ソフトウェア部品の振舞い特性を用いた欠陥検査の効率化
| Project/Area Number |
23680001
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
石尾 隆 大阪大学, 情報科学研究科, 助教 (60452413)
|
|---|
| Project Period (FY) |
2011-11-18 – 2014-03-31
|
| Keywords | ソフトウェア工学 / データフロー解析 / ソースコード比較 |
|---|
| Research Abstract |
本年度は，昨年度までに開発した手法を実際の開発プロセスに適合させるための拡張と，開発者の行動に関する評価実験，一般的なソースコードに対する有効性を評価するための統計的調査の3つの取り組みを実施し，手法の有効性の向上と確認を行った．
まず，ソフトウェア部品の効果的な検査方法として，昨年度開発したソフトウェア部品の差分を解析する手法を拡張し，複数のソフトウェア製品を相互に比較し，それら製品間の派生関係を可視化する方法の構築を行った．これにより，多数のソフトウェア製品群のソースコードから，相互に類似した製品に含まれるソフトウェア部品をまとめて分析することを可能とした．派生関係の検出精度に改善の余地はあるが，プロジェクト間でバグ修正を共有するなど，企業の開発現場で認識されている問題に近づいた手法へと拡張することができた．
次に，ソフトウェアの検査を行う開発者が未知のソフトウェア部品の機能を正しく認識できるのか，企業の開発者の協力を得て実験を行った．その結果，確認するべきファイルの一覧と機能の名称を与えられた開発者は，ソースコードと機能との関係の有無をある程度の正確さで判断できることを確認した．このことから，異なる製品，部品群が与えられたとしても，開発者がそれらを同時に検査することは可能であると期待できる．
最後に，データフロー解析によるソフトウェア部品の入出力の解析について，任意のソースコードを対象にした場合にどの程度の量の結果が出力されるか，統計的な性質の調査を行った．既存のプログラムスライシング技術で実施されていた評価実験の方式に従って，任意の地点からその入力データを列挙したとき，ソフトウェアのきわめて広範囲から入力を受け取ると判定される場合がまれに起こるものの，多くの場合は開発者が閲覧できる小さな出力を提示できることを確認した．
|
| Current Status of Research Progress |
Reason
25年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
25年度が最終年度であるため、記入しない。
|
