今日頭條
官方微信
官方抖音
案例頻道北京廣利核系統工程有限公司 申高軍 張亞棟 梁中起 劉春明
摘要：軟件V&V是核安全級軟件開發過程中評估軟件產品的一種系統性方法，與軟件開發同步開展。通過軟件V&V活動，辨識和解決異常，對軟件開發中出現的偏離進行控制。本文結合安全級軟件開發生命周期的特點，優化異常處理流程，軟件V&V對每一階段發現的異常問題進行影響評估，按后果嚴重性進行分級，確定異常關鍵等級。上一階段關鍵異常的解決作為下一階段軟件開發結束的必要條件，前一設計階段的關鍵異常全部解決后，下一階段的設計活動才能結束。該異常處理流程可推進關鍵異常及時解決，防止向后續開發過程傳遞，有效減少開發后期的異常數量及修復成本。該流程已在某核電項目中得以實施，并取得良好效果。
關鍵詞：安全級軟件；驗證與確認；異常處理流程
摘自《自動化博覽》2017年5月刊
北京市公安局海淀分局備案號：11010802023656號