通常，產(chǎn)品設(shè)計時會考慮整體流程合規(guī)性和注意事項，但我們必須確保不要忘記產(chǎn)品開發(fā)的驗證方面。許多功能安全標(biāo)準(zhǔn)特別指出了除設(shè)計之外要完成的測試要求和步驟。同時，在整個開發(fā)周期中發(fā)生的所有驗證變化中都必須考慮這些因素：純仿真驗證，如模型在環(huán)測試、快速控制原型設(shè)計、硬件在環(huán)仿真，以及通過使用測功機(jī)和環(huán)境室進(jìn)行的純物理測試。下面一航軟件測評中心為大家介紹軟件安全檢測的那些事。
功能安全標(biāo)準(zhǔn)的背景
功能安全是指應(yīng)用于嵌入式系統(tǒng)進(jìn)行驗證的面向過程的安全認(rèn)證標(biāo)準(zhǔn)。例如，IEC 61508 是一項眾所周知的功能安全標(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)還列舉了類似的生命周期要求，用于對要使用的測試系統(tǒng)進(jìn)行認(rèn)證。
制造商通過將功能安全實踐納入產(chǎn)品生命周期來管理復(fù)雜系統(tǒng)的開發(fā)。這是通過風(fēng)險分析、需求跟蹤以及記錄整個開發(fā)階段的測試和代碼分析過程來實現(xiàn)的。
需求管理和功能安全
有效的、具有成本效益的質(zhì)量和測試策略必須基于明確定義的要求。需求可幫助您指定產(chǎn)品的確切功能，并保證它經(jīng)過正確和完整的測試。需求管理工具使存儲和分析需求的過程具有成本效益。此外，合規(guī)性標(biāo)準(zhǔn)強(qiáng)調(diào)需要證明較高級別和較低級別的要求與產(chǎn)品中要求的實施之間的聯(lián)系。大多數(shù)工程項目從高級規(guī)范開始，然后隨著項目的進(jìn)展定義更詳細(xì)的規(guī)范。規(guī)范包含指導(dǎo)產(chǎn)品通過每個工程階段的技術(shù)和程序要求。
結(jié)論
軟件功能安全標(biāo)準(zhǔn)的引入給公司帶來了許多挑戰(zhàn)。文檔的完整性、系統(tǒng)級需求的收集和驗證、組織變革和流程的有效實施都可以通過適當(dāng)?shù)姆椒ㄕ摵屯緩降玫街С帧?yīng)特別注意測試組件的可重用性和需求的自動可追溯性。生命周期管理工具可幫助您跟蹤和原型制作及早整合需求。用于自動驗證的工具通過使用認(rèn)證套件幫助組織遵守安全標(biāo)準(zhǔn)。
