[发明专利]模型测试系统在审
| 申请号： | 201711345025.5 | 申请日： | 2017-12-15 |
| 公开（公告）号： | CN107942733A | 公开（公告）日： | 2018-04-20 |
| 发明（设计）人： | 陈丽琴 | 申请（专利权）人： | 四川汉科计算机信息技术有限公司 |
| 主分类号： | G05B17/02 | 分类号： | G05B17/02 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 610017 四川省成都市高新*** | 国省代码： | 四川;51 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及模型测试系统，该系统包括规则检查工具采用Testbed和EMRunner测试工具，对系统原型生成的代码进行编码规范及规则检查；需求追踪工具成BenderRBT需求测试工具，通过该工具可以对软件需求或用户需求进行需求因果图设计，形成清晰的条目化需求追踪关系图，结合Scade生成的需求关系图检查模型与需求一致性；静态分析工具采用Testbed、EMRunner或PolySpace测试工具，分析模型的质量度量；动态测试工具采用Testbed和EMRunner测试工具，对模型进行单元测试；覆盖率分析工具针对模型代码的mc/dc覆盖率进行测试；仿真验证工具针对不同专业领域集成综合性半实物仿真平台；形式化验证工具采用Rhapsody开发工具，进行模型级/代码级联合调试、验证。 | ||
| 搜索关键词： | 模型 测试 系统 | ||
【主权项】：
模型测试系统，其特征在于，该系统包括：规则检查工具：采用Testbed和EMRunner测试工具，对系统原型生成的代码进行编码规范及规则检查；需求追踪工具：成BenderRBT需求测试工具，通过该工具可以对软件需求或用户需求进行需求因果图设计，形成清晰的条目化需求追踪关系图，结合Scade生成的需求关系图检查模型与需求一致性；静态分析工具：采用Testbed、 EMRunner或PolySpace测试工具，分析模型的质量度量；动态测试工具：采用Testbed和EMRunner测试工具，对模型进行单元测试；覆盖率分析工具：针对模型代码的mc/dc覆盖率进行测试；仿真验证工具：针对不同专业领域集成综合性半实物仿真平台；形式化验证工具：采用Rhapsody开发工具，进行模型级/代码级联合调试、验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于四川汉科计算机信息技术有限公司，未经四川汉科计算机信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711345025.5/，转载请声明来源钻瓜专利网。
