上海大學(xué)繆淮扣教授做客桂工講壇

　　11月17日下午，應(yīng)學(xué)校信息科學(xué)與工程學(xué)院邀請(qǐng)，上海大學(xué)博士生導(dǎo)師繆淮扣教授在雁山校區(qū)大學(xué)生活動(dòng)中心三樓二號(hào)宣講室為我校師生作了題為“基于模型的Web應(yīng)用測(cè)試方法”的學(xué)術(shù)報(bào)告（桂工講壇第266講）。報(bào)告會(huì)由信息學(xué)院院長程小輝教授主持，我校信息學(xué)院師生及相關(guān)單位人員200余人聆聽了報(bào)告。
　　Web應(yīng)用已經(jīng)深入到各行各業(yè)，如何保證Web應(yīng)用的可靠性和質(zhì)量，測(cè)試就是一種最基本的手段。學(xué)術(shù)報(bào)告會(huì)上，繆淮扣教授詳細(xì)說明了自己提出的基于模型（UML）的Web應(yīng)用測(cè)試方法，包括建模、測(cè)試用例生成、測(cè)試用例的執(zhí)行、模型以及測(cè)試用例的可視化等關(guān)鍵技術(shù)，設(shè)計(jì)并實(shí)現(xiàn)一個(gè)基于模型的Web應(yīng)用測(cè)試系統(tǒng)，以FSM作為被測(cè)Web應(yīng)用的形式測(cè)試模型。報(bào)告會(huì)氣氛熱烈，收到了良好的效果。報(bào)告會(huì)后，繆淮扣教授同現(xiàn)場(chǎng)師生圍繞講座內(nèi)容進(jìn)行了互動(dòng)交流，并認(rèn)真回答了師生提出的問題。

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

繆淮扣教授作學(xué)術(shù)報(bào)告

報(bào)告會(huì)現(xiàn)場(chǎng)