北京航空航天大学2024年10月政府采购意向-北京航空航天大学+软件学院+智能模糊测试工具详细情况万元人民币
北京航空航天大学2024年10月政府采购意向-北京航空航天大学+软件学院+智能模糊测试工具详细情况万元人民币
北京航空航天大学+ (略) +智能模糊测试工具 | |
项目所在采购意向: | 北京航空航天大学2024年10月政府采购意向 |
采购单位: | 北京航空航天大学 |
采购项目名称: | 北京航空航天大学+ (略) +智能模糊测试工具 |
预算金额: | 100.*万元(人民币) |
采购品目: | A* 计算机软件作品 |
采购需求概况 : | a) 支持 C/C++、Python、Go、JS等主流语言源代码工程、C/C++代码编译的Linux上运行的 ELF二进制程序等多种目标的模糊测试。 cccc) 可检测内存使用错误、内存分配错误、线程错误、未定义行为和其他自定义错误。 b) 源代码目标测试时,支持基于入口函数列表在函数级自动生成多套测试驱动代码,并支持测试驱动代码的在线编辑与新增。自动生成的测试驱动可覆盖50%以上入口函数,驱动成功率20%以上。 c) 支持查看源代码测试工程每个文件的详细测试覆盖信息,代码行覆盖支持色块标注,并展示每一行的覆盖次数方便用户直接查看覆盖情况。 d) 支持在系统内直接复现缺陷以及开启动态调试,提供复现日志,支持以命令行方式进行调试,观察、控制程序的行为。 e) 支持通过定制方式集成开源引擎能力,包括但不限于:libfuzzer、afl/afl++、radamsa、jazzer、jazzer.js、gofuzz、cargofuzz、athries等,引擎列表中提供引擎名称、适用工程、创建状态、操作系统环境、处理器架构、引擎文件等信息,并支持根据引擎名称和类型进行精准搜索。 f) 支持对同一入口函数发起多个并行模糊测试任务,并支持多任务间的种子同步。 |
预计采购时间: | 2024-10 |
备注: |
本次公开的采购意向是本单位政府采购工作的初步安排,具体采购项目情况以相关采购公告和采购文件为准。
北京航空航天大学+ (略) +智能模糊测试工具 | |
项目所在采购意向: | 北京航空航天大学2024年10月政府采购意向 |
采购单位: | 北京航空航天大学 |
采购项目名称: | 北京航空航天大学+ (略) +智能模糊测试工具 |
预算金额: | 100.*万元(人民币) |
采购品目: | A* 计算机软件作品 |
采购需求概况 : | a) 支持 C/C++、Python、Go、JS等主流语言源代码工程、C/C++代码编译的Linux上运行的 ELF二进制程序等多种目标的模糊测试。 cccc) 可检测内存使用错误、内存分配错误、线程错误、未定义行为和其他自定义错误。 b) 源代码目标测试时,支持基于入口函数列表在函数级自动生成多套测试驱动代码,并支持测试驱动代码的在线编辑与新增。自动生成的测试驱动可覆盖50%以上入口函数,驱动成功率20%以上。 c) 支持查看源代码测试工程每个文件的详细测试覆盖信息,代码行覆盖支持色块标注,并展示每一行的覆盖次数方便用户直接查看覆盖情况。 d) 支持在系统内直接复现缺陷以及开启动态调试,提供复现日志,支持以命令行方式进行调试,观察、控制程序的行为。 e) 支持通过定制方式集成开源引擎能力,包括但不限于:libfuzzer、afl/afl++、radamsa、jazzer、jazzer.js、gofuzz、cargofuzz、athries等,引擎列表中提供引擎名称、适用工程、创建状态、操作系统环境、处理器架构、引擎文件等信息,并支持根据引擎名称和类型进行精准搜索。 f) 支持对同一入口函数发起多个并行模糊测试任务,并支持多任务间的种子同步。 |
预计采购时间: | 2024-10 |
备注: |
本次公开的采购意向是本单位政府采购工作的初步安排,具体采购项目情况以相关采购公告和采购文件为准。
最近搜索
无
热门搜索
无