本软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具已由项目审批/核准/备案机关批准，项目资金来源为/，招标人为中国航空工业集团公司雷华电子技术研究所，本项目已具备招标条件，现招标方式为公开招标。
2. 项目概况与招标范围
招标编号：0730
设备名称：软件验证分析-结构覆盖分析工具&软件代码健壮性分析工具
数量：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. 招标文件的获取
4.1 招标文件购买时间：2025-09-17 09:00至2025-09-30 16:30
招标文件价格：1000元，售后不退。
本招标项目仅供 正式会员查阅，您的权限不能浏览详细信息,请点击注册/登录，请联系工作人员办理入网升级。
联系人：方婷
电话：010-53341173
手机：13011091135 (欢迎拨打手机/微信同号)
邮箱：fangting@zbytb.com
