引智项目-国际处

受“鼎新北科”计划资助，2014年9月24日下午，应计算机与通信工程学院孙昌爱教授邀请，澳大利亚皇家墨尔本理工大学（RMIT University）刘淮博士来北京科技大学进行为期14天的学术交流与合作。刘淮博士在信息机电楼724作了题为“软件测试：测试用例选择、测试结果验证及其新进展”的学术报告。报告会由孙昌爱老师主持, 60余名师生参加了报告会。

在报告中，刘淮博士首先介绍了自适应随机测试的基本原理及其进展。由于软件失效的测试用例具有群束特性，输入域中两个紧邻的测试用例具有相同的操作行为。适应性随机测试是一种多样性驱动测试用例选择策略，试图通过测试用例在输入域上的随机均匀分布，提高随机测试的故障检测能力。大量的经验研究表明：适应性随机测试能够有效地测试数值型软件。其次，刘淮博士还介绍了一种解决测试预期问题的新技术，称为蜕变测试。蜕变测试通过使用蜕变关系来验证程序的正确性。本次讲座介绍蜕变测试的最新研究进展。最后，刘博士还讨论其课题组在云计算环境下物联网及信息物理系统测试与监控方面的研究进展。报告结束后，在场师生与刘淮博士进行了热烈的讨论与交流。

	+友情链接
	教育部国家留学基金管理委员会国家汉办北京市外国专家局北京市公安局北京市教育委员会北京出入境检验检疫局北京市人民政府外事办公室中国留学服务中心