Page 292 - 《软件学报》2026年第3期

徐雄 等: 嵌入式软件 IP 通用模型 1255

7.3 验证视图
软件 IP 的验证视图如图 16 所示. 相比于设计视图, 验证视图增加了形式模型的内容, 包括形式规约、非功能
约束和 IP 不变式.

验证视图 分类

名称
设
关键词 计
视
图
功能描述

设计

形式规约

形式模型 非功能约束
IP不变式
图 16 软件 IP 的验证视图

7.4 开发视图
软件 IP 的开发视图如图 17 所示. 开发视图在设计视图的基础上增加了知识模型中的实现部分 (包括开发语
言、环境配置、性能特征和存在形式) 以及与软件 IP 代码相关的内容.

开发视图 分类

名称
设
关键词 计
视
图
功能描述

设计 开发语言
平台环境
实现 性能特征
存在形式
接口 在.h文件中声明
程序代码
实体 源代码 (.c) 或静态库 (.a)
图 17 软件 IP 的开发视图

7.5 管理视图
软件 IP 的管理视图与其他视图不同, 它主要包括软件 IP 的基本信息以及各种文档和数据. 从 IP 的管理视图