[發明專利]模型測試系統在審
| 申請號： | 201711345025.5 | 申請日： | 2017-12-15 |
| 公開（公告）號： | CN107942733A | 公開（公告）日： | 2018-04-20 |
| 發明（設計）人： | 陳麗琴 | 申請（專利權）人： | 四川漢科計算機信息技術有限公司 |
| 主分類號： | G05B17/02 | 分類號： | G05B17/02 |
| 代理公司： | 暫無信息 | 代理人： | 暫無信息 |
| 地址： | 610017 四川省成都市高新*** | 國省代碼： | 四川;51 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 模型 測試 系統 | ||
1.模型測試系統，其特征在于，該系統包括：
規則檢查工具：采用Testbed和EMRunner測試工具，對系統原型生成的代碼進行編碼規范及規則檢查；
需求追蹤工具：成BenderRBT需求測試工具，通過該工具可以對軟件需求或用戶需求進行需求因果圖設計，形成清晰的條目化需求追蹤關系圖，結合Scade生成的需求關系圖檢查模型與需求一致性；
靜態分析工具：采用Testbed、 EMRunner或PolySpace測試工具，分析模型的質量度量；
動態測試工具：采用Testbed和EMRunner測試工具，對模型進行單元測試；
覆蓋率分析工具：針對模型代碼的mc/dc覆蓋率進行測試；
仿真驗證工具：針對不同專業領域集成綜合性半實物仿真平臺；
形式化驗證工具：采用Rhapsody開發工具，進行模型級/代碼級聯合調試、驗證。
2.根據權利要求1所述的模型測試系統，其特征在于，所述半實物仿真平臺包括飛控半實物仿真平臺、機電半實物仿真平臺和航電半實物仿真平臺。
3.根據權利要求1所述的模型測試系統，其特征在于，所述系統配置有服務接口，通過服務接口對待檢查的模型進行訪問。
4.根據權利要求1所述的模型測試系統，其特征在于，所述服務接口支持1553B、 CAN、AD、DA、RS232、RS422、RS485、DI、DO、RELAY、以太網、及用戶定制接口。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于四川漢科計算機信息技術有限公司，未經四川漢科計算機信息技術有限公司許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201711345025.5/1.html，轉載請聲明來源鉆瓜專利網。
