开启全网商机
登录/注册
软件静态缺陷检测工具及其配套硬件 需求公告
摘要信息
招标详情
下文中****为隐藏内容，仅对千里马会员开放，如需查看完整内容请
「注册/登录」或 拨打咨询热线：
400-688-2000
软件静态缺陷检测工具及其配套硬件 需求公告
采购基本信息：
期望到货日期： 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
2024-11-24 00:00:00.0
采购明细：
| 软件静态缺陷检测工具及其配套硬件 | 定制 | 1 | 填写报价 |
招标进度跟踪
2024-11-22
招标公告
软件静态缺陷检测工具及其配套硬件 需求公告
当前信息
招标项目商机
暂无推荐数据
400-688-2000
欢迎来电咨询～
