基于檢查點(diǎn)風(fēng)險(xiǎn)評(píng)估的軟件行為可信模型.pdf

1、在計(jì)算機(jī)技術(shù)高速發(fā)展的信息時(shí)代，人們?cè)絹碓蕉嗟膶W(xué)習(xí)、工作和生活都在依賴于計(jì)算機(jī)軟件系統(tǒng)的正常運(yùn)行，軟件在現(xiàn)實(shí)社會(huì)中扮演著越來越重要的角色。但是現(xiàn)有的軟件技術(shù)并不能滿足快速增長(zhǎng)的軟件質(zhì)量需求，一旦這些軟件失效，將造成人們生命財(cái)產(chǎn)的嚴(yán)重?fù)p失。隨著Internet技術(shù)的興起和發(fā)展，軟件的開發(fā)、運(yùn)行和維護(hù)也從傳統(tǒng)的封閉發(fā)展為開放、動(dòng)態(tài)和多變。在這種開放的環(huán)境下，如何保證軟件在運(yùn)行時(shí)的可信性，日益成為軟件理論和技術(shù)研究的熱點(diǎn)，軟件的可信性是指軟件

2、的行為、結(jié)果和用戶的預(yù)期是一致的，軟件可信的主要表現(xiàn)是軟件行為可信。
　　 可信是人們?cè)诟鞣N社會(huì)交易活動(dòng)中的重要因素，與風(fēng)險(xiǎn)并稱為做決策的關(guān)鍵，而且風(fēng)險(xiǎn)與可信是對(duì)立的。然而現(xiàn)有的軟件行為可信研究中往往都忽略了風(fēng)險(xiǎn)因素的影響。為了更準(zhǔn)確合理的對(duì)軟件行為進(jìn)行可信性評(píng)價(jià)，提出了基于檢查點(diǎn)風(fēng)險(xiǎn)評(píng)估的軟件行為可信模型（Trust Model of Software Behaviors based on Check Point Risk E