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

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

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