综合显示单元软件宿主机软件自动化验证平台-招标公告

1. 招标条件 本招标项目 综合显示单元软件宿主机软件自动化验证平台 （项目名称）的招标人为 中国航空无线电电子研究所 ，招标项目资金已落实，已具备招标条件，现进行国内公开招标。 2. 项目概况与招标范围 2.1 招标编号： ZC25G250078 2.2 项目名称：综合显示单元软件宿主机软件自动化验证平台 2.3 数量：壹套 2.4 主要用途：综合显示单元软件宿主机软件自动化验证平台提供满足 DO-178C 标准的软件集成自动化测试环境，为软件测试活动提供自动化测试环境，支持基于形式化需求的用例自动生成，支持综合显示单元软件的集成数据激励。实现了在非嵌入式平台（ Windows ）的测试执行，实现对驻留软件的测试验证。包括软件研制测试集成模块、软件验证自动化测试模块、软件验证宿主机仿真模块、软件验证分布式调度模块、软件验证分析模块。