程序靜態(tài)分析研究.pdf

1、程序靜態(tài)分析是白盒測試的主要手段，主要用于度量程序復雜度，分析程序是否滿足一定的規(guī)則或標準，分析模塊的結構并發(fā)現結構性錯誤。目前，關于程序靜態(tài)分析的研究仍是軟件工程研究的一個熱點，也已經有一些產品面世。靜態(tài)分析需要更加有效的算法，在程序模型的構造、路徑選擇等方面，需要有更好的策略。國內缺乏相關的成熟產品，目前較集中的研究是對C的靜態(tài)分析。 本文主要根據現有理論成果并結合國外的LDRA(LiverpoolDataResearchA

2、ssociatesLimited)testbed(R)的框架，構造了一個面向C模塊源代碼的靜態(tài)分析工具。用信息流分析方法分析了程序中的變量和語句塊，并證明了一些相關的結論，如無效變量、無效表達式、不合理的判定，死循環(huán)等。同時，在靜態(tài)分析中加入了程序并行成份分析模塊。利用模塊間的耦合關系和變量的使用情況分析了作業(yè)級的程序并行成份，利用變量使用情況和程序分片技術分析了子程序級的程序并行成份。 用信息流分析方法分析程序的語句有助于在執(zhí)