軟件靜態(tài)分析自動化工具的研究與實現(xiàn).pdf

1、由于在軟件開發(fā)后期發(fā)現(xiàn)錯誤進行修改是早期發(fā)現(xiàn)進行修改所需成本的好多倍，在動態(tài)測試前對軟件進行靜態(tài)分析可以盡早的發(fā)現(xiàn)軟件中的錯誤和缺陷，提高了軟件的質(zhì)量，從而大大提高了開發(fā)后期的評審、測試甚至維護的效率，從總體上縮短軟件開發(fā)時間，降低了開發(fā)成本。 如今軟件規(guī)模越來越大，軟件的復(fù)雜度也越來越高，手工測試變的很困難，另外手工測試要做很多重復(fù)性的勞動，導(dǎo)致手工測試效率低。軟件測試分為靜態(tài)測試和動態(tài)測試，而靜態(tài)分析是靜態(tài)測試的基礎(chǔ)。本文研究自動化

2、的靜態(tài)分析工具，能提高錯誤檢查的效率，降低測試成本。
　　本文研究的自動化靜態(tài)分析工具主要有三個方面的功能：一是對源代碼進行規(guī)范性檢查；二是對源程序的靜態(tài)結(jié)構(gòu)分析；三是對源程序進行代碼度量。對源程序進行靜態(tài)分析，首先要提取出源程序的靜態(tài)信息，根據(jù)提取的靜態(tài)信息，對源程序進行靜態(tài)分析。提取源程序的靜態(tài)信息主要有兩種方式：一是開發(fā)源程序語言的靜態(tài)分析器來提取信息；二是從編譯源程序過程中產(chǎn)生的中間文件中提取源程序的靜態(tài)信息。本文實現(xiàn)的結(jié)