Page 290 - 《软件学报》2026年第3期
P. 290
徐雄 等: 嵌入式软件 IP 通用模型 1253
数据单
(Datasheet)
软件IP
知识模型
XML文件 功能的图形模型 控制流图 数据流图
形式模型
形式规约 非功能约束 IP不变式
实现
头文件 (.h) 源代码 (.c) 或静态库 (.a)
包含需求规格说明、设计报告、产品规
制品 说明
范、指南手册、使用说明、案例分析等
测试
测试报告 测试数据
仿真
仿真报告 仿真数据
变更时间
维护 变更原因
变更内容
维护记录
图 12 软件 IP 的目录结构
概念
基本
视图
用户定制 自定义 设计 模型
视图 视图
IP
管理 验证
文档和数据 视图 视图 形式化
实现
视图
实现
图 13 软件 IP 的视图
