2)PA06建立保證論據(jù)通過證據(jù)的收集,建立保證論據(jù),該論據(jù)應(yīng)清楚地說明用戶的安全需求已經(jīng)得到滿足,通過一系列證據(jù)建立了對系統(tǒng)安全的信心。本過程包括對與需求有關(guān)的保證進(jìn)行識別和定義;證據(jù)的產(chǎn)生和分別活動;支持保證需求所需的附加證據(jù)。此外
本基本實施的目的是,通過顯示解決方案,實現(xiàn)了與上一抽象層相關(guān)的要求,包括作為PA06“建立保證論據(jù)”所識別的保證需要,從而驗證解決辦法是正確的。有許多驗證需求的方法,包括測試、分析、觀察和演示等,所用的方法在BP 11 02中標(biāo)識。單個需求和整個系統(tǒng)都要受到檢測。