招标详情
下文中****为隐藏内容，仅对千里马会员开放，如需查看完整内容请
「注册/登录」或 拨打咨询热线：
400-688-2000
项目名称
| **全软件研发环境工具链和装备信息安全工具平台软件 | 项目编号
**** |
公告开始日期
| 2026-07-01 09:18:33 | 公告截止日期
2026-07-06 10:00:00 |
采购单位
| **** | 付款方式
合同签订并收到发票后10个工作日内，支付合同总价50%的款项。验收合格后，采购人支付合同总价50%的款项 |
联系人
| 联系电话
|
签约时间要求
| 到货时间要求
签约后90个自然日 |
预算总价
| ￥490000.00 |
发票要求
|
含税要求
|
送货要求
|
安装要求
|
收货地址
| **省**市**区兰田路**** |
供应商资质要求
| 符合《政府采购法》第二十二条规定的供应商基本条件 |
公告说明
|
采购商品 采购数量 计量单位 所属分类
| **全软件研发环境工具链和装备信息安全工具平台软件 |
1 |
套 |
应用软件 |
品牌
|
型号
|
预算单价
| ￥ 490000.00 |
技术参数及配置要求
| 1.软件可视化建模开发 1) 支持可视化建模，支持Scade语言中所有66个算子 2) 支持模型静态检查，包括数据流分析、类型检查、状态迁移分析 3) 支持基于Lustre模型的模型仿真和基于C代码的代码仿真 4) 支持符合GJB8114的C代码自动化生成，支持模型与代码之间的关系追溯，针对生成的代码支持用户对接口部分进行定制开发 5) 支持基于模型的测试，支持.sss文件的导入和解析 6) 支持influence、MC/DC、DC三种覆盖率分析准则 7) 支持导入SCADE项目，并支持在导入后的模型上使用构建检查、静态分析、模拟仿真、自动C代码生成等功能 8) 支持主流国产自主操作系统，包括银河**V10操作系统 9) 支持不高于10层的状态机嵌套建模 10) 工具支持导入外部C代码，支持导入C代码的集成与仿真 11) 提供5个具有一定复杂度的lustre案例，支持模型仿真验证和代码生成。 2.嵌入式软件测试管理 1) 支持C、C++语言，支持一个项目中同时配置C、C++语言。 2) B/S架构，支持多人多客户端并发使用，通过许可证管理服务器授权。支持单机部署和服务器部署。 3) 支持多测试任务并发，以及并发任务监控管理。在进行当前测试任务时，可以同步进行其他操作。 4) 支持系统：Windows 7 Service Pack 1/Server 2012 R2 64 位及以上、CentOS 7 - Minimal 64 位及以上、FT2000+/64 + 银河**桌面/服务器操作系统 V10。 5) 支持多种编译平台，包括ANSI/ISO、CCStudio、Keil、VxWorks、GCC、MSVC等。 6) 支持与SVN或Git配合使用，提供与Jenkins持续集成自动测试方式，当被测代码提交时可自动触发测试用例运行；具备Jenkins插件。 7) 支持编译环境的自主创建、管理和导入导出。支持编译环境的跨项目、跨用户复用。同一服务器下只需配置一个编译环境即可多人多机器使用，拓展性好。 8) 支持同一项目的不同版本的源代码管理与回归测试。 9) 支持WORD、PDF、HTML等格式的测试报告自动生成及下载，支持GJB438C标准报告生成，支持客户报告定制。 3.嵌入式软件静态分析 1) 支持基于GJB8114/5369、MISRAC等规则集的编码规则检查。 2) 支持自定义检测模板，可对规则集进行组合/修改等操作添加新模板、管理已有模板。 3) 支持按文件、按缺陷分别进行分类缺陷查看。 4) 支持对代码问题的高亮显示。支持对问题进行标注和审计功能，对于已经标注为“忽略”或“误报”的问题，一键回归后不显示。 5) 支持以文件为单元进行解析和测试。对于测试项目，无需全部解析通过。解析失败的文件，不影响已经解析通过的文件的测试工作。支持可视化展示详细错误信息，并在源代码上定位错误位置。 6) 支持耦合性分析，包括函数耦合、全局变量耦合分析以及报告导出。 7) 支持控制流分析，包括代码行数、注释行数、注释率、可执行行数、圈复杂度、基本圈复杂度、扇入、扇出、循环个数、循环深度等及报告导出。 8) 支持数据流分析，包括UR、DU、DD定义引用指标分析及报告导出。 4.嵌入式软件单元测试 1) 支持自动化单元测试。 2) 支持一键测试，支持针对语句覆盖、分支覆盖、条件覆盖、决策覆盖、MC/DC覆盖等覆盖准则的测试用例自动生成。 3) 支持单文件解析。对于测试项目，无需全部解析通过。解析失败的文件，不影响已经解析通过的文件的测试工作。支持可视化展示详细错误信息，并在源代码上定位错误位置 4) 支持需求追溯矩阵及双向追溯。 5) 支持表格式用例编辑，自动生成测试驱动和测试数据代码。 6) 支持自动识别处理绝对地址、同名局部静态变量、结构体、多级指针等语言特性。支持对局部静态变量的识别及赋值。支持同名静态变量的识别区分及赋值，可以定位到源代码对应变量位置。 7) 支持手动编辑和创建测试用例；支持函数自动和手动打桩，可以以填表或代码的形式打桩；支持桩函数中增加全局变量；支持输出检查项的设置；支持初始化代码。 8) 支持桩函数的赋值打桩和代码打桩，支持代码打桩时的全局变量、参数的数据监控及一致性检查。 9) 支持桩函数调用次数的一致性检查，支持循环次数展示。 10) 支持对局部变量的输出值进行显示与验证。 11) 支持以文件树形式对项目进行查看及选择，支持可以选择部分代码按任务进行测试及覆盖率统计，报告的生成。 12) 支持可视化展示代码的控制流程图CFG，在CFG图中体现C/C++的逻辑控制流，将if、while、for中的条件组合表达式作为控制流图的基本逻辑块展示。 13) 支持交互式的CFG图、源代码高亮覆盖分析。支持覆盖特定CFG代码块节点的测试用例检索。 14) 支持单条/批量的测试用例覆盖分析。支持对用例贡献程度进行分析。 15) 支持逻辑真值表展示及覆盖情况分析；支持MC/DC覆盖逻辑表达式的条件组合真值表。 16) 支持自动识别死循环代码，支持手动设置死循环执行次数。 17) 支持除零、空指针、数据越界等运行时错误检查。 18) 支持缺陷管理，可以明确缺陷位置及缺陷名称、缺陷状态确认、备注等，可在代码缺陷管理页面进行添加、删除等操作。 5.嵌入式软件集成测试 1) 支持自动化集成测试。 2) 支持一键测试，支持针对函数、调用等覆盖准则的测试用例自动生成。 3) 支持以函数为最小粒度的集成，支持用户自定义的集成范围层级配置，支持全集成，支持批量打桩与集成等集成方案设置。 4) 支持以文件树形式对项目进行查看及选择，支持可以选择部分代码按任务进行测试及覆盖率统计，报告的生成。 5) 支持可视化展示代码的控制流程图CFG，在CFG图中体现C/C++的逻辑控制流，将if、while、for中的条件组合表达式作为控制流图的基本逻辑块展示。 6) 支持交互式的函数调用关系图或CFG图，与源代码高亮覆盖分析。支持覆盖特定CFG代码块节点的测试用例检索。 7) 支持单条/批量的测试用例覆盖分析。支持对用例贡献程度进行分析。 8) 支持逻辑真值表展示及覆盖情况分析；支持MC/DC覆盖逻辑表达式的条件组合真值表。 9) 支持自动识别死循环代码。 10) 支持除零、空指针、数据越界等运行时错误检查。 11) 支持缺陷管理，可以明确缺陷位置及缺陷名称、缺陷状态确认、备注等，可在代码缺陷管理页面进行添加、删除等操作。 6.自动化模糊渗透测试 1) 支持测试工程管理功能，支持测试工程**、保存、打开； 2) 支持测试用例的管理，支持新增、删除等操作功能； 3) 支持支持用户自行编写测试脚本，自定义测试用例可接入测试系统中进行管理与执行； 4) 支持Ethernet II、ARP、IPv4、IPv6、ICMP、UDP等常用以太网协议的仿真、解析、存储、监控和回放等功能； 5) 支持 802.11、UWB，以及蓝牙协议体系下的 HCI、L2CAP、SDP、ATT、SMP、BNEP、RFCOMM等常用无线协议的仿真、解析、存储、监控和回放等功能； 6) 支持遍历、随机、智能模糊等多种变异策略，支持位翻转、字 段交换、字节滑动、边界值变异等多种变异算法； 7) 支持Ethernet II、ARP、IPv4、IPv6、ICMP、UDP、TCP、SOME/IP、DoIP、DDS、MQTT等以太网协议模糊测试 8) 支持USB协议模糊测试，支持模拟Mouse、Keyboard、ECM、 RNDIS、MSC等类型设备。 9) 支持 Ethernet II、ARP、IPv4、ICMP、UDP、TCP、SOME/IP、DoIP等协议的渗透测试功能。 10) 支持协议报文字段自定义和测试用例参数可配置，支持测试用例的定制化开发； 11) 支持测试用例管理和测试过程记录与查询，用户可查看测试用例执行结果、上下文数据交互流程及其日志等相关内容，用于问题定位与复现，支持缺陷可视化管理； 12) 支持测试报告自动化生成，报告包括错误现场信息、变异策略 统计、缺陷数统计等信息，支持Word、Excel、PDF、HTML等格式。 |
参考链接
|
售后服务
| 质保期：1年，自货物验收合格之日起生效，质保期内无偿提供现场售后服务。 |
标书代写
