[发明专利]一种利用C++test执行SCADE测试对象的方法有效
| 申请号： | 201010579999.1 | 申请日： | 2010-12-07 |
| 公开（公告）号： | CN102567187A | 公开（公告）日： | 2012-07-11 |
| 发明（设计）人： | 刘军利;亓兴华;张宓;孟广国 | 申请（专利权）人： | 北京广利核系统工程有限公司;中国广东核电集团有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 北京元中知识产权代理有限责任公司 11223 | 代理人： | 王明霞 |
| 地址： | 100094 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种利用C++test执行SCADE测试对象的方法，涉及核电站控制领域，包括：生成测试对象，在Workbench环境下安装C++Test并配置测试对象的运行环境，将测试对象调入C++Test中执行编译脚本并生成测试用例，对测试用例进行插桩操作并生成测试中间文件，将测试中间文件调入Workbench里的仿真程序中运行，得到C++Test操控下的测试结果。本方案以Workbench为运行基础，插装C++test来处理SCADE的测试对象，实现了利用自己定制的编码规范对SCADE的工程进行静态分析，同时对工程能够进行动态的跟踪调试和生成覆盖率统计数据，达到了验证SCADE的工程的目的。 | ||
| 搜索关键词： | 一种 利用 test 执行 scade 测试 对象 方法 | ||
【主权项】：
一种利用C++test执行SCADE测试对象的方法，步骤1、利用SCADE生成测试对象，其特征在于，包括如下步骤：步骤2、在Workbench环境下安装C++Test；步骤3、在C++Test中配置测试对象的运行环境；步骤4、将测试对象调入C++Test中执行编译脚本并生成测试用例；步骤5、对测试用例进行插桩操作并生成测试中间文件；步骤6、将测试中间文件调入Workbench里的仿真程序中运行；步骤7、得到C++Test操控下的测试结果。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京广利核系统工程有限公司;中国广东核电集团有限公司，未经北京广利核系统工程有限公司;中国广东核电集团有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201010579999.1/，转载请声明来源钻瓜专利网。
