基于行為屬性距離的軟件行為可信評(píng)價(jià).pdf

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

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