發(fā)布時(shí)間：2019-12-04 20:22

【摘要】：針對(duì)機(jī)載軟件安全性目前存在的問題:(1)往往獨(dú)立于系統(tǒng)去評(píng)估軟件的安全性,無法從系統(tǒng)層面評(píng)估軟件對(duì)系統(tǒng)的風(fēng)險(xiǎn)貢獻(xiàn)度(2)安全性測(cè)試獨(dú)立于安全性分析,難以確保安全性測(cè)試需求的完整性、準(zhǔn)確性(3)安全性測(cè)試框架還未成體系(4)安全性測(cè)試研究中對(duì)測(cè)試資源分配方面的研究相對(duì)較少,且較少從影響軟件安全性的組成部分的危害重要度進(jìn)行測(cè)試資源分配。本文研究了機(jī)載軟件安全性相關(guān)技術(shù),在此基礎(chǔ)上提出新的機(jī)載軟件安全性測(cè)試框架,并對(duì)框架內(nèi)的安全性分析、安全性評(píng)估及測(cè)試策略分配這三點(diǎn)給出了新的方法,一定程度上解決了上述問題。本文主要研究內(nèi)容如下:(1)基于對(duì)現(xiàn)有安全性測(cè)試框架的研究,提出具有一定通用性的機(jī)載軟件安全性測(cè)試框架,框架中將安全性測(cè)試與安全性分析有機(jī)結(jié)合,以保證安全性測(cè)試需求的準(zhǔn)確性和完整性。(2)分析機(jī)載軟件失效原因,提出軟件交互場(chǎng)景模型(SISM)以描述軟件與系統(tǒng)實(shí)體的交互情況。本文通過使用DFM與FTA進(jìn)行安全性分析,提取安全性重要信息以生成側(cè)重安全性描述的SISM,該SISM刻畫了安全性規(guī)范場(chǎng)景、基本場(chǎng)景與軟件行為的對(duì)應(yīng)關(guān)系。根據(jù)規(guī)范場(chǎng)景結(jié)構(gòu)、實(shí)體狀態(tài)在各個(gè)規(guī)范場(chǎng)景中出現(xiàn)頻度,定義了規(guī)范場(chǎng)景結(jié)構(gòu)重要度,它是后續(xù)研究規(guī)范場(chǎng)景合重要度的計(jì)算參數(shù)之一。(3)基于機(jī)載軟件行為的觸發(fā)與與之交互的實(shí)體狀態(tài)有關(guān),提出具有Markov性質(zhì)的單實(shí)體狀態(tài)依賴關(guān)系圖(SECDG),并給出通過SECDG計(jì)算基本場(chǎng)景與規(guī)范場(chǎng)景發(fā)生率的方法。在此基礎(chǔ)上,通過定義啟動(dòng)概率重要度、運(yùn)行概率重要度、啟動(dòng)失效權(quán)重、運(yùn)行失效權(quán)重,并結(jié)合上述結(jié)構(gòu)重要度定義了具有危害重要度性質(zhì)的合重要度,它是后續(xù)測(cè)試策略分配的參數(shù)之一。(4)考慮到系統(tǒng)啟動(dòng)時(shí)失效與運(yùn)行時(shí)失效的后果差異,提出一種安全性評(píng)估方法,該方法能從系統(tǒng)層面評(píng)估軟件對(duì)系統(tǒng)風(fēng)險(xiǎn)的貢獻(xiàn)度。(5)基于合重要度、執(zhí)行率等參數(shù)提出了以風(fēng)險(xiǎn)目標(biāo)作為測(cè)試截止指標(biāo)的動(dòng)態(tài)測(cè)試時(shí)間分配策略。該策略根據(jù)風(fēng)險(xiǎn)目標(biāo)設(shè)置安全可靠度,然后根據(jù)已設(shè)置的安全可靠度及場(chǎng)景合重要度等分配測(cè)試時(shí)間。該方法能保證合重要度越高、安全可靠度越低的場(chǎng)景將分配更多的測(cè)試時(shí)間。本文最后通過一個(gè)例子,說明了上述安全性測(cè)試策略及方法的可行性。
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP311.53

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 劉仁千;張玉中;張超永;;基于源代碼的軟件安全性測(cè)試研究[J];計(jì)算機(jī)安全;2013年08期

2 李昊;田峰敏;;雷達(dá)軟件的安全性測(cè)試研究[J];信息化研究;2011年06期

3 趙躍華;朱媛媛;;基于故障樹分析的軟件安全性測(cè)試研究[J];計(jì)算機(jī)應(yīng)用研究;2013年06期

4 楊廣華;齊璇;施寅生;;基于威脅模型的軟件安全性測(cè)試[J];計(jì)算機(jī)安全;2010年02期

5 王婕;;安全性測(cè)試在應(yīng)用版本中的方法探究[J];中國金融電腦;2011年08期

6 潘號(hào)良;陸新華;汪光一;;如何做好軟件安全性測(cè)試[J];計(jì)算機(jī)安全;2012年12期

7 熊靜;喻鋼;徐中偉;;故障模型驅(qū)動(dòng)的軟件安全性測(cè)試研究[J];計(jì)算機(jī)工程與應(yīng)用;2014年12期

8 雷濤;;安全性測(cè)試保障基金網(wǎng)上交易系統(tǒng)安全運(yùn)行[J];中國金融電腦;2011年11期

9 吳世忠;陳曉樺;;為安全把關(guān)[J];每周電腦報(bào);2000年12期

10 鄧中波;;應(yīng)用服務(wù)器的安全性測(cè)試技術(shù)[J];科學(xué)咨詢(決策管理);2008年08期

相關(guān)會(huì)議論文 前5條

1 陳文放;王清賢;;網(wǎng)絡(luò)協(xié)議安全性測(cè)試系統(tǒng)的研究與設(shè)計(jì)[A];第二十次全國計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2005年

2 孟洛明;;安全性測(cè)試及基于屬性文法的測(cè)試用例生成器[A];第四次全國計(jì)算機(jī)安全技術(shù)交流會(huì)論文集[C];1989年

3 尹黨輝;安豐亮;董超;;談Web應(yīng)用的安全性測(cè)試技術(shù)[A];第十六屆全國青年通信學(xué)術(shù)會(huì)議論文集（上）[C];2011年

4 王建靈;賈憲振;金朋剛;李鴻賓;方學(xué)謙;;炸藥安全性測(cè)試評(píng)估技術(shù)的發(fā)展趨勢(shì)[A];第二屆全國危險(xiǎn)物質(zhì)與安全應(yīng)急技術(shù)研討會(huì)論文集[C];2013年

5 劉小明;徐英;謝俊;;抗菌玻璃的研究與發(fā)展[A];全國第五屆浮法玻璃及深加工玻璃技術(shù)研討會(huì)論文集[C];2003年

相關(guān)重要報(bào)紙文章 前2條

1 特約記者　羅建東 謝銀娣;吐哈油田除隱患“心硬手不軟”[N];中國石油報(bào);2006年

2 高晉;給老年代步車一個(gè)名分[N];人民法院報(bào);2014年

相關(guān)博士學(xué)位論文 前1條

1 杜經(jīng)農(nóng);基于Web的應(yīng)用軟件安全漏洞測(cè)試方法研究[D];華中科技大學(xué);2010年

相關(guān)碩士學(xué)位論文 前10條

1 樊肖繁;管理系統(tǒng)中安全方案的研究與應(yīng)用[D];青島科技大學(xué);2015年

2 姜夢(mèng)霞;機(jī)載軟件的安全性測(cè)試研究[D];南京航空航天大學(xué);2015年

3 朱宗岷;防火墻設(shè)備安全性測(cè)試研究[D];四川大學(xué);2004年

4 張新智;網(wǎng)絡(luò)播放后臺(tái)系統(tǒng)安全性測(cè)試工具的研究與實(shí)現(xiàn)[D];東北大學(xué);2011年

5 黃偉斌;基于模糊測(cè)試技術(shù)的網(wǎng)絡(luò)協(xié)議安全性測(cè)試[D];中山大學(xué);2013年

6 項(xiàng)穎;基于AHP算法的WEB安全性測(cè)試工具的設(shè)計(jì)與實(shí)現(xiàn)[D];青島理工大學(xué);2010年

7 張帆;軟件模糊測(cè)試技術(shù)的研究與應(yīng)用[D];南京理工大學(xué);2011年

8 李瓊;基于遺傳算法的模糊測(cè)試數(shù)據(jù)生成的研究[D];青島大學(xué);2010年

9 王琦;基于對(duì)比環(huán)境的鐵路信號(hào)監(jiān)控軟件安全測(cè)試方法的研究與應(yīng)用[D];合肥工業(yè)大學(xué);2005年

10 陳凌明;Java程序的安全性分析方法研究[D];華中科技大學(xué);2012年

，

本文編號(hào)：2569739