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

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

自然语言描述
基于领域术语库
可多选 (ࠇ) 需求 功能描述 半结构化自然语言
必选 (聚合)
图形模型 UML、Simulink等
依赖
关联 输入端口
备注 设计 接口 输出端口 名称、类型、存储区域、占用空间、量纲、含义
输入输出端口
状态和参数 名称、类型、存储区域、占用空间、量纲、含义
开发语言
控制流图 软件IP功能的控制流图
平台环境 流程图
实现 数据流图 输入与输出之间的依赖关系
性能特征
源代码.c
存在形式 异常处理 可靠性与安全性保证措施
静态库.a
测试环境
测试 测试数据
测试结果
变更历史 变更时间、原因、内容
维护
记录在哪些领域的哪些项目中
应用情况 进行了使用 (飞行历史/应用次数)，
并且记录使用版本信息
图 10 软件开发过程知识

(1) 接口中包含了软件 IP 的输入端口、输出端口和输入输出端口. 这些端口是软件 IP 对资源需求的一种表
示, 因此对于每一个端口, 需要明确它的名称、类型、存储位置、存储空间、量纲和含义等.
(2) 状态和参数部分定义软件 IP 的状态变量和参数变量.
(3) 流程图包括控制流图和数据流图. 控制流图展示了软件 IP 功能的控制流; 数据流图展示了软件 IP 输入与
输出端口之间数据依赖关系, 即每一个输出端口依赖于哪些输入端口.
(4) 异常处理包括采用的可靠性与安全性的保证措施, 用于预防可能出现的故障以及明确故障出现后可采取
的应对措施.
3.2.3.3 实 现
实现部分包括开发语言、环境配置、性能特征和存在形式.
(1) 开发语言部分声明了软件 IP 的代码是由哪种编程语言编写.
(2) 平台环境包括软件 IP 的运行对处理器、编译器和操作系统等的要求.
(3) 性能特征包括时间、空间、精度 (数据类型)、大小端、圈复杂度等.
(4) 存在形式包括源代码 (.c 文件) 或者静态库 (.a 文件) 等.
3.2.3.4 测 试
测试部分包括测试环境、测试数据和测试结果.
(1) 测试环境包括测试运行其上的软件和硬件环境的描述.
(2) 测试数据中列出一些比较有代表性的测试数据, 这些测试数据构成的输入-输出对支持软件 IP 的搜索. 在
一些情况下, 用户可能无法清晰地描述需要使用的 IP, 但是知道给定这个 IP 一个输入会得到特定的输出, 那么用
户可以根据这些输入-输出对在知识库中搜索满足需求的 IP.
(3) 测试结果中包括测试类型 (例如单元测试或者集成测试)、是否达到测试目标以及针对某项指标 (例如分
支覆盖) 的覆盖率等, 根据测试结果可以对软件 IP 进行可信等级评估 (certification).
3.2.3.5 维 护
维护部分包括变更历史和应用情况.