上海大学缪淮扣教授做客桂工讲坛

　　11月17日下午，应学校信息科学与工程学院邀请，上海大学博士生导师缪淮扣教授在雁山校区大学生活动中心三楼二号宣讲室为平博pinnacle注册师生作了题为“基于模型的Web应用测试方法”的学术报告（桂工讲坛第266讲）。报告会由信息学院院长程小辉教授主持，平博pinnacle注册信息学院师生及相关单位人员200余人聆听了报告。
　　Web应用已经深入到各行各业，如何保证Web应用的可靠性和质量，测试就是一种最基本的手段。学术报告会上，缪淮扣教授详细说明了自己提出的基于模型（UML）的Web应用测试方法，包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术，设计并实现一个基于模型的Web应用测试系统，以FSM作为被测Web应用的形式测试模型。报告会气氛热烈，收到了良好的效果。报告会后，缪淮扣教授同现场师生围绕讲座内容进行了互动交流，并认真回答了师生提出的问题。

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

缪淮扣教授作学术报告

报告会现场