報告題目：面向對象軟件的依賴分析與切片計算技術
報告摘要：
如何對面向對象軟件進行依賴分析和切片計算，是軟件工程中的一個經典和實用的問題。依賴模型中的節點層次擴充和依賴類型細化對分析準确性起着關鍵性的作用。我們從面向對象特性出發，圍繞對象、調用、多态、并發等代碼特征進行依賴的細化處理，生成次語句級的精确依賴模型，設計新的面向對象切片準則，并構造相應的前後向切片計算方法。實驗結果表明比傳統方法能夠獲得較高的切片精度及相當的切片效率，并有助于測試排序、程序理解等軟件工程中實際問題的解決。
個人介紹：
王璐璐 副教授博導
研究方向：程序分析和代碼剖析