软件架构分析与验证工具-招标公告

软件架构分析与验证工具 项目已具备招标条件。资金来源国拨资金。中科信工程咨询（北京）有限责任公司（招标代理机构）受 中国航空工业集团公司西安飞机设计研究所 （招标人）的委托，对 该 项目进行国际公开招标采购。 1. 招标范围 1.1 货物名称：软件架构分析与验证工具 1.2 招标编号：0779-20400314A059 1.3 设备主要用途： 软件架构分析与验证工具支持对大规模复杂软件的架构进行分析、验证。提供图形化的软件架构建模功能，支持架构模型的层次嵌套；提供软件架构模型和软件源代码的映射功能，映射对象包括软件代码源程序及头文件；支持手工方式的映射设置和基于脚本的自动化映射设置；提供软件架构的分析验证功能，能够基于对源代码的分析自动验证代码实际架构与软件架构模型的一致性；支持对架构模型和代码分析结果持续迭代修正 。 1.4 数量： 1 套 （含4个浮动License） 。