赵建军:多核并发Java程序的测试技术

时间:2011-06-07 16:11责任编辑:admin
赵建军, 上海交通大学 教授。 1982 年考入清华大学计算机系,并于 1987 年获得计算机工程学士学位。 1994 年进入日本国立九州大学计算机系攻读博士学位,并于 1997 年获得计算机科学博士学位。同年开始在日本福冈工业大学计算机系担任讲师。 2000 年晋升为

      赵建军,上海交通大学 教授。

 

      1982年考入清华大学计算机系,并于1987年获得计算机工程学士学位。1994年进入日本国立九州大学计算机系攻读博士学位,并于1997年获得计算机科学博士学位。同年开始在日本福冈工业大学计算机系担任讲师。2000年晋升为副教授。20024月到20033月在美国麻省理工学院计算机科学实验室(MIT Laboratory for Computer Science)作访问教授一年。200511月起在上海交通大学电子信息与电气工程学院计算机科学与工程系及软件学院任教授。主要研究领域包括高可靠性软件系统的构建、软件体系结构、软件系统的测试、分析与验证、程序语言与系统、以及软件系统的验证等。根据Google Scholar的统计,赵建军的学术成果已被教科书、学术专著、学术论文、博士论文、以及硕士论文等他引1000余次。申请人在软件体系结构的复杂性度量方面的研究成果已被收录在R. S. Pressman所著的著名软件工程教科书 (Software Engineering A Practitioners Approach, McFraw-Hill)中并有专节论述。

 

       报告题目:多核并发Java程序的测试技术-赵建军

 

   报告摘要:该研究对并发程序的测试及其缺陷检出技术进行研究,特别是对于多线程JAVA程序,提出了基于调度方法的主动测试,从而来检测串行化问题。研究分析主动测试存在随机性的问题,使用静态分析来检测可能存在缺陷的调度,并通过测试方法来检测存在缺陷调度。

------分隔线----------------------------

上海计算机软件技术开发中心 © 版权所有 沪公网安备 31011202012394号  沪ICP备14033306号-2