[5-8]A Synergistic Analysis Method for Explaining Failed Regression Tests
文章来源: | 发布时间:2015-04-22 | 【打印】 【关闭】
Title: A Synergistic Analysis Method for Explaining Failed Regression Tests
Speaker: Prof. Zijiang Yang (Western Michigan University, USA)
https://www.cs.wmich.edu/~zijiang/
Time: 8nd May 2015, 10:00
Venue: Seminar Room (334), Level 3, Building 5, Institute of Software, CAS
Abstract: Experience has shown that software updates often introduce new bugs. Therefore, it is good practice to conduct regression testing during software development, which determines whether new bugs have been introduced into the code with previously working functionality. However, detecting these failures is only the first step. The more challenging task is to identify the relevant code changes and explain why these changes lead to the failure.
We propose a new automated debugging method for regression testing based on a synergistic application of both dynamic and semantic analysis. Our method takes a failure-inducing test input, a buggy program, and an earlier correct version of the same program, and computes a minimal set of code changes responsible for the failure, as well as explaining how the code changes lead to the failure. Although this problem has been the subject of intensive research in recent years, existing methods are rarely adopted by developers in practice since they do not produce sufficiently accurate fault explanations for real applications. Our new method is significantly faster and more accurate than existing methods for explaining failed regression tests in real applications, due to its synergistic analysis framework that iteratively applies both dynamic analysis and a constraint solver based semantic analysis to leverage their complementary strengths. We have implemented our new method in a software tool based on the LLVM compiler and the KLEE symbolic virtual machine. Our experiments on Linux applications show that the new method is both efficient and effective in practice. A paper based on this work has been accepted at ICSE’15. This project is in collaboration with Qiuping Yi, Dr. Jian Liu and Dr. Chen Zhao at ISCAS.
简历:杨子江博士现任西密西根大学计算机科学系副教授。他2003年从美国宾夕法尼亚大学计算机与信息科学系获得博士学位,1999年从美国赖斯大学计算机科学系获得硕士学位,1996年中国科技大学计算机系获得学士学位并获得该校最高荣誉郭沫若奖学金。杨子江博士目前主要从事软件测试及验证领域的研究。迄今为止发表了六十余篇论文及十项美国专利。他获得2008年度ACM TODAES 最佳期刊论文奖, 2010 PADTAD最佳会议论文奖,2008年西密西根大学工学院研究成就奖,和2015年谷歌CS Engagement奖。杨子江博士是国际电子电气工程师协会(IEEE)资深会员,并担任过密西根大学电子与计算机科学系访问教授,NEC 公司美国研发中心科研顾问,美国自然科学基金评委,美国宇航局博士后评委,美国能源部科技企业基金评委等职。