A*其他航空航天工业设备

能实现对空天安全关键软件的半实物仿真测试验证 空天安全关键软 (略) 是针对空天安全关键软件的半实物仿真测试和综合航空电子IMA (略) ，主要用于航空航天装备安全关键软件的半实物仿真测试和IMA驻留应用测试。支持依据安全关键软件的ICD文件自动生成通讯协议和数据交互框架模型、能完成接口，功能，强度，边界，故障注入等多种类型的测试用例自动生成；具备测试用例形式的自动转换，自动生成可编译执行的测试脚本和数据；支持多测试用例自动批量执行、IMA驻留分区应用测试、可配置的测试数据实时采集、多控件自主配置的测试监控、测试结果分析、测试报告生成等功能；具备多种空天安全关键软件测试必须的IO接口，能够实现被测空天安全关键软件交联测试验证环境构建，支持MIL-STD-1553B、ARINC429、AFDX、CAN、RS232/422/485、A/D、D/A、DI/DO、RELAY、 (略) 、FC、1394B等接口，并可以对空天安全关键软件需要的非标准接口进行定制扩展； 主要指标如下： 1）支持依据安全关键软件的ICD文件自动生成通讯协议和数据交互框架模型； 2）支持综合化航空电子（IMA）软件系统级和驻留应用级的测试验证； 3）支持空天安全关键软件的测试情景剖面构建，并自动生成接口，功能，强度，边界，故障注入等多种类型的测试用例集； 4）支持空天安全关键软件测试用例形式的自动转换，自动生成可编译执行的测试脚本和数据； 5）支持测试结果数据分析； 6）支持测试用例文档和测试报告自动生成（模板可定制）； 7）支持MIL-STD-1553B、ARINC429、AFDX、CAN、RS232/422/485、A/D、D/A、DI/DO、RELAY、 (略) 、FC、1394B等IO接口。

A*其他航空航天工业设备

能实现对空天安全关键软件的半实物仿真测试验证 空天安全关键软 (略) 是针对空天安全关键软件的半实物仿真测试和综合航空电子IMA (略) ，主要用于航空航天装备安全关键软件的半实物仿真测试和IMA驻留应用测试。支持依据安全关键软件的ICD文件自动生成通讯协议和数据交互框架模型、能完成接口，功能，强度，边界，故障注入等多种类型的测试用例自动生成；具备测试用例形式的自动转换，自动生成可编译执行的测试脚本和数据；支持多测试用例自动批量执行、IMA驻留分区应用测试、可配置的测试数据实时采集、多控件自主配置的测试监控、测试结果分析、测试报告生成等功能；具备多种空天安全关键软件测试必须的IO接口，能够实现被测空天安全关键软件交联测试验证环境构建，支持MIL-STD-1553B、ARINC429、AFDX、CAN、RS232/422/485、A/D、D/A、DI/DO、RELAY、 (略) 、FC、1394B等接口，并可以对空天安全关键软件需要的非标准接口进行定制扩展； 主要指标如下： 1）支持依据安全关键软件的ICD文件自动生成通讯协议和数据交互框架模型； 2）支持综合化航空电子（IMA）软件系统级和驻留应用级的测试验证； 3）支持空天安全关键软件的测试情景剖面构建，并自动生成接口，功能，强度，边界，故障注入等多种类型的测试用例集； 4）支持空天安全关键软件测试用例形式的自动转换，自动生成可编译执行的测试脚本和数据； 5）支持测试结果数据分析； 6）支持测试用例文档和测试报告自动生成（模板可定制）； 7）支持MIL-STD-1553B、ARINC429、AFDX、CAN、RS232/422/485、A/D、D/A、DI/DO、RELAY、 (略) 、FC、1394B等IO接口。