Speaker

　　聂长海，南京大学

　　Title

　  软件测试的关键问题与方法

　　Time

　　2013.5.9 2:00pm            

　　Venue

　　S1013

　　Abstract

   计算机软件是现代信息技术发展的关键，如何开发高可信高质量的软件已经成为世界范围内的热点问题，其中，软件测试作为软件质量保证必不可少的重要手段，也越来越受到人们的高度重视。软件测试测试的关键问题是如何寻找规模最小的可靠测试用例集，从而提高效率、降低成本。为了解决这一科学问题，40多年来，人们从不同角度、基于不同理论提出很多测试方法，极大地推动和发展了软件测试领域。本次报告不仅简单回顾这些方法，同时，以组合测试方法为典型解剖案例，结合我们在该领域的研究实践，系统介绍组合测试的理论、方法、实证、关键问题及其演化发展，并由此浅谈软件测试领域的共性问题和发展趋势。

　　Affiliation

   聂长海博士，南京大学计算机科学与技术系教授，博士生导师，1994年哈尔滨工业大学数学系计算数学与应用软件专业本科毕业，1996年哈尔滨工业大学数学系基础数学专业硕士研究生毕业，同年分配到东南大学数学系工作。2004年获得东南大学计算机应用专业博士学位, 同年由东南大学数学系转入该校计算机系工作。2007 年12月到2008年11月在英国伦敦国王学院计算机系访问学者一年。2008年11月调入南京大学计算机科学与技术系及南京大学软件新技术国家重点实验室工作，2011年12月晋升为教授。教学上多次主讲过高等数学、计算机操作系统、模糊数学、离散数学、组合数学、软件工程、编译原理、数据结构、算法设计与分析、网络编程和软件测试等十多门课程，基本上覆盖了计算机科学和工科数学的主干课程。研究方向为软件测试技术，已在国内外一级学报和学术会议上发表文章60多篇。主持完成过国家863科技专项、江苏省自然科学基金和多项国家自然科学基金项目，获得过多项软件著作权和发明专利，参与的科技项目多次获得省部级科研奖。