（一）软件单元/部件测试工具及环境

1. 厂商及型号：

（1）英国LDRA公司/TestBed

2. 主要性能参数：

提供基本静态分析与动态覆盖率分析，包括如下功能：

（1）代码评审（编码规则检查）；

（2）质量评审（软件度量分析）；

（3）设计评审（数据流分析，代码文档化辅助生成及图形化显示代码调用与控制流程结构）；

（4）基本覆盖率分析；

（5）代码自动插装。

包括Multi-language  C&C ++选件、TBsafe for C选件、TBmisra选件、TBvision选件、TBsecure选件、扩充3个License。

3. 功能用途：主要用于计算机软件单元/部件测试。

（二）FPGA（现场可编程门阵列）软件测试环境

1. 厂商及型号：

（1）美国Mentor/ReqTracer Ap SW

2. 主要性能参数：

（1）贯穿整个硬件设计流程的需求跟踪;

（2）控制和预测设计计划;

（3）直接将所有设计文档与HDL设计工具相连接;

（4）判断与管理设计需求变化对工程的影响;

（5）支持DO-254规范;

（6）良好的图形化界面。

3. 功能用途：主要用于FPGA测试需求跟踪与管理。

（三）综合航空电子仿真模拟器

1. 厂商及型号：

（1）赛维公司，SAVI-M01

2. 主要性能参数：

（1）采用了六自由度刚体模型；

（2）通过总线通讯软件支持1553B总线；

（3）支持ARINC429、RS422、AFDX、以太网等多种接口协议；

（4）支持自定义数据格式，实现了多种数据激励和监控。

3. 功能用途：主要用于模拟飞机及导弹等飞行器运动真实性。