-
公开(公告)号：CN114356746A
公开(公告)日：2022-04-15
申请号：CN202111270479.7
申请日：2021-10-29
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种测试文档信息维护方法，包括：从管理人员的输入文档提取所需信息，经过初步处理后，存储在数据库；由测试人员向数据库中上传测试文档，并从文档中提取出项目的基本信息，并建立起新的数据库记录。最后在数据库中将管理人员的记录、测试人员的记录以及已有的项目信息记录建立新的映射关系链；再通过映射关系链将数据库中的信息显示于用户界面，显示给管理人员和测试人员。本发明通过提炼文档中的主要信息元素，生成相应的数据库记录并实时地显示在用户界面上，使用户能够及时得获取到同一个项目下的所需的所有文档信息，避免了因线下文档管理而导致的信息滞后。为管理测试文档提供了一种快速、便捷的方法。
-
公开(公告)号：CN113886051B
公开(公告)日：2024-10-25
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN113886051A
公开(公告)日：2022-01-04
申请号：CN202111244730.2
申请日：2021-10-25
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于事件流分析的多任务资源冲突检测方法，根据软件任务书和系统环境构建事件流，并确定各事件触发条件或开始时间和各事件处理时间片的集合{M1}；根据软件设计架构确定软件的所有任务、各项任务运行时间{M2}和各项任务运行时调用的资源{M3}；根据软件设计架构确定各事件调用软件任务调用的的关系{R1}；根据{R1}以{M1}中重合的时间点所调用的任务{M2}按照先后顺序排列成时间点的集合{M4}；形成{M3}和{M4}的映射；得到每个资源的使用频段；是否存在资源冲突，以及存在冲突的事件和任务。本发明用于静态的检测软件资源冲突情况，可以根据软件实际运用场景精确定位软件资源冲突，并针对存在冲突的事件和任务对测试人员进行提示。
-
公开(公告)号：CN116755354A
公开(公告)日：2023-09-15
申请号：CN202310805709.8
申请日：2023-07-03
Applicant: 上海航天计算机技术研究所
IPC: G05B17/02
Abstract: 本发明提供了一种基于光纤惯组接口控制FPGA的仿真验证系统，包括：仿时钟、复位模块、仿加表电路模块、仿1553B总线模块、仿模拟量采集模块、仿光纤陀螺模块、仿标度因数转换模块，以及仿加表数据计算模块等。通过仿标度因数转换模块和加表数据计算模块的运行结果，验证光纤惯组接口控制FPGA在硬件联试中的正确性，并模拟各种硬件限制下的极端工况。通过采集模拟量采集陀螺、温控电路数据，实现1553B总线通信功能，可仿真对光纤惯组接口控制FPGA输入各种控制指令，并返回遥测信息等，为光纤惯组接口控制FPGA提供闭环的仿真环境。本发明可应用于多种型号运载产品的光纤惯组接口控制FPGA的地面仿真验证，适用范围广。
-
公开(公告)号：CN113849413A
公开(公告)日：2021-12-28
申请号：CN202111201800.6
申请日：2021-10-15
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于知识库特征匹配的代码规则检查方法及系统，包括如下步骤：建立以缺陷代码规则为基础的代码知识库，所述代码知识库中的每一条缺陷代码规则具有规则描述和对应的规则特征值；分析待检测源代码，生成源代码的语法分析树，所述语法分析树用于所述源代码的代码语法结构分析以及对应规则特征值的提取和匹配；根据所述代码知识库中的规则特征值与所述语法分析树提出的规则特征值进行匹配，获取对应的缺陷代码规则，以实现所述源代码的缺陷检测。本发明采用语法分析树转化为规则特征值匹配代码规则的方法，具有误判率小，准确性高等优点，同时使用知识库的方式进行代码规则的匹配无需在新增或修改规则时对软件进行修改或重构。
-
Patent Agency Ranking
公开(公告)号：CN114356746B
公开(公告)日：2024-07-19
申请号：CN202111270479.7
申请日：2021-10-29
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种测试文档信息维护方法，包括：从管理人员的输入文档提取所需信息，经过初步处理后，存储在数据库；由测试人员向数据库中上传测试文档，并从文档中提取出项目的基本信息，并建立起新的数据库记录。最后在数据库中将管理人员的记录、测试人员的记录以及已有的项目信息记录建立新的映射关系链；再通过映射关系链将数据库中的信息显示于用户界面，显示给管理人员和测试人员。本发明通过提炼文档中的主要信息元素，生成相应的数据库记录并实时地显示在用户界面上，使用户能够及时得获取到同一个项目下的所需的所有文档信息，避免了因线下文档管理而导致的信息滞后。为管理测试文档提供了一种快速、便捷的方法。
-
公开(公告)号：CN116842884A
公开(公告)日：2023-10-03
申请号：CN202310805708.3
申请日：2023-07-03
Applicant: 上海航天计算机技术研究所
IPC: G06F30/34 , G06F30/343
Abstract: 本发明提供了一种基于相控阵天线波束控制FPGA的闭环仿真验证系统，包括：仿时钟、复位模块、仿SPI总线模块、仿T/R组件模块、仿相位/幅值计算模块。通过仿相位/幅值计算模块运行结果验证波束控制FPGA功能的正确性，并模拟其在硬件联测中硬件限制无法输入SPI总线部分异常控制数据的工况，可验证波束控制FPGA在各种工况下工作的正确性。同时，该系统还可记录波束控制FPGA产生的T/R组件控制时序，可仿真对波束控制FPGA输入各种控制指令，为波束控制FPGA提供闭环的仿真环境。本发明可拓展应用于多种型号的波束控制FPGA的SPI总线地面仿真验证。
-
公开(公告)号：CN113900951A
公开(公告)日：2022-01-07
申请号：CN202111260072.6
申请日：2021-10-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36 , G06F16/903 , G06F16/904 , G06F16/906 , G06F21/60
Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。
-
公开(公告)号：CN113900951B
公开(公告)日：2025-02-07
申请号：CN202111260072.6
申请日：2021-10-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/3668 , G06F16/903 , G06F16/904 , G06F16/906 , G06F21/60
Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。
-
公开(公告)号：CN111200533A
公开(公告)日：2020-05-26
申请号：CN202010016113.6
申请日：2020-01-07
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种基于OpenDDS的分布式网络配置部署方法，本发明提供的基于OpenDDS的分布式网络配置部署方法，通过使用配置文件和封装编程接口的方式向工程人员提供简化的OpenDDS网络中间件，使得工程人员能够在不具备OpenDDS相关知识的情况下，快速完成分布式网络的配置部署。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.031 seconds)
