◇BP.06.03控制保證證據(jù)

安全保證證據(jù)通過與所有安全工程過程區(qū)域相互配合進(jìn)行收集，以便識(shí)別出不同抽象層面的證據(jù)。該證據(jù)受到控制，以確保與現(xiàn)有工作產(chǎn)品的通用性和與安全保證目標(biāo)的關(guān)聯(lián)性。

保證工作產(chǎn)品可以從系統(tǒng)、體系結(jié)構(gòu)、設(shè)計(jì)、實(shí)現(xiàn)、工程進(jìn)程、物理開發(fā)環(huán)境和物理運(yùn)行環(huán)境中開發(fā)出來。

工作產(chǎn)品示例：安全保證證據(jù)倉(cāng)庫(kù)（例如，數(shù)據(jù)、工程筆記本、測(cè)試結(jié)果、證據(jù)日志記錄）——存儲(chǔ)開發(fā)、測(cè)試和使用期間產(chǎn)生的所有證據(jù)，可以采用數(shù)據(jù)庫(kù)、工程筆記、測(cè)試結(jié)果或證據(jù)日志記錄的形式。

◇BP.06.04分析證據(jù)

引人保證證據(jù)分析，是為收集起來的滿足安全目標(biāo)進(jìn)而滿足用戶安全需求的證據(jù)提供可信性。保證證據(jù)的分析決定了系統(tǒng)安全工程和安全驗(yàn)證過程是否充分和足夠完善，以便做出安全特性和安全機(jī)制是否令人滿意地實(shí)現(xiàn)的結(jié)論。此外，對(duì)保證證據(jù)的分析，保證了工程產(chǎn)品相對(duì)于基線系統(tǒng)是完善和正確的。當(dāng)保證證據(jù)不充分或不足夠的情況下，本分析可能導(dǎo)致對(duì)支持安全目標(biāo)的系統(tǒng)、安全工作產(chǎn)品和過程進(jìn)行必要的修訂。

工作產(chǎn)品示例：保證證據(jù)分析結(jié)果——識(shí)別和概述論據(jù)倉(cāng)庫(kù)中證據(jù)的強(qiáng)弱程度。

需要注意的是，某些保證證據(jù)只能從合并其它系統(tǒng)工程產(chǎn)品的聯(lián)合體中產(chǎn)生出來或其他保證的聯(lián)合體中推導(dǎo)出來。