@techreport{oai:ipsj.ixsq.nii.ac.jp:00226856,
 author = {小泉, 雄太 and 山口, 大輔 and Yuta, Koizumi and Daisuke, Yamaguchi},
 issue = {30},
 month = {Jul},
 note = {ソフトウェア開発においてライブラリは広く利用されており，アップデートによってライブラリを最新に追従させることは重要とされている．ライブラリアップデートによるソフトウェアの動作変化の把握を目的に，変更影響解析がよく用いられるが，ライブラリのコード変更の 1 つである pulled-up/pushed-down method（PUPD）については，既存の変更影響解析手法ではその潜在的な動作変化を検出することができない．本発表では，PUPD について形式的な定義を与え，その上でライブラリアップデート前後のコールグラフの差分から PUPD を検出する手法を提案する．提案手法について現実世界の Java ソフトウェアとライブラリアップデートを対象に提案手法を適用する評価実験を行い，PUPD が実際に起こりうること，提案手法による検出が可能であることを確認した．, Libraries are widely used in software development, and it is important to keep the libraries up-to-date through updates. Change impact analysis is often used to understand changes in software behavior due to library updates. However, the existing change impact analysis techniques miss the pulled-up/pushed-down method (PUPD), which is one of the code and the potential behavior changes. In this paper, we give a formal definition of the PUPD and propose a method to detect the PUPD by the difference between the call graphs before and after the library update. We evaluated experiment to apply the proposal method to Java software and library updates in the real world. We confirmed that the PUPD could actually occur and the proposal method could detect it.},
 title = {コールグラフ差分を用いた，ライブラリアップデートに伴うメソッド呼び出し実体変化の検出},
 year = {2023}
}