軟件安全性測(cè)試與評(píng)估方法研究.pdf

1、隨著計(jì)算機(jī)系統(tǒng)和計(jì)算機(jī)軟件發(fā)展的日新月異，計(jì)算機(jī)軟件已經(jīng)應(yīng)用到很多安全關(guān)鍵系統(tǒng)中。一旦這些系統(tǒng)失效將會(huì)導(dǎo)致生命財(cái)產(chǎn)的重大損失以及環(huán)境可能遭受嚴(yán)重的破壞。與硬件安全性快速提升相比，軟件的安全性已經(jīng)成為制約系統(tǒng)安全性的關(guān)鍵因素，因此，對(duì)安全關(guān)鍵系統(tǒng)中軟件的安全性進(jìn)行測(cè)評(píng)就勢(shì)在必行。
　　 本文從安全性的概念入手，在分析安全性測(cè)評(píng)的特點(diǎn)及難點(diǎn)基礎(chǔ)上，提出了一套安全性測(cè)評(píng)流程。該流程首先要求測(cè)試人員通過(guò)安全性分析獲得安全性需求;之后構(gòu)建

2、安全性測(cè)試剖面，并利用測(cè)試剖面生成測(cè)試用例進(jìn)行測(cè)試;在測(cè)試過(guò)程中收集數(shù)據(jù)，利用安全性評(píng)估方法進(jìn)行評(píng)估。論文具體工作有:
　　 一、根據(jù)Bayesian統(tǒng)計(jì)理論可知安全性測(cè)試所需的測(cè)試用例量非常大，為了提高測(cè)試的效率，本文在統(tǒng)計(jì)測(cè)試的基礎(chǔ)上進(jìn)行改進(jìn)，提出基于安全性測(cè)試剖面的軟件測(cè)試用例生成方法。該方法運(yùn)用故障樹分析技術(shù)，對(duì)各模塊發(fā)生故障對(duì)系統(tǒng)安全性的影響進(jìn)行分析，從而找出影響較大的關(guān)鍵性模塊，然后利用關(guān)鍵模塊及其安全度對(duì)軟件統(tǒng)計(jì)測(cè)

3、試的功能剖面進(jìn)行調(diào)整，從而構(gòu)建安全性測(cè)試剖面，最后根據(jù)安全性測(cè)試剖面生成測(cè)試用例進(jìn)行安全性測(cè)試。
　　 二、可靠性關(guān)注軟件所有的失效，而安全性只關(guān)注那些可能引起災(zāi)難性事故的失效，因此，本文將失效劃分為安全性失效和一般性失效。在此基礎(chǔ)上給出了安全性評(píng)估的指標(biāo)穩(wěn)態(tài)安全度Sss和平均無(wú)危險(xiǎn)失效運(yùn)行時(shí)間MTTUF，提出一個(gè)基于可靠性評(píng)估的安全性評(píng)估方法，并用一組測(cè)試數(shù)據(jù)對(duì)該方法進(jìn)行驗(yàn)證。
　　 三、提出了一個(gè)安全性測(cè)評(píng)流程，涵蓋