[發明專利]一種利用C++test執行SCADE測試對象的方法

有效

• 申請號: 201010579999.1
• 申請日: 2010-12-07
• 公開（公告）號: CN102567187A
• 公開（公告）日: 2012-07-11
• 發明（設計）人: 劉軍利;亓興華;張宓;孟廣國
• 申請（專利權）人: 北京廣利核系統工程有限公司;中國廣東核電集團有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京元中知識產權代理有限責任公司 11223
• 代理人: 王明霞

技術領域

本發明涉及核電站控制領域，具體涉及一種利用C++test在Workbench中實現SCADE仿真測試的方法。?

背景技術

目前核電站的應用上，常常需要根據不同的客戶要求，安裝或增加一些新的設備，這些設備需要使用相應的軟件，此類軟件都是在相應的工程軟件環境下編寫的，軟件完成后需要首先進行測試，以驗證是否能夠驅動相應設備或是否達到驅動要求，但此類實際運行環境比較難以實現，因此就采用仿真的方法來驗證和測試軟件的正確性。?

SCADE是英文Safety-Critical?ApplicationDevelopment?Environment的縮寫，它是一個高安全性的應用開發環境，功能包括嵌入式軟件開發中從需求到嵌入式代碼的整個流程：需求建模、模型檢查、模擬仿真、形式驗證、嵌入式代碼自動生成以及文檔自動生成等等。但是在核電行業沒有一個很好的工具直接對SCADE生成的工程使用自己編寫的編碼規范進行靜態分析和開展自動化單元測試，大限制了SCADE?的應用范圍，也制約了核電站的發展。?

發明內容

為解決SCADE在核電站應用上的局限和仿真處理時的功能限制問題，本發明提出一種利用Workbench、C++test的組合來運行SCADE的測試對象，從而在核電領域實現SCADE多功能擴展的技術方案，具體方案如下：一種利用C++test執行SCADE測試對象的方法，步驟1、利用SCADE生成測試對象，其特征在于，包括如下步驟：?

步驟2、在Workbench環境下安裝C++Test；?

步驟3、在C++Test中配置測試對象的運行環境；?

步驟4、將測試對象調入C++Test中執行編譯腳本并生成測試用例；?

步驟5、對測試用例進行插樁操作并生成測試中間文件；?

步驟6、將測試中間文件調入Workbench里的仿真程序中運行；?

步驟7、得到C++Test操控下的測試結果。?

本發明的另一優選方案：所述步驟4包括利用C++Test對測試對象進行靜態分析的步驟。?

本方案以Workbench為運行基礎，插裝C++test來處理SCADE的測試對象，從而使Workbench的仿真程序受C++test的控制，實現了利用自己定制的編碼規范對SCADE的工程進行靜態分析，同時對工程能夠進行動態的跟蹤調試和生成覆蓋率統計數據，達到了驗證SCADE的工程的目的，使SCADE的工程完美的應用在核電領域。?

附圖說明

圖1本發明的執行步驟示意框圖。?

具體實施方式

在計算機中安裝SCADE、Workbench和C++test三個軟件模塊，其中SCADE做為工程方使用的測試對象生成軟件，用于生成用戶需要的各種操作程序，這些操作程序在未進行測試前統稱為測試對象。C++test做為Workbench的一個插件安裝在Workbench中，Workbench就構成對測試對象進行測試的運行環境。C++test作為一個以Workbench運行環境為基礎的C++test執行程序，用來對調入Workbench運行環境中的以SCADE編寫的測試對象進行編譯、插樁和運行，同時對Workbench運行環境中的仿真軟件的仿真過程進行監控和輸出仿真結果。?

如圖1所示，本方案的工作過程如下：?

101、利用SCADE生成測試對象；?

利用安裝在計算機內的SCADE生成用戶需要的操作程序做為測試對象。102、在Workbench環境下安裝C++Test；?

在計算機上安位Workbench，在Workbench中插裝C++test測試軟件。?

103、在C++Test中配置測試對象的運行環境；?

由于要使用C++Test執行測試對象，因此在Workbench運行模塊中搭建一個運行SCADE的工作環境。?

104、將測試對象調入C++Test中執行編譯腳本并生成測試用例；?

在配置好的環境中，將測試對象調入C++Test中并執行以生成測試用例，且在此過程中對測試對象進行靜態分析。在生成測試用例的過程中，還需要與SCADE進行交互，以讀取測試用例需要的SCADE環境配置數據。?

105、對測試用例進行插樁操作并生成測試中間文件；?

利用C++test對生成的測試用例進行插樁，即設置測試點，對插樁后的測試用例進行編譯生成測試中間文件。?