[發明專利]一種核電站安全級軟件測試方法及其系統

無效

• 申請號: 201010537587.1
• 申請日: 2010-11-09
• 公開（公告）號: CN102467443A
• 公開（公告）日: 2012-05-23
• 發明（設計）人: 劉真;田勇;李季學;李恒;黃偉軍
• 申請（專利權）人: 中廣核工程有限公司;中國廣東核電集團有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 深圳市順天達專利商標代理有限公司 44217
• 代理人: 易釗

技術領域

本發明涉及儀表控制技術領域，尤其涉及一種核電站安全級軟件測試方法及其系統。

背景技術

在現代，計算機開始出演安全角色，基于計算機的系統在核安全中也開始扮演主要角色。在核電站安全檢查中，安全級軟件的測試成為了必要的檢查環節，以證明某個基于軟件的系統是否適合核電站的原始需求。在國際上各種軟件的測試的適應性法規標準也對該工作提出了完整與詳細的要求。

計算機系統的設計人員及執行人員都有可能犯錯誤，而這些錯誤就會造成系統中不被察覺的缺陷，系統有可能在安裝時就帶有缺陷，這就有可能會導致非常嚴重的后果，因此及時察覺錯誤至關重要。目前的計算機系統主要依賴于軟件的驗證與確認來發現錯誤。軟件的驗證與確認過程能夠保證系統達到專門的功能性和可靠性要求。

但是現有安全級軟件的測試過程中，測試過程不夠系統化，程序不規范，且標準不統一，不能及時找到軟件內在的缺陷，從而為今后的使用埋下了不安全隱患。

發明內容

本發明要解決的技術問題在于針對現有技術中安全級軟件的測試過程不夠系統化，程序不規范的缺陷，提供一種核電站安全級軟件測試方法及其系統。

本發明解決其技術問題所采用的技術方案是：

提供一種核電站安全級軟件測試方法，包括以下步驟：

A、測試核電站反應堆保護系統規范書是否滿足相關標準；

B、評估計算機系統配置和軟件設計，確認其滿足參考文件的要求；

C、測試開發的軟件程序和實施中是否滿足軟件方針書中所提出的各項功能要求；

D、對軟硬件系統的運行進行集成測試。

本發明所述的核電站安全級軟件測試方法中，步驟A還包括在所述核電站反應堆系統規范書不滿足相關標準時，對其進行修改。

本發明所述的核電站安全級軟件測試方法中，步驟B中，所述參考文件包括修改后的核電站反應堆系統規范書、設計院設計的邏輯圖模擬圖和輸入輸出清單。

本發明所述的核電站安全級軟件測試方法中，還包括步驟：

E、將測試的最終結果以報告單的形式生成。

本發明所述的核電站安全級軟件測試方法中，步驟E中所述的報告單包括驗證結果、驗證日期和修改記錄，以及檢查單和問題處理單；其中，

所述檢查單包括問題發現人、對發現問題的描述和解決問題的期限；

所述問題處理單包括擬解決方案以及該方案是否最終被接受的結果。

本發明還構造了一種核電站安全級軟件測試系統，包括：

測試規范書模塊，用于測試核電站反應堆系統規范書是否滿足相關標準；

評估系統配置和軟件模塊，用于評估計算機系統配置和軟件設計，確認其滿足參考文件的要求；

測試軟件程序模塊，用于測試開發的軟件程序和實施中是否滿足軟件方針書中所提出的各項功能要求；

集成測試模塊，用于對軟硬件系統的運行進行集成測試。

本發明所述的核電站安全級軟件測試系統中，還包括：

修改模塊，用于在所述核電站反應堆系統規范書不滿足相關標準時，對其進行修改；

存儲模塊，用于存儲所述參考文件。

本發明所述的核電站安全級軟件測試系統中，還包括，測試報告輸出模塊，用于將測試的最終結果以報告單的形式輸出。

本發明所述的核電站安全級軟件測試系統中，所述參考文件包括修改后的核電站反應堆系統規范書、設計院設計的邏輯圖模擬圖和輸入輸出清單。

本發明所述的核電站安全級軟件測試系統中，所述的報告單包括驗證結果、驗證日期和修改記錄，以及檢查單和問題處理單；其中，

所述檢查單包括問題發現人、對發現問題的描述和解決問題的期限；

所述問題處理單包括擬解決方案以及該方案是否最終被接受的結果。

本發明產生的有益效果是：通過對安全級軟件測試過程進行程序化設置，規定統一的步驟和驗證標準，從而使得對安全級軟件測試過程系統化，程序規范化。

附圖說明

下面將結合附圖及實施例對本發明作進一步說明，附圖中：

圖1是本發明實施例核電站安全級軟件測試方法的流程圖；

圖2是本發明實施例核電站安全級軟件測試系統的原理框圖；

圖3是本發明實施例中檢查單的具體內容；

圖4是本發明實施例中問題處理單的具體內容。

具體實施方式

本發明較佳實施例核電站安全級軟件測試方法，如圖1所示，主要包括以下步驟：