软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具
招标公告

日期：2025年09月17日

招标编号：0730-2511020495/01

项目名称：软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具

项目所在地区：江苏省，无锡市

1. 招标条件

本软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具已由项目审批/核准/备案机关批准，项目资金来源为/，

2. 项目概况与招标范围

招标编号：0730-2511020495/01

设备名称：软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具

数量：1套

项目概况与招标范围：软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具 1套

3. 投标人简要技术及资格要求

3.1 投标人简要技术要求：

（1）支持DO-178C A级软件要求的MC/DC覆盖，B级软件要求的分支（DC）覆盖，C级软件要求的语句（SC）覆盖。

（2）支持对源代码进行插桩，识别程序中的入口、出口、语句、布尔判定、枚举判定、判定中的条件、布尔赋值、条件赋值等各种语句。

3.2*资质要求：

1）投标人必须为在中华人民共和国关境内注册的公司（可以是企业或者依法允许经营的事业单位）；

2）如代理商投标，代理商须为制造商合法授权的厂商，并在投标文件中提供制造商针对本项目的唯一授权书原件；

3）投标设备必须是中国关境内生产制造的产品。

4）本次招标不接受联合体投标。

5）不得被最高人民法院在“信用中国”网站（ ）中列入失信被执行人名单

6）不得被中国航空工业集团公司雷华电子技术研究所列入失信供应商目录（以开标当天现场查询结果为准）

4.
未在中国电力招标采购网（www.dlztb.com）上注册会员的单位应先点击注册。登录成功后的在 招标会员 区根据招标公告的相应说明获取招标文件！
咨询电话：010-51957458
手 机：18811547188
联系人：李杨
QQ:1211306049
微信：Li18811547188
邮箱：1211306049@qq.com
来源：中国电力招标采购网
备注：欲购买招标文件的潜在投标人,注册网站并缴纳因特网技术及商务信息服务费后，查看项目业主，招标公告并下载资格预审范围，资质要求，
招标清单，报名申请表等。为保证您能够顺利投标，具体要求及购买标书操作流程按会员区招标信息详细内容为准。
编辑：ebid.eavic