[发明专利]模型测试系统在审
| 申请号： | 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.vipzhuanli.com/pat/books/201711345025.5/1.html，转载请声明来源钻瓜专利网。
