[發明專利]一種利用C++test執行SCADE測試對象的方法有效
| 申請號： | 201010579999.1 | 申請日： | 2010-12-07 |
| 公開（公告）號： | CN102567187A | 公開（公告）日： | 2012-07-11 |
| 發明（設計）人： | 劉軍利;亓興華;張宓;孟廣國 | 申請（專利權）人： | 北京廣利核系統工程有限公司;中國廣東核電集團有限公司 |
| 主分類號： | G06F11/36 | 分類號： | G06F11/36 |
| 代理公司： | 北京元中知識產權代理有限責任公司 11223 | 代理人： | 王明霞 |
| 地址： | 100094 北*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 利用 test 執行 scade 測試 對象 方法 | ||
【權利要求書】：
1.一種利用C++test執行SCADE測試對象的方法，步驟1、利用SCADE生成測試對象，其特征在于，包括如下步驟：
步驟2、在Workbench環境下安裝C++Test；
步驟3、在C++Test中配置測試對象的運行環境；
步驟4、將測試對象調入C++Test中執行編譯腳本并生成測試用例；
步驟5、對測試用例進行插樁操作并生成測試中間文件；
步驟6、將測試中間文件調入Workbench里的仿真程序中運行；
步驟7、得到C++Test操控下的測試結果。
2.如權利要求1所述的方法，其特征在于，所述步驟4包括利用C++Test對測試對象進行靜態分析的步驟。
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京廣利核系統工程有限公司;中國廣東核電集團有限公司，未經北京廣利核系統工程有限公司;中國廣東核電集團有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201010579999.1/1.html，轉載請聲明來源鉆瓜專利網。
