2015年5月20日上午上海大学缪淮扣教授来公司做了题为：基于模型的Web应用测试方法的学术报告。  

  缪淮扣(MIAO HUAI KOU)教授，男，1953年7月生于上海，江苏淮阴人。1986年毕业于上海科技大学计算机科学系，获计算机应用工学硕士学位；并继续留校工作。 1987年起任讲师、副教授、教授、博士生导师；1988年至1991年期间任软件教研室党支部书记、软件教研室副主任；1991年 至1998年期间任计算机科学系副系主任；现任上海大学计算机工程与科学公司副经理。
 

    缪淮扣教授1992年10月至1995年1月由国家公派在 英国 York 大学做访问学者。担任中国软件行业协会理事上海市南市区第四届科协常委、上海市南市区计算机学会理事长， 上海市黄浦区第一届 科协常委、上海市黄浦区计算机学会理事长。现任上海大学学术 委员会委员、《应用科学学报》等三个杂志 的编委，是享受政府特殊津贴的专家。

    缪淮扣教授缪淮扣教授擅长人工智能、计算机软件方法、软件工程等。主要学术贡献是逻辑程序设计 、自动推理和软件形式方法等。完成了近20多个国家级和上海市级科研项目。1990年、2003年两次获上海市科技进步三等奖。发表 论文近百篇，出版著作7部。是ICFEM2002国际会议的程序主席，多次担任国际会议的程序委员。已培养博士3人，硕士23人。1992年 获霍英东教育基金会优秀青年教师奖；1991年获上海市高校优秀青年教师称号；1999年、2001年两次获上海市“育才”奖。

会议讨论的简短内容：

1.Web应用，在当今互联网中扮演的角色
2.介绍了基于模型的Web应用测试方法
3.建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术
4.介绍了一个基于模型的Web应用测试系统的设计与实现
总结：主要介绍以FSM作为被测Web应用的形式测试模型，集成了模型转换器。测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具集成的Web应用测试系统。