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

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

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