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