本文關(guān)鍵詞：安全相關(guān)系統(tǒng)嵌入式軟件驗(yàn)證技術(shù)的研究，，由筆耕文化傳播整理發(fā)布。

【摘要】：安全是產(chǎn)品不可或缺的內(nèi)在屬性�，F(xiàn)代社會對自動扶梯的使用越來越頻繁,因此對于設(shè)備質(zhì)量和功能等方面的要求也越來越嚴(yán)格。傳統(tǒng)的自動扶梯在應(yīng)對危險或風(fēng)險時所執(zhí)行的安全功能是由其主控制系統(tǒng)來實(shí)施的。為了進(jìn)一步提高自動扶梯的功能安全性和可靠性,最新的自動扶梯國家標(biāo)準(zhǔn)要求將自動扶梯安全檢測功能與其主控制系統(tǒng)相分離。本文針對自動扶梯可編程電子安全相關(guān)系統(tǒng)的軟件在其軟件生命周期階段開展了相應(yīng)的驗(yàn)證工作,以確保軟件產(chǎn)品能夠達(dá)到規(guī)定的安全完整性等級。將可編程電子安全相關(guān)系統(tǒng)應(yīng)用于自動扶梯之中,滿足了最新標(biāo)準(zhǔn)這一安全性要求,提高了自動扶梯設(shè)備的功能安全性和可靠性,具有一定的實(shí)踐性和探索性。 由于本文驗(yàn)證的對象是基于可編程電子安全相關(guān)系統(tǒng)的軟件,故以最新的功能安全國際標(biāo)準(zhǔn)為參照,基于其安全系統(tǒng)軟件測試模型,選定了相關(guān)的技術(shù)/措施進(jìn)行驗(yàn)證。采用了主流的嵌入式軟件驗(yàn)證工具LDRA Testbed/TBrun,在靜態(tài)測試階段進(jìn)行了編碼規(guī)則的定制和檢查、復(fù)雜度指標(biāo)的多項(xiàng)分析、靜態(tài)數(shù)據(jù)流分析、軟件質(zhì)量結(jié)果報告分析及圖形化顯示分析等多項(xiàng)工作,使得驗(yàn)證工作更加嚴(yán)謹(jǐn),并給出了軟件在各項(xiàng)指標(biāo)下的改進(jìn)建議。動態(tài)測試階段研究了單元測試覆蓋指標(biāo),并研究了最少測試用例數(shù)的設(shè)計,使動態(tài)測試的效率得以提高。經(jīng)過測試過程中生成的數(shù)據(jù)證明,其動態(tài)測試滿足了預(yù)期的實(shí)施效果,有效地達(dá)到了對應(yīng)的軟件安全完整性等級下的覆蓋率指標(biāo)的要求。
【關(guān)鍵詞】：自動扶梯 安全完整性等級 靜態(tài)測試 動態(tài)測試
【學(xué)位授予單位】：華東理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2014
【分類號】：TH236;TP311.53
【目錄】：

• 摘要5-6
• Abstract6-9
• 第1章 緒論9-13
• 1.1 課題研究背景9-10
• 1.2 課題研究意義10
• 1.3 研究現(xiàn)狀分析10-12
• 1.4 研究內(nèi)容介紹12
• 1.5 本文各章節(jié)內(nèi)容組織12-13
• 第2章 安全相關(guān)系統(tǒng)軟件驗(yàn)證標(biāo)準(zhǔn)化研究13-20
• 2.1 IEC 61508使用背景13
• 2.2 IEC 61508國內(nèi)外研究概況13-14
• 2.3 安全相關(guān)系統(tǒng)軟件驗(yàn)證規(guī)范14-19
• 2.3.1 軟件系統(tǒng)性能力和開發(fā)生命周期模型14-15
• 2.3.2 技術(shù)措施的選定15-19
• 2.4 本章小結(jié)19-20
• 第3章 自動扶梯可編程電子安全相關(guān)系統(tǒng)概述20-27
• 3.1 自動扶梯組成結(jié)構(gòu)與工作原理20-21
• 3.2 自動扶梯安全相關(guān)系統(tǒng)21-22
• 3.3 可編程電子安全相關(guān)系統(tǒng)分析22-25
• 3.3.1 系統(tǒng)設(shè)計分析22-23
• 3.3.2 安全功能分析23-25
• 3.3.3 安全要求規(guī)范25
• 3.4 本章小結(jié)25-27
• 第4章 可編程電子安全相關(guān)系統(tǒng)軟件靜態(tài)測試研究27-49
• 4.1 軟件靜態(tài)測試概述27
• 4.2 軟件靜態(tài)測試工具27-28
• 4.3 基本靜態(tài)分析28-32
• 4.3.1 代碼格式化28
• 4.3.2 編碼規(guī)則驗(yàn)證28-32
• 4.4 復(fù)雜度分析32-40
• 4.4.1 控制流圖及節(jié)點(diǎn)分析32-33
• 4.4.2 McCabe圈復(fù)雜度33-36
• 4.4.3 McCabe基本圈復(fù)雜度36-37
• 4.4.4 Halstead軟件科學(xué)度量37-38
• 4.4.5 LCSAJ密度和代碼可達(dá)性38-40
• 4.5 靜態(tài)數(shù)據(jù)流分析40-42
• 4.5.1 函數(shù)調(diào)用信息40
• 4.5.2 數(shù)據(jù)流異常40-42
• 4.6 靜態(tài)質(zhì)量結(jié)果報告42-43
• 4.7 靜態(tài)分析圖形化顯示43-47
• 4.7.1 函數(shù)調(diào)用關(guān)系圖43-44
• 4.7.2 Kiviat圖44-47
• 4.8 靜態(tài)測試報告規(guī)范47
• 4.9 可編程電子安全相關(guān)系統(tǒng)軟件靜態(tài)測試工作總結(jié)47-48
• 4.10 本章小結(jié)48-49
• 第5章 可編程電子安全相關(guān)系統(tǒng)軟件動態(tài)測試研究49-69
• 5.1 單元測試及其覆蓋測試概述49
• 5.2 覆蓋測試研究49-61
• 5.2.1 覆蓋測試的類別49-50
• 5.2.2 最少測試用例數(shù)設(shè)計概述50
• 5.2.3 最少測試用例數(shù)設(shè)計研究50-61
• 5.3 可編程電子安全相關(guān)系統(tǒng)軟件單元測試流程61-68
• 5.3.1 動態(tài)單元測試環(huán)境的建立61-62
• 5.3.2 動態(tài)單元測試62-68
• 5.4 本章小結(jié)68-69
• 第6章 總結(jié)與展望69-71
• 6.1 論文總結(jié)69
• 6.2 工作展望69-71
• 參考文獻(xiàn)71-75
• 致謝75-76
• 攻讀碩士期間發(fā)表的論文76

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 朱昭俊;蔣文丹;蘇賽;;TBrun在單元測試中的應(yīng)用[J];信息安全與技術(shù);2013年02期

2 胡丹瑞;;基于LDRA Testbed的軟件靜態(tài)測試研究與實(shí)現(xiàn)[J];計算機(jī)安全;2012年06期

3 馬雷;;淺談自動扶梯結(jié)構(gòu)及工藝的優(yōu)化方法[J];裝備制造技術(shù);2011年08期

4 王冠;景小寧;王彥軍;;基本路徑測試中的McCabe算法改進(jìn)與應(yīng)用[J];哈爾濱理工大學(xué)學(xué)報;2010年01期

5 呂維梅,劉堅;C程序類型隱式轉(zhuǎn)換漏洞的靜態(tài)檢測[J];計算機(jī)工程與應(yīng)用;2005年11期

6 費(fèi)立蜀;顧慶;陳道蓄;;一種過程定義模型及其驗(yàn)證性分析[J];計算機(jī)科學(xué);2004年01期

7 陳蕊;張廣梅;李曉維;;程序中不可達(dá)路徑的檢測方法[J];計算機(jī)工程;2006年16期

8 段飛雷;吳曉;張凡;董云衛(wèi);;MC/DC最小測試用例集快速生成算法[J];計算機(jī)工程;2009年17期

9 張艷梅;姜淑娟;王慶壇;趙雪峰;;不可達(dá)基路徑的靜態(tài)檢測方法[J];計算機(jī)科學(xué)與探索;2012年02期

10 梅玲霞;張忠林;;軟件測試中基路徑獲取方法的研究[J];蘭州交通大學(xué)學(xué)報;2011年01期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 馮博;軟件安全開發(fā)關(guān)鍵技術(shù)的研究和實(shí)現(xiàn)[D];北京郵電大學(xué);2010年

  本文關(guān)鍵詞：安全相關(guān)系統(tǒng)嵌入式軟件驗(yàn)證技術(shù)的研究，由筆耕文化傳播整理發(fā)布。

本文編號：370317