[發明專利]一種控制邏輯的測試系統及方法

在審

• 申請號: 201810453320.0
• 申請日: 2018-05-11
• 公開（公告）號: CN108733028A
• 公開（公告）日: 2018-11-02
• 發明（設計）人: 張照生;胡春平;李暉;林智勇;陸鳳菊;劉煜;蔣李君;張光新;奚瑋君;王勝光;王旭
• 申請（專利權）人: 上海核工程研究設計院有限公司
• 主分類號: G05B23/02
• 分類號: G05B23/02
• 代理公司: 上海精晟知識產權代理有限公司 31253
• 代理人: 馮子玲

本發明提供一種控制邏輯的測試系統及方法。該測試系統包括用戶信息驗證服務器、標準測試用例管理服務器、測試結果管理服務器和應用程序工作站；所述的應用程序工作站包括用戶權限驗證模塊、標準庫生成模塊、模型轉換模塊和測試引擎模塊；應用程序工作站通過網絡將用戶信息驗證服務器、標準測試用例管理服務器和測試結果管理服務器連接起來。本發明提出的控制邏輯的測試系統及方法，可以自動生成測試用例并批量執行測試驗證作業，大大減少人為操作，讓用戶方便、快速地完成控制邏輯測試驗證工作，減少人因錯誤，提高測試質量和效率。

技術領域

本發明涉及電廠熱工控制領域，具體涉及一種控制邏輯的測試系統及方法。

背景技術

在電廠設計中，熱工控制系統的控制邏輯設計是其中一個重要環節，它直接關系到電廠是否平穩安全運行、緊急事故能否及時處理等重大問題。在設計控制系統時，首先要根據控制過程的要求，繪制過程控制系統的控制邏輯圖，然后根據控制邏輯圖，進行控制系統的組態設計，最后對完成的控制邏輯進行測試驗證以確保設計的控制邏輯符合預期的要求。目前，電廠熱工控制邏輯的測試主要采用手動測試方法，即根據測試流程手動設置輸入測試用例，觀察、記錄輸出結果，再人工判斷測試結果是否正確，其存在一定的問題，如測試人員需對每個待測試流程都較為熟悉；完全手動設置輸入變量，并記錄輸出變量，不僅耗時耗力、效率較低，而且容易出現人為失誤，造成輸入變量不正確或輸出結果記錄不正確等。所以當前迫切需要一種能解決上述問題的控制邏輯測試方案。

發明內容

本發明目的在于克服現有技術存在的問題，提供一種控制邏輯的測試系統及方法，該系統及方法能夠自動生成測試用例并批量執行測試驗證作業，大大減少人為操作，讓用戶方便、快速地完成控制邏輯測試驗證工作，減少人因錯誤，提高測試質量和效率。

實現本發明目的的技術方案：一種控制邏輯的測試系統，其包括用戶信息驗證服務器、標準測試用例管理服務器、測試結果管理服務器和應用程序工作站；

所述的應用程序工作站包括用戶權限驗證模塊、標準庫生成模塊、模型轉換模塊和測試引擎模塊；應用程序工作站通過網絡將用戶信息驗證服務器、標準測試用例管理服務器和測試結果管理服務器連接起來；

所述的用戶信息驗證服務器包含用戶信息及用于存儲這些信息的數據庫；用戶信息驗證服務器用于處理應用程序工作站發送的用戶信息驗證請求，用戶信息驗證服務器接受請求，根據請求驗證用戶的操作權限，并將結果返回給應用程序工作站；

所述的標準測試用例管理服務器包含標準測試用例數據及用于存儲這些數據的數據庫；標準測試用例管理服務器用于處理應用程序工作站發送的標準測試用例查詢、調用請求，標準測試用例管理服務器根據請求，在標準測試用例數據庫中查詢符合條件的標準測試用例，將所獲取的標準測試用例返回給應用程序工作站；

所述的測試結果管理服務器包含測試結果數據及用于存儲這些數據的數據庫；測試結果管理服務器用于處理應用工作站發送的測試結果存儲請求，應用工作站根據測試結果編號，將測試結果存入測試結果數據庫中。

如上所述的一種控制邏輯的測試系統，其所述的應用程序工作站包括用戶權限驗證模塊、標準庫生成模塊、模型轉換模塊和測試引擎模塊，其具體如下：用戶權限驗證模塊，用于將用戶信息發送給用戶信息驗證管理服務器，用戶信息驗證管理服務器驗證用戶的操作權限，將驗證結果返回給應用程序工作站；標準庫生成模塊，用于在標準測試用例管理服務器中創建標準測試用例；模型轉換模塊，用于將控制邏輯模型轉換為可與測試引擎模塊交互的測試模型；所述的模型轉換模塊首先將控制邏輯中算法模塊轉換為函數代碼，其次梳理控制邏輯中輸入、輸出點和算法模塊參數信息并生成清單文件，所述輸入、輸出點清單文件包含輸入、輸出點名及其類型，所述算法模塊參數清單文件包含參數變量名及其數值，最后將函數代碼整合成為可編譯程序，編譯后便得到可與測試引擎模塊交互的測試模型；