題目：基于模型的Web應(yīng)用測試方法
主講人：上海大學(xué)繆淮扣教授、博士生導(dǎo)師
時間：2015年11月17日（星期二）下午15:00-17:00
地點(diǎn)：雁山校區(qū)大學(xué)生活動中心三樓宣講室（二）
主辦單位：信息科學(xué)與工程學(xué)院

歡迎廣大師生前往參加！

繆淮扣教授簡介：
繆淮扣，男，教授，博士生導(dǎo)師，享受國務(wù)院頒發(fā)的政府特殊津貼的專家。先后主持多項國家自然科學(xué)基金項目和國家863項目。主要從事軟件形式方法、軟件驗證與確認(rèn)、基于模型(規(guī)格說明)的測試用例生成的研究。出版了國內(nèi)第一本介紹形式規(guī)格說明語言Z的著作，開發(fā)了基于連接法的定理證明器、PROLOG語言解釋系統(tǒng)SUST-PROLOG/4361、形式規(guī)格說明語言Z支持系統(tǒng)Z USER Studio和基于模型的Web應(yīng)用測試用例生成工具TCGS4WA等多個軟件系統(tǒng)和工具。發(fā)表論文200余篇，出版著作7部。是ICFEM2002和IEEE/ACIS ICIS2009國際會議的程序委員會主席，IEEE/ACIS ICIS2012國際會議的大會聯(lián)合主席，多次擔(dān)任國際和國內(nèi)學(xué)術(shù)會議的程序委員和分會主席。已培養(yǎng)博士22人，碩士50多人。1990年和2003年獲上海市科技進(jìn)步獎（三等獎）。編寫的教材《數(shù)據(jù)結(jié)構(gòu)-C++實現(xiàn)》獲2015年上海市普通高校優(yōu)秀教材獎。1992年獲國家教委頒發(fā)霍英東教育基金會優(yōu)秀青年教師獎；1999年、2001年兩次獲上海市“育才”獎； 2005年獲寶鋼教育基金優(yōu)秀教師獎。
1992年10月至1995年1月在英國York大學(xué)做訪問學(xué)者。曾任國家教育部計算機(jī)科學(xué)與技術(shù)學(xué)科軟件工程專業(yè)教學(xué)指導(dǎo)委員會委員和中國軟件行業(yè)協(xié)會理事；現(xiàn)為中國計算機(jī)學(xué)會系統(tǒng)軟件專業(yè)委員會會員、上海市學(xué)位委員會第四屆學(xué)科評議組成員、上海大學(xué)校學(xué)術(shù)委員會委員、上海市計算機(jī)軟件評測重點(diǎn)實驗室學(xué)術(shù)委員會副主任。