靜態(tài)

10007)隨著靜態(tài)軟件的廣泛應(yīng)用，采用靜態(tài)軟件進(jìn)行嵌入式控制和信息處理加工，能夠提高信息化系統(tǒng)管理能力，但是在靜態(tài)軟件應(yīng)用過(guò)程中，容易受到軟件運(yùn)行環(huán)境因素的影響，運(yùn)行過(guò)程中暴露出諸多缺陷。為了進(jìn)一步明確這些缺陷，提升軟件的綜合性能，需要分析靜態(tài)軟件缺陷特征，實(shí)現(xiàn)靜態(tài)軟件缺陷檢測(cè)，提高靜態(tài)軟件的輸出可靠性，相關(guān)的靜態(tài)軟件缺陷檢測(cè)方法的研究受到人們的極大關(guān)注[1]。對(duì)靜態(tài)軟件的源文件可疑度缺陷檢測(cè)是建立在對(duì)軟件的特征分析基礎(chǔ)上[2]，因此本文提出基于源文件可