公开(公告)号：CN116483683A

公开(公告)日：2023-07-25

申请号：CN202310165397.9

申请日：2023-02-24

Applicant: 上海航天计算机技术研究所

Inventor： 魏冬冬 ,  尹龙雯 ,  薛漭潮 ,  高赛军 ,  张风玲

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明公开了一种基于定制规则的嵌入式软件中断缺陷分析方法，包括步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，包括可配置的中断源信息识别规则和中断缺陷识别规则；步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树并根据程序语法分析树进行嵌入式软件的模块和结构分析；步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取；步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，结合中断源信息定制新的符合场景需要的中断缺陷识别规则；步骤S5，结合步骤S2～S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析并生成分析报表。

公开(公告)号：CN113900951A

公开(公告)日：2022-01-07

申请号：CN202111260072.6

申请日：2021-10-28

Applicant: 上海航天计算机技术研究所

Inventor： 薛漭潮 ,  魏冬冬 ,  周楷林 ,  张伟欣 ,  苏金梅

IPC: G06F11/36 ,  G06F16/903 ,  G06F16/904 ,  G06F16/906 ,  G06F21/60

Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。

公开(公告)号：CN113900951B

公开(公告)日：2025-02-07

申请号：CN202111260072.6

申请日：2021-10-28

Applicant: 上海航天计算机技术研究所

Inventor： 薛漭潮 ,  魏冬冬 ,  周楷林 ,  张伟欣 ,  苏金梅

IPC: G06F11/3668 ,  G06F16/903 ,  G06F16/904 ,  G06F16/906 ,  G06F21/60

Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。

公开(公告)号：CN116340151A

公开(公告)日：2023-06-27

申请号：CN202310205124.2

申请日：2023-03-06

Applicant: 上海航天计算机技术研究所

Inventor： 宋雷军 ,  申臻 ,  胡逸琳 ,  夏睿娴 ,  薛漭潮

IPC: G06F11/36 ,  G06F8/53

Abstract: 本发明提供一种目标码覆盖率统计方法，包括：覆盖统计设备通过解析DSP的可执行文件，将文件中的可执行代码反汇编，生成汇编代码，同时读取指令执行信息，将指令执行信息与汇编代码一一对应，形成覆盖率初始信息，通过指令器分类器，将覆盖率初始信息分为顺序执行语句信息和跳转语句信息两类，并进行分析，最后统计出DSP软件的覆盖率。对于同一软件的指令执行增量信息，进行合并处理，处理完成后再结合覆盖率统计分析设备统计软件运行的覆盖率。实现了DSP程序的目标码覆盖率统计，不需要对软件插装，破坏原程序的程序结构，避免了由于插装导致的程序膨胀率过高，进而影响原有程序运行时序和性能的问题，保证了软件覆盖率统计的正确性。