期望到货日期： 2024-12-20

预测限价：400000

资产用途： 科研用

采购方式： 内贸

采购申请理由： 探路者一号设备研制周期仅有1年多时间，多数单机软件不具备完成第三方评测条件，特别是载荷单位设计师开发水平及航天研制经验参差不齐，为保证工程任务实施的质量，任务总体拟计划购置软件静态缺陷检测工具一套，在软件编码实现阶段对有效载荷代码开展静态缺陷复查工作，尽早发现软件和FPGA设计缺陷，大大提高软件设计的可靠性，提升航天软件设计的质量，是本型号任务急需的专用工具软件。

技术要求： 1. 支持C/C++/JAVA/PYTHON等主流编程语言。2. 精准支持GJB 5369、GJB 8114、MISRA C 2004/2012、MISRA C++ 2008等编码标准，并支持基于已有规则定制规则集。3. 支持至少300项软件典型故障模式的自动检测。4. 支持代码行、圈复杂度、扇入扇出等软件代码度量指标。5. 支持嵌入式C语言软件共享全局变量与中断数据竞争检测，分析代码中可能存在的访问冲突，发现潜在的数据竞争缺陷。6. 支持自动生成word、pdf、excel多种格式的报告。7. 支持基于代码变更的增量分析，可用于回归测试。8. 软件静态缺陷检测工具运行的配套硬件

距结束竞价时间：
2024-11-24 00:00:00.0