|
コード理解，バグ修正の正しさの確認，影響範囲の把握などに役立つため，ソフトウェア工学上，追跡性リンクの確保は非常に重要である．しかし，ソフトウェア開発において追跡性の担保は有用であるが実現が難しい．またもう一つの背景として，ソフトウェア解析は自動で大量のコードを処理可能だが，精度が悪い．また，プログラマの意図は解析できないという問題がある．本研究が目指す，この２つの技術「追跡性リンクの担保」と「ソフトウェア解析」の融合では両者の欠点を補い，解析精度の向上や「プログラマの意図」の保存を可能にする．これはソフトウェア開発の費用の大幅な削減と品質の向上につながるという意味で学術的社会的意義がある．
|
