11月22日，國家杰出青年基金獲得者、中國科學(xué)院軟件研究所張健研究員應(yīng)邀來我校進行學(xué)術(shù)交流，在計算機學(xué)院101學(xué)術(shù)報告廳作了題為“軟件測試與程序分析”的“勷勤論壇”學(xué)術(shù)報告。報告會由計算機學(xué)院副院長蔣運承教授主持，來自計算機學(xué)院和軟件學(xué)院七十多名師生參加了此次報告會。

隨著計算機科學(xué)技術(shù)的日新月異,各種軟件以及程序?qū)映霾桓F，軟件安全能否得到保障？這涉及到軟件測試與程序分析。張健研究員從“軟件錯誤及后果”、“軟件測試”、“靜態(tài)分析”等方面展開主題分享。首先，他通過現(xiàn)實中各類由于軟件錯誤導(dǎo)致行業(yè)損失慘重的翔實案例，直擊軟件錯誤對社會發(fā)展的危害，隨之闡述了程序分析和軟件測試的有效方法，并補充介紹了科研成果評價的相關(guān)知識。

張健研究員是中國科學(xué)院軟件研究所研究員、博士生導(dǎo)師，曾先后獲得中創(chuàng)軟件人才獎、國家杰出青年科學(xué)基金、國務(wù)院政府特殊津貼。他擔任《計算機學(xué)報》、《Journal of Computer Science and Technology》、《Frontiers of Computer Science》、《IEEE Trans. on Reliability》、《計算機科學(xué)與探索》等期刊編委，曾擔任ICSE、VSTTE、IJCAR、CADE、SAT、COMPSAC、FM等60余次重要國際會議程序委員會委員以及國際會議QRS 2015程序委員會主席。