一种利用C++test执行SCADE测试对象的方法专利登记公告

专利名称：一种利用C++test执行SCADE测试对象的方法

摘要：本发明涉及一种利用C++test执行SCADE测试对象的方法，涉及核电站控制领域，包括：生成测试对象，在Workbench环境下安装C++Test并配置测试对象的运行环境，将测试对象调入C++Test中执行编译脚本并生成测试用例，对测试用例进行插桩操作并生成测试中间文件，将测试中间文件调入Workbench里的仿真程序中运行，得到C++Test操控下的测试结果。本方案以Workbench为运行基础，插装C++test来处理SCADE的测试对象，实现了利用自己定制的编码规范对SCADE的工程进行静态分析，同

专利类型：发明专利

专利号：CN201010579999.1

专利申请（专利权）人：北京广利核系统工程有限公司;中国广东核电集团有限公司

专利发明（设计）人：刘军利;亓兴华;张宓;孟广国

主权项：一种利用C++test执行SCADE测试对象的方法，步骤1、利用SCADE生成测试对象，其特征在于，包括如下步骤：步骤2、在Workbench环境下安装C++Test；步骤3、在C++Test中配置测试对象的运行环境；步骤4、将测试对象调入C++Test中执行编译脚本并生成测试用例；步骤5、对测试用例进行插桩操作并生成测试中间文件；步骤6、将测试中间文件调入Workbench里的仿真程序中运行；步骤7、得到C++Test操控下的测试结果。

专利地区：北京