Automated Fault Explanation for Regression Testing

报告人：美国西密西根大学杨子江博士（Dr. Zijiang Yang）

时间：2014年6月16日（星期一）下午2:30

地点：西一楼电信学院第一会议室（344室）

报告摘要：During software development, it is considered good coding practice to conduct regression testing that detects whether new faults have been introduced into the code with previously working functionality. Once a fault is manifested, it is labor-intensive for a programmer to identify the code changes responsible for the faults. In this talk, we present an automated approach to explaining failed regression tests. Given an error-inducing test input, a buggy program, and an earlier correct version, we conduct a symbolic analysis of the faulty execution path starting from the manifested failure while considering the effect of code changes. The analysis report includes the fault-related changes as well as the chain of fault propagation. We have implemented our approach in a tool called AFTER and evaluated it on real program regressions. Our results show that the approach is both efficient and accurate in explaining faults for regression testing.

  杨子江博士现任西密西根大学计算机科学系副教授，密西根大学电子与计算机科学系访问教授，西安交通大学计算机科学系客座教授。他从宾夕法尼亚大学计算机与信息科学系获得博士学位，赖斯大学计算机科学系获得硕士学位，中国科技大学计算机系获得学士学位并获得该校最高荣誉郭沫若奖学金。杨博士主要从事软硬件系统可靠性的研究，例如开发基于形式化方法的平台用于分析复杂并行程序。他迄今为止发表了六十余篇期刊和会议论文，以及十项美国专利。杨博士获得2008 年度ACM TODAES 最佳期刊论文奖，2010 PADTAD 最佳会议论文奖，及2008 年西密西根大学工学院研究成就奖。他是国际电子电气工程师协会（IEEE ）高级会员。