基于靜態(tài)代碼分析的日志加強(qiáng)工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、軟件存在故障或者管理問題將會(huì)導(dǎo)致計(jì)算機(jī)系統(tǒng)出現(xiàn)問題。診斷這些項(xiàng)目運(yùn)行問題是一個(gè)重要并且具有挑戰(zhàn)性的任務(wù)。這些問題由于用戶輸入以及文件內(nèi)容的私人性質(zhì)以及很難構(gòu)建一個(gè)完全相同的運(yùn)行環(huán)境等原因?qū)е潞茈y重復(fù)觸發(fā)。診斷程序錯(cuò)誤是非常困難的，一部分是因?yàn)檐浖到y(tǒng)復(fù)雜度比較高，還有一部分是想找到導(dǎo)致程序錯(cuò)誤的原因比較難。有效的錯(cuò)誤診斷工具比較少，是造成這些難題的原因之一。如果對日志信息進(jìn)行加強(qiáng)，那么診斷錯(cuò)誤將會(huì)變得簡單很多。
　　因此，開發(fā)者不

2、得不基于相關(guān)源代碼收集來的日志來診斷程序的錯(cuò)誤。這些診斷需要專業(yè)的知識(shí)并且會(huì)消耗大量的時(shí)間和精力來查找問題根源。為了解決這個(gè)問題，提出了一個(gè)工具，Static Code Analyzer。通過分析靜態(tài)代碼來診斷出路徑的執(zhí)行情況。它不需要重新運(yùn)行程序而且可以得到運(yùn)行失敗的相關(guān)控制流以及數(shù)據(jù)流的信息。它通過日志解析，路徑推斷，數(shù)據(jù)分析三個(gè)步驟來最終找出導(dǎo)致錯(cuò)誤的故障因素。其中，路徑判斷主要通過構(gòu)造控制流的相關(guān)數(shù)據(jù)結(jié)構(gòu)以及生成算法得到對應(yīng)的控

3、制流圖。而數(shù)據(jù)分析則是在得到控制流圖的基礎(chǔ)上，進(jìn)行相關(guān)數(shù)據(jù)的迭代推斷，還包括函數(shù)調(diào)用關(guān)系的處理，最終得到問題的故障的位置。
　　Static Code Analyzer自動(dòng)增強(qiáng)已經(jīng)存在的日志點(diǎn)代碼來幫助未來的錯(cuò)誤調(diào)試。這個(gè)工具能準(zhǔn)確的顯示程序的執(zhí)行路徑，并將分析結(jié)果在后臺(tái)輸出，同時(shí)將增強(qiáng)信息放到日志中。用簡單語句，選擇語句，循環(huán)語句還有函數(shù)調(diào)用相關(guān)測試用例檢驗(yàn)，最終得到了準(zhǔn)確的結(jié)果。用這個(gè)工具來輔助開發(fā)，能極大的縮小潛在失敗的可能