运行时错误检查工具招标公告

招标公告 项目所在地区： 江苏 省， 扬州 市 1. 招标条件 本招标项目 运行时错误检查工具 （项目名称）（项目编号： 0747-2660SCCZE267 ）招标人为 中航机载系统共性技术有限公司 ，招标项目资金已落实。本项目已具备招标条件，现对 运行时错误检查工具 （设备名称）采购进行公开招标。 2. 项目概况与招标范围 2.1 项目名称： 运行时错误检查工具 。 2.2 设备名称： 运行时错误检查工具 。 2.3 数量： 1 套 。 2.4 招标文件简要技术规格： 运行时错误检查工具是一个基于抽象解释的静态验证工具，通过语义分析技术对程序进行分析，以数学证明级别的可靠性（无漏报），自动验证软件中是否存在除零、溢出、空指针解引用、数组越界等运行时错误，并可通过参数化配置实现零误报。 2.5 交货期： 合同签订生效后 1 个月内 交付基础版本 。