Page 293 - 《软件学报》2026年第3期
P. 293

1256                                                       软件学报  2026  年第  37  卷第  3  期


                 可以获取与该     IP  相关的详细信息, 这些信息可以辅助基于            IP  的软件智能合成. 例如, 如果在      IP  合成或者验证的
                 过程中发现了问题, 那么可以切换到管理视图去查阅一些资料和文档, 以检查是否对                           IP  的理解有误, 然后再对     IP
                 进行相应的修改.
                    如图  18  所示, 软件  IP  的管理视图包含以下     5  部分.

                                  管理视图            基本信息         分类、名称、ID、关键词、需求描述
                                                               版本、版权归属、开发者、开发时间
                                                              需求规格说明、设计报告、产品规范、
                                                    说明
                                                              使用说明、案例分析等
                                                    测试         测试报告、测试用例


                                                    仿真         仿真报告、仿真数据


                                                    维护         变更时间、原因和内容
                                                  图 18 软件   IP  的管理视图

                    (1) 基本信息: 包括分类、名称、ID、关键词、需求描述、版本、版权归属、开发者、开发时间等; 基本信息
                 已经包括了    IP  的基本视图.
                    (2) 说明: 包括需求规格说明、设计报告、产品规范、使用说明、案例分析等文档.
                    (3) 测试: 包括测试报告和测试用例. 根据测试结果可以对               IP  的可信等级进行评估      (certification), 如果  IP  的测
                 试较为充分, 那么可以考虑省去对该           IP  的形式验证.
                    (4) 仿真: 包括仿真报告和仿真数据. 如果软件           IP  需求的图形模型     (如果有) 是可仿真的, 那么可以对该         IP  的
                 行为进行仿真, 产生的仿真报告和仿真数据可以在管理视图下查阅.
                    (5) 维护: 包括变更文档, 主要记录变更时间、变更原因与变更内容等.
                  7.6   用户自定义视图
                    基本视图是软件       IP  视图的“必选”项, 它反映了一个软件        IP  作为一个软件知识实体所包含最本质的信息. 软
                 件  IP  的其他视图是在基本视图的基础上添加相应的信息形成. 除了以上定义的设计、验证、开发和管理视图之
                 外, 用户可以在“必选”的基本视图基础上, 根据自己的偏好, 任意勾选一些“可选”项以形成相应的视图, 即用户自
                 定义视图.

                  8   案例分析: 软件    IP  提取

                    文献  [14] 首次提出了基于软件       IP  的嵌入式软件智能合成框架        (IPESIS), 但并未明确给出软件     IP  模型的具体
                 定义. 本文的关注点在于提出嵌入式软件             IP  通用模型的概念, 以支撑文献       [14] 的智能合成框架. 这一工作是迈出
                 “嵌入式软件智能合成”的第         1  步, 为后续研究  (包括软件   IP  的搜索和组装等) 奠定了理论基础.
                    为推动文献     [14] 中提出的  IPESIS  在实际场景中的应用落地, 本节将讨论软件            IP  的提取方法. 在实际的软件
                 工程项目中, 软件存量资产大多以程序代码和非形式化语言撰写的各类设计与需求文档等形式存在. 这给开发者
                 在不同应用场景下高效复用这些资产带来实质性困难. 此外, 由于软件存量资产通常规模庞大, 难以通过人工的方
                 式提取软件    IP. 因此, 本节提出一种从嵌入式软件存量资产自动提取软件                  IP  的方法, 并通过实际案例来展示提取
                 方法的有效性和可行性. 这部分工作将为             IPESIS  的后续研究提供实践基础.
                  8.1   软件  IP  提取方法
                    给定一个嵌入式软件工程项目作为输入, 我们将工程项目中的每个函数视为一个软件                            IP, 并提取其知识模型、
   288   289   290   291   292   293   294   295   296   297   298