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

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

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