講座主題：軟件測試與分析
專家姓名：張健
工作單位：中國科學(xué)院軟件研究所
講座時間：2023年7月7日 15:00-16:00
講座地點：計算機與控制工程學(xué)院6205
主辦單位：煙臺大學(xué)計算機與控制工程學(xué)院
內(nèi)容摘要：
軟件測試與分析是保障軟件質(zhì)量的重要手段。本報告將介紹我們在軟件測試自動化以及程序靜態(tài)分析方面的一些工作，特別是基于符號執(zhí)行,、約束求解的技術(shù),，也包括組合測試等黑盒方法，以及我們在一些重要軟件中找到的缺陷,。
主講人介紹：
張健,，中國科學(xué)院軟件所研究員。主要研究興趣包括：自動推理,、約束求解,、軟件測試與分析。曾任國家自然科學(xué)基金委員會“可信軟件基礎(chǔ)研究”重大研究計劃學(xué)術(shù)指導(dǎo)專家組成員,。曾獲得國家杰出青年科學(xué)基金,、中創(chuàng)軟件人才獎、國務(wù)院政府特殊津貼,、中國計算機學(xué)會自然科學(xué)一等獎等榮譽,。目前擔(dān)任《計算機學(xué)報》，Journal of Computer Science and Technology, Frontiers of Computer Science, IEEE Transactions on Reliability,《計算機科學(xué)與探索》編委,。
