基于行為屬性距離的軟件行為可信評價.pdf

1、軟件是信息產(chǎn)業(yè)的靈魂，隨著人們對功能需求的提高，軟件系統(tǒng)的規(guī)模日趨龐大，缺陷和漏洞難以避免。軟件的可信性是指軟件系統(tǒng)的動態(tài)行為及結(jié)果總是符合預(yù)期目標(biāo)，能適應(yīng)一定環(huán)境和需求因素的變化，具有抵御異常情況的能力，不受偶然的或惡意的原因而破壞，以至遭遇外界干擾時系統(tǒng)仍然能夠保持安全可靠地運行，信息服務(wù)不中斷。然而，由于軟件時常發(fā)生故障或失效，給人們的工作和生活帶來不便，甚至造成巨大的經(jīng)濟(jì)損失。準(zhǔn)確地評價軟件是否可信是軟件系統(tǒng)推廣應(yīng)用的先決條件。

2、
　　 軟件的可信性主要表現(xiàn)在行為可信上，即運行行為可監(jiān)測、行為結(jié)果可評估、異常行為可控制。目前，軟件可信性的評價只限于靜態(tài)流的度量，并不能保證軟件在實際運行也具有同樣的可信性。由于可信性度量及其評價方法存在嚴(yán)重的缺陷，使得軟件產(chǎn)品含有一些已知的或未知的缺陷。為了評價一個軟件的可信性，必須對軟件的運行行為進(jìn)行監(jiān)測和形式化描述，通過行為信息的細(xì)微變化來判別軟件是否是可信的。
　　 為了更加準(zhǔn)確地評價軟件行為的可信性，本文提