摘要:為解決現有的軟件一體化應用軟件平臺在故障診斷方面不能有效描述軟件服務(wù)的語(yǔ)義問(wèn)題,提出一種基于語(yǔ)義的軟件服務(wù)故障自動(dòng)診斷模型。該模型采用語(yǔ)義的方法將故障分為故障標記、指令分析和行為依賴(lài)分析,構建了立語(yǔ)義特征庫;其次利用觀(guān)察掩碼函數的可滿(mǎn)足性挖掘隱性故障的可診斷性,為語(yǔ)義庫模型中每一個(gè)事件狀態(tài)建立索引表,并為所有狀態(tài)標識,實(shí)現基于啟發(fā)函數的語(yǔ)義自動(dòng)診斷機,得到最優(yōu)診斷路徑;最后通過(guò)故障模擬對模型進(jìn)行性能評估。實(shí)驗表明,該模型不僅有效地降低服務(wù)的誤報率,而且網(wǎng)絡(luò )規模對模型的性能影響較小。