快速程序流分析方法的研究與應用.pdf

1、衡量系統實時性的最重要的參數是任務的最壞情況執(zhí)行時間(WCET)。WCET分析的目的在于得到任務執(zhí)行時間的上界約束，這需要綜合考慮系統的軟硬件特征。由于WCET的動態(tài)測量方法不能保證估計結果是安全的，所以現在一般學者都致力于靜態(tài)分析方法的研究。隨著軟件規(guī)模及其復雜性的不斷增長，使得快速地獲得WCET估計值更加困難。 在WCET程序流分析中，本文依據C的語言特點，給出了從抽象語法樹到程序控制流圖的構造，由程序控制流圖到靜態(tài)單賦值形

2、式的轉變。依據靜態(tài)單賦值形式的控制流圖得出數據依賴和數據依賴關系，然后就可以構造程序依賴圖。對程序依賴圖的擴展得到系統依賴圖，利用圖的可達性算法來對程序進行切片。本文還給出了一種不是基于依賴圖的簡單程序切片算法，該算法適合對程序中所有條件語句計算切片。經過程序切片后，采用抽象解釋來自動導出程序流中循環(huán)迭代界限、不可行路徑等約束信息，避免了手工標注。 依據上述給出的程序流分析方法，本文給出了程序流分析工具的設計架構。實驗結果表明，