美國伊利諾伊大學(xué)香檳分校謝濤教授做客實(shí)驗室

為加強員工軟件測試理論的學(xué)習，進(jìn)一步提高實(shí)驗室學(xué)術(shù)水平，2016年12月12日下午，上海市計算機軟件評測重點(diǎn)實(shí)驗室特邀美國伊利諾伊大學(xué)香檳分校計算機科學(xué)系的謝濤教授做了一場(chǎng)題為“Advances in Automation for Software Testing”的學(xué)術(shù)講座。本次講座由重點(diǎn)實(shí)驗室副主任劉振宇主持，并代表實(shí)驗室全員對謝濤教授的到訪(fǎng)表示熱烈歡迎。

謝濤教授目前在美國伊利諾伊大學(xué)香檳分校計算機科學(xué)系擔任教授和威利特學(xué)院學(xué)者，2005年他在華盛頓大學(xué)計算機科學(xué)與工程系獲得博士學(xué)位，2000年于北京大學(xué)計算機科學(xué)與技術(shù)學(xué)院獲得碩士學(xué)位。目前其主要從事軟件工程的研究，尤其是軟件測試、程序分析、軟件分析、軟件安全、教育軟件工程領(lǐng)域的研究。此外，他還是ACM杰出演講者和IEEE計算機學(xué)會(huì )杰出訪(fǎng)問(wèn)者，同時(shí)也是ACM杰出的科學(xué)家。

報告中，謝濤教授首先對PEX進(jìn)行了分析，并對Pex4Fun、CodeHunt軟件測試游戲進(jìn)行了介紹，接著(zhù)分析了動(dòng)態(tài)符號執行的原理，引入了軟件自動(dòng)化測試的基本思想。此外，他還對安全測試進(jìn)行了深入淺出的分析，并將他的研究成果應用到微信測試中的經(jīng)驗與大家進(jìn)行了分享。報告結束后，謝濤教授與大家就軟件工程研究方法、大數據與人工智能、移動(dòng)應用測試等話(huà)題進(jìn)行了廣泛的溝通和交流。