题目：基于模型的Web应用测试方法
主讲人：上海大学缪淮扣教授、博士生导师
时间：2015年11月17日（星期二）下午15:00-17:00
地点：雁山校区大学生活动中心三楼宣讲室（二）
主办单位：信息科学与工程学院

欢迎广大师生前往参加！

缪淮扣教授简介：
缪淮扣，男，教授，博士生导师，享受国务院颁发的政府特殊津贴的专家。先后主持多项国家自然科学基金项目和国家863项目。主要从事软件形式方法、软件验证与确认、基于模型(规格说明)的测试用例生成的研究。出版了国内第一本介绍形式规格说明语言Z的著作，开发了基于连接法的定理证明器、PROLOG语言解释系统SUST-PROLOG/4361、形式规格说明语言Z支持系统Z USER Studio和基于模型的Web应用测试用例生成工具TCGS4WA等多个软件系统和工具。发表论文200余篇，出版著作7部。是ICFEM2002和IEEE/ACIS ICIS2009国际会议的程序委员会主席，IEEE/ACIS ICIS2012国际会议的大会联合主席，多次担任国际和国内学术会议的程序委员和分会主席。已培养博士22人，硕士50多人。1990年和2003年获上海市科技进步奖（三等奖）。编写的教材《数据结构-C++实现》获2015年上海市普通高校优秀教材奖。1992年获国家教委颁发霍英东教育基金会优秀青年教师奖；1999年、2001年两次获上海市“育才”奖； 2005年获宝钢教育基金优秀教师奖。
1992年10月至1995年1月在英国York大学做访问学者。曾任国家教育部计算机科学与技术学科软件工程专业教学指导委员会委员和中国软件行业协会理事；现为中国计算机学会系统软件专业委员会会员、上海市学位委员会第四届学科评议组成员、上海大学校学术委员会委员、上海市计算机软件评测重点实验室学术委员会副主任。