沙格灵慈宫资讯网
热点专题 当前位置:首页 > 热点专题 > 正文

美国西密西根大学杨子江教授访问重庆大学计算机学院

2017年4月28日,西密歇根大学的杨紫茳教授应邀参观了计算机学院。 院长沙行勉与杨教授进行了亲切的交流,包括夏云霓在内的几位教授参加了交流。 之后,杨教授在主教学楼的1811年学术报告厅发表了一篇题为"测试多线程程序,就像它们是连续的一样"的学术报告。 报告由夏云霓教授主持。该学院的一些教师和研究生参加了讲座。

杨紫茳博士目前是西密歇根大学的计算机科学教授 1996年获得中国科技大学计算机科学学士学位,1999年获得莱斯大学计算机科学硕士学位,2003年获得宾夕法尼亚大学计算机和信息科学博士学位。 目前,杨博士主要从事软件测试和验证领域的研究。 迄今为止,已发表70多篇论文(包括16篇CCF推荐的甲级论文和22篇乙级论文)和10项美国专利。

在报告中,杨教授从中央处理器的发展入手,阐述了计算机处理器从单核处理器向多核处理器发展的必然性 多线程程序的大规模使用是这一趋势的必然结果。 作为软件工程的重要组成部分,软件测试在面对多线程程序时面临许多挑战。 传统的软件测试方法通常适用于串行程序,这使得传统的软件测试方法和工具难以有效覆盖所有控制过程,不利于潜在问题的发现。然而,在当前程序规模不断扩大的趋势下,用尽所有途径并“猛烈地”测试整个程序显然是不明智的。 为了有效地测试并行程序,杨教授提出了一种新的方法:利用语义识别等方法转换待测代码,引入公式进行逻辑运算,设计优化的用例集 杨教授给我们看了相关实验的结果,我们可以看到臭虫的检出率有了显着的提高。 “”报告发表后,一些学生与杨教授就软件工程,尤其是软件测试相关问题进行了学术交流。杨教授根据他多年的经验一个接一个地给出了仔细的答案。 本次讲座拓宽了学生的学术视野和思维,使他们能够欣赏专业理论和学习的风采,丰富了学生的知识结构。所有参与的老师和学生都觉得他们获得了一些东西。



沙格灵慈宫资讯网 版权所有© www.hotelts.cn 技术支持:沙格灵慈宫资讯网 | 网站地图