基于程序合約和數(shù)據(jù)流相結(jié)合的軟件故障預(yù)警方法.pdf

1、計(jì)算機(jī)軟件廣泛應(yīng)用于國民經(jīng)濟(jì)的各個方面，而軟件中故障的存在又是不可避免的，提高系統(tǒng)可靠性越來越重要。軟件故障預(yù)警作為提高可靠性的重要技術(shù)，成為越來越受到關(guān)注的話題。故障預(yù)警可以在軟件運(yùn)行過程中故障發(fā)生時(shí)給出警告提示，從而降低損失，給出的提示信息也能夠方便開發(fā)人員后續(xù)維護(hù)。
　　本文的軟件故障預(yù)警方法是在前人研究成果之上開展的。本文在分析對比當(dāng)前幾種熱門軟件預(yù)警方法的基礎(chǔ)上，提出了一種將基于程序合約的預(yù)警方法和基于程序數(shù)據(jù)流的預(yù)警方

2、法相融合的軟件故障預(yù)警方法。該方法依據(jù)程序合約預(yù)警規(guī)則和數(shù)據(jù)流預(yù)警規(guī)則靜態(tài)分析軟件源代碼，從中提取靜態(tài)信息集合作為輸入模型，并將提取的信息以XML文件描述和存儲，進(jìn)而應(yīng)用源代碼插樁技術(shù)對程序源代碼進(jìn)行處理。在基于合約的預(yù)警方法中，首先讀取輸入模型中合約位置信息并將程序合約以注解的形式嵌入到源代碼中，然后自動化生成可以驗(yàn)證是否違反合約的代碼；在基于數(shù)據(jù)流的預(yù)警方法中，讀取輸入模型中數(shù)據(jù)動作信息并將數(shù)據(jù)跟蹤探針嵌入源代碼中，進(jìn)而在程序運(yùn)行過