报告题目：面向对象软件的依赖分析与切片计算技术
报告摘要：
如何对面向对象软件进行依赖分析和切片计算，是软件工程中的一个经典和实用的问题。依赖模型中的节点层次扩充和依赖类型细化对分析准确性起着关键性的作用。我们从面向对象特性出发，围绕对象、调用、多态、并发等代码特征进行依赖的细化处理，生成次语句级的精确依赖模型，设计新的面向对象切片准则，并构造相应的前后向切片计算方法。实验结果表明比传统方法能够获得较高的切片精度及相当的切片效率，并有助于测试排序、程序理解等软件工程中实际问题的解决。
个人介绍：
王璐璐 副教授博导
研究方向：程序分析和代码剖析
