通常，產(chǎn)品設(shè)計(jì)時(shí)會(huì)考慮整體流程合規(guī)性和注意事項(xiàng)，但我們必須確保不要忘記產(chǎn)品開發(fā)的驗(yàn)證方面。許多功能安全標(biāo)準(zhǔn)特別指出了除設(shè)計(jì)之外要完成的測(cè)試要求和步驟。同時(shí)，在整個(gè)開發(fā)周期中發(fā)生的所有驗(yàn)證變化中都必須考慮這些因素：純仿真驗(yàn)證，如模型在環(huán)測(cè)試、快速控制原型設(shè)計(jì)、硬件在環(huán)仿真，以及通過(guò)使用測(cè)功機(jī)和環(huán)境室進(jìn)行的純物理測(cè)試。下面一航軟件測(cè)評(píng)中心為大家介紹軟件安全檢測(cè)的那些事。

功能安全標(biāo)準(zhǔn)的背景

       功能安全是指應(yīng)用于嵌入式系統(tǒng)進(jìn)行驗(yàn)證的面向過(guò)程的安全認(rèn)證標(biāo)準(zhǔn)。例如，IEC 61508 是一項(xiàng)眾所周知的功能安全標(biāo)準(zhǔn)，它適用于汽車 (ISO 26262) 和醫(yī)療 (IEC 60601) 等不同行業(yè)，并與航空航天行業(yè)的安全標(biāo)準(zhǔn)（DO-178B 和 DO -254）。除了要求認(rèn)證嵌入式設(shè)備的生命周期流程外，許多標(biāo)準(zhǔn)還列舉了類似的生命周期要求，用于對(duì)要使用的測(cè)試系統(tǒng)進(jìn)行認(rèn)證。

       制造商通過(guò)將功能安全實(shí)踐納入產(chǎn)品生命周期來(lái)管理復(fù)雜系統(tǒng)的開發(fā)。這是通過(guò)風(fēng)險(xiǎn)分析、需求跟蹤以及記錄整個(gè)開發(fā)階段的測(cè)試和代碼分析過(guò)程來(lái)實(shí)現(xiàn)的。

需求管理和功能安全

       有效的、具有成本效益的質(zhì)量和測(cè)試策略必須基于明確定義的要求。需求可幫助您指定產(chǎn)品的確切功能，并保證它經(jīng)過(guò)正確和完整的測(cè)試。需求管理工具使存儲(chǔ)和分析需求的過(guò)程具有成本效益。此外，合規(guī)性標(biāo)準(zhǔn)強(qiáng)調(diào)需要證明較高級(jí)別和較低級(jí)別的要求與產(chǎn)品中要求的實(shí)施之間的聯(lián)系。大多數(shù)工程項(xiàng)目從高級(jí)規(guī)范開始，然后隨著項(xiàng)目的進(jìn)展定義更詳細(xì)的規(guī)范。規(guī)范包含指導(dǎo)產(chǎn)品通過(guò)每個(gè)工程階段的技術(shù)和程序要求。

結(jié)論

       軟件功能安全標(biāo)準(zhǔn)的引入給公司帶來(lái)了許多挑戰(zhàn)。文檔的完整性、系統(tǒng)級(jí)需求的收集和驗(yàn)證、組織變革和流程的有效實(shí)施都可以通過(guò)適當(dāng)?shù)姆椒ㄕ摵屯緩降玫街С?。?yīng)特別注意測(cè)試組件的可重用性和需求的自動(dòng)可追溯性。生命周期管理工具可幫助您跟蹤和原型制作及早整合需求。用于自動(dòng)驗(yàn)證的工具通過(guò)使用認(rèn)證套件幫助組織遵守安全標(biāo)準(zhǔn)。