聂长海

个人简介

主持科研项目

科研获奖情况

国际交流

个人简介

聂长海，博士，副教授。1971年10月生，1994年7月哈尔滨工业大学数学系计算数学及其应用软件专业本科毕业，1996年7月哈尔滨工业大学数学系基础数学专业硕士研究生毕业（泛函分析），1996年9月分配到东南大学数学系担任高等数学以及数学系本科生的计算机基础课程教学工作，并于2004年5月在东南大学计算机科学与工程系获得计算机应用技术工学博士学位，同年由东南大学数学系调入该校计算机系工作。主要研究方向为软件测试技术、软件形式化验证和软件质量。

主持科研项目

1.国家自然科学基金项目，测试用例集优化约简的若干问题研究（在研）

2.江苏省自然科学基金项目：最小测试用例集生成技术研究（在研）

3.东南大学优秀青年教师教学科研资助项目：软件测试方法与技术（在研）

参与科研项目（作为项目骨干）

4.华为科技有限公司合作项目，组合测试数据自动生成工具，2002年结题。

科研获奖情况

1.作为第四完成人参与的项目《程序分析与测试技术研究》（项目组共15人）于2005年1月获得教育部提名国家科学技术进步二等奖；

2.作为第五完成人参与的项目《软件分析度量与测试的基础理论与方法》（项目组共14人）于2006年1月获得教育部提名国家科学奖自然科学奖二等奖；

3.作为第四完成人参与的项目《软件质量保证支撑系统SQAS》（项目组共12人），于2005年获得湖北省科学技术进步一等奖。

国际交流

2005年9月中旬，曾赴德国中部城市爱尔福特参加第二届国际软件质量研讨会，在大会上宣读论文。并与国际著名软件测试领域专家T Y Chen等进行了交流。