*.项目地点

****长安工业（集团）有限公司（****市****区空港大道***号）。

*.项目范围

****软件静态测试工具，非标，*套。

*.设备需求

****软件静态测试工具主要用于****软件的测试管理、静态测试与时钟分析。

*.设备基本要求

（*）功能要求：

• 测试管理功能：项目管理、数据管理、用例追踪、运行调度等。

• 编码规则检查：兼容****/*******等多种***语言。

• 时钟分析与检查：支持时钟可靠性分析及多种检查。

• 代码运行时缺陷检查：基于形式化分析技术检查多种代码运行时缺陷，定位缺陷代码，可用波形示例故障成因。

（*）技术指标要求：

• 支持国产自主可控****软件的编码规则检查、静态缺陷检查、时钟分析。

• 支持测试管理、调度、追踪、验证，符合*******的文档生成等。

• 支持国产化主流操作系统及硬件平台。

• 自身为国产自主可控产品。

• 需对工厂常用的****软件工具进行数据接口调试及部分定制。

(*)模块组成要求

本项目中****软件静态测试工具应至少由*个模块组成：

（*）管理调度模块****** ****

（*）编码规则检查模块***_******

（*）缺陷检查模块***_*********

（*）缺陷检查模块***_**********

*. 商务要求

设备制造商核心技术团队应至少在军工行业****测试验证领域有*年以上从业经验，且公司核心技术人员具备型号项目的****验证工作经历。

设备制造商应提供**/* *****/*** ****质量管理体系认证、国内主流军用软件测评中心应用证明及近*年的生产及销售业绩。

* 时间要求

截止初步交流时间：****年*月*日。

集中交流时间：****年*月**日。

*.其它

该设备技术方案需进行集中交流，各潜在供应商所提初步技术方案可能用于集中研讨，因此造成各潜在供应商技术方案被外单位所知悉的情形，我单位概不负责，请各潜在供应商知悉。

*.联系方式

技术联系人：景远军 电 话：***********

异常管理联系人：姚镜池 电 话：***********