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

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

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