计算机学院专家讲座

Testing Multithreaded Programs as if They were Sequential

主讲人 : 杨子江（西密西根大学计算机科学系教授）

Developing multithreaded software is challenging because the basic assumption underlies sequential software testing -- the program behavior is deterministic under fixed inputs -- is no longer valid due to the nondeterminism brought by thread scheduling. In this talk, we present a proactive testing approach to restore this basic assumption so that programmers can test multithreaded programs as if they were sequential. Our approach is  d on a synergistic integration of symbolic analysis and dynamic analysis techniques. In particular, symbolic analysis is used to predict program behavior under multiple thread interleavings and drive automated executions further. Dynamic analysis is used to explore executions with new instructions and guide symbolic analysis further. The net effect is a systematic and complete coverage of the program behaviors under a fixed input vector. We haven implemented the proposed method in a software tool. Our experiments show that the new method outperforms both ESBMC and Maple, two state-of-the-art testing tools for multithreaded programs, in terms of efficiency.

欢迎广大老师、同学届时参加，并针对有关问题做现场交流！

---

主讲人简介：

杨子江博士现任西密西根大学计算机科学系教授。他1996年于中国科技大学计算机系获得学士学位，1999年于美国赖斯大学计算机科学系获得硕士学位，2003年于美国宾夕法尼亚大学计算机与信息科学系获得博士学位。杨博士目前主要从事软件测试及验证领域的研究。迄今为止发表了70余篇论文(包括CCF推荐A类论文16篇和B类论文22篇)及十项美国专利。他获得2008年度ACM TODAES 最佳期刊论文奖, 2008年西密西根大学工学院青年学者奖，2010 PADTAD最佳会议论文奖，2015年谷歌计算机 Engagement奖，和2015年西密西根大学工学院研究成就奖。杨子江博士是国际电子电气工程师协会（IEEE）资深会员，并担任过密西根大学电子与计算机科学系访问教授，NEC 公司美国研发中心科研顾问，美国自然科学基金评委，美国宇航局博士后评委，美国能源部科技企业基金评委等职。杨博士将担任2019年IEEE国际软件测试大会ICST共同主席。