美国伊利诺伊大学香槟分校谢涛教授做客实验室

发布时间:[2016-12-21]     来源:     作者:     点击:

为加强员工软件测试理论的学习,进一步提高实验室学术水平,2016年12月12日下午,上海市计算机软件评测重点实验室特邀美国伊利诺伊大学香槟分校计算机科学系的谢涛教授做了一场题为“Advances in Automation for Software Testing”的学术讲座。本次讲座由重点实验室副主任刘振宇主持,并代表实验室全员对谢涛教授的到访表示热烈欢迎。

谢涛教授目前在美国伊利诺伊大学香槟分校计算机科学系担任教授和威利特学院学者,2005年他在华盛顿大学计算机科学与工程系获得博士学位,2000年于北京大学计算机科学与技术学院获得硕士学位。目前其主要从事软件工程的研究,尤其是软件测试、程序分析、软件分析、软件安全、教育软件工程领域的研究。此外,他还是ACM杰出演讲者和IEEE计算机学会杰出访问者,同时也是ACM杰出的科学家。

报告中,谢涛教授首先对PEX进行了分析,并对Pex4Fun、CodeHunt软件测试游戏进行了介绍,接着分析了动态符号执行的原理,引入了软件自动化测试的基本思想。此外,他还对安全测试进行了深入浅出的分析,并将他的研究成果应用到微信测试中的经验与大家进行了分享。报告结束后,谢涛教授与大家就软件工程研究方法、大数据与人工智能、移动应用测试等话题进行了广泛的沟通和交流。


关键字: