任务系统软件代码架构分析与验证工具Axivion-招标公告

任务系统软件代码架构分析与验证工具 Axivion项目已具备招标条件。资金来源国拨资金， 出资比例为 100 % 。 中科信工程咨询（北京）有限责任公司受 沈阳飞机设计研究所 的委托， 对该项目进行国际公开招标采购。 1. 招标范围 1.1 货物名称：任务系统软件代码架构分析与验证工具 Axivion 1.2 招标编号： 0779-21400302A012 1.3主要功能 用途： 主要用于工程研制阶段配置级软件架构的分析设计以及对现有软件架构合理性进行客观的分析评价和优化设计，并对现有软件架构更改的违例设行为进行监管提示，从软件的架构角度对复杂软件的架构进行分析和验证，从而更有效的实现对规模复杂软件的测试验证和安全及质量方面的保证。要求能够对任务系统软件架构提供图形化架构建模功能，支持架构模型嵌套，能够对现有软件代码进行逆向分析展示静态结构，可辅助设计人员实现软件架构持续迭代修正。