设备分类编码: 990000
仪器设备分类: 通用
主要学科领域: [电子与通信技术, 计算机科学技术]
仪器设备来源: 购置
联系电话: 010-86098145
电子邮箱: wanghongsheng@abs.ac.cn
通讯地址:
邮政编码:
联系人: 王红胜
仪器所属类别: 其他仪器>>其他>>其他
规格型号: CRESTS/RT-TEST
所属科研设施:
主要功能: 实现嵌入式软件的覆盖测试以及单元测试、集成测试和系统测试等功能,并支持测试用例的加载,实现对嵌入式系统进行实时、闭环的和非侵入式(RT-TEST)或侵入式(RT-Cast)的系统测试、验证。
主要技术指标: 1.对被测软件程序进行语句处理;2.交叉编译被测程序,生成可执行的目标程序;3.装载目标程序,进行静态分析;4.与真实目标机实现通讯与控制;5.模拟外部事件,实现闭环运行。
安放地址:
服务内容:
服务的典型成果:
对外开放共享规定:
参考收费标准: