上海軟件中心舉辦國際學(xué)術(shù)交流活動(dòng)

——Dependence Guided Symbolic Execution講座

符號執行，即使用符號值代替真實(shí)值執行，是當下軟件工程中熱點(diǎn)的方向之一，在軟件測試等領(lǐng)域有很好的應用前景。符號執行在不執行程序的前提下，用符號值表示程序變量的值，然后模擬程序執行來(lái)進(jìn)行相關(guān)分析的技術(shù)，具有可以分析代碼的所有語(yǔ)義信息，也可以只分析部分語(yǔ)義信息。使用符號執行的方法進(jìn)行分析可以達到很高的路徑覆蓋率，結合約束求解器可以實(shí)現測試用例的自動(dòng)生成。實(shí)際應用中，隨著(zhù)探索的路徑數量隨程序大小的增加而呈指數增長(cháng)，導致符號執行受路徑探索的限制而引起測試開(kāi)銷(xiāo)的巨漲。

針對這一測試領(lǐng)域的問(wèn)題，上海計算機軟件技術(shù)開(kāi)發(fā)中心8月11日特邀美國西密西根大學(xué)計算機科學(xué)系Zijiang James Yang教授做“基于依賴(lài)的符號執行“Dependence Guided Symbolic Execution”的學(xué)術(shù)講座。Zijiang James Yang教授于2003年從美國賓夕法尼亞大學(xué)計算機與信息科學(xué)系獲得博士學(xué)位，主要從事軟件測試及驗證領(lǐng)域的研究，迄今為止發(fā)表了六十余篇論文及十項美國專(zhuān)利，并獲得2008年度ACM TODAES最佳期刊論文獎,2010年P(guān)ADTAD最佳會(huì )議論文獎，2008年西密西根大學(xué)工學(xué)院研究成就獎，和2015年谷歌CS Engagement獎。Yang教授是IEEE資深會(huì )員，并擔任過(guò)密西根大學(xué)電子與計算機科學(xué)系訪(fǎng)問(wèn)教授，NEC公司美國研發(fā)中心科研顧問(wèn)，美國自然科學(xué)基金評委，美國宇航局博士后評委，美國能源部科技企業(yè)基金評委等職。

Zijiang James Yang教授針對符號執行的特點(diǎn)及劣勢提出了一個(gè)新的符號執行方法，他認為檢測故障沒(méi)有必要去窮盡系統的路徑，可通過(guò)預測和消除冗余路徑的基礎上的符號值以減輕路徑爆炸問(wèn)題。講座中針對最新符號執行研究成果進(jìn)行了介紹，通過(guò)引入案例來(lái)指出符號值產(chǎn)生路徑冗余的具體原因；分析了如何在邏輯層面減少路徑冗余的相關(guān)問(wèn)題；通過(guò)對該研究成果的路徑對比和實(shí)際符號執行研究來(lái)得到優(yōu)化技術(shù)，最后在符號值執行的基礎，對具體的案例進(jìn)行分析，實(shí)驗表明，該技術(shù)的實(shí)施需要較少開(kāi)銷(xiāo)以及較好的解決冗余路徑分析問(wèn)題。與會(huì )人員在講座結束后進(jìn)行了深入廣泛的交流，并展開(kāi)了熱烈討論，Yang教授對提出的問(wèn)題作出詳盡的解答。上海軟件中心蔡立志副主任向Yang教授贈予由其親自編著(zhù)的《軟件測試導論》一書(shū)。本次學(xué)術(shù)交流增強了軟件中心的學(xué)術(shù)交流氛圍，擴大了軟件中心的學(xué)術(shù)影響力。