-
公开(公告)号：CN116483683A
公开(公告)日：2023-07-25
申请号：CN202310165397.9
申请日：2023-02-24
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于定制规则的嵌入式软件中断缺陷分析方法，包括步骤S1：建立嵌入式软件中断缺陷分析的规则知识库，包括可配置的中断源信息识别规则和中断缺陷识别规则；步骤S2：通过嵌入式软件源代码及相关配置文件生成程序语法分析树并根据程序语法分析树进行嵌入式软件的模块和结构分析；步骤S3：根据步骤S1的中断源信息识别规则和步骤S2的软件模块和结构信息，进行中断源信息识别和提取；步骤S4：用户根据识别出的中断源信息和业务需要，从规则知识库中选择待应用的中断缺陷分析规则，结合中断源信息定制新的符合场景需要的中断缺陷识别规则；步骤S5，结合步骤S2～S4的识别信息和规则信息，进行嵌入式软件中断缺陷分析并生成分析报表。
-
公开(公告)号：CN112184499A
公开(公告)日：2021-01-05
申请号：CN202011106751.3
申请日：2020-10-15
Applicant: 上海航天计算机技术研究所
IPC: G06Q50/18 , G06Q10/08 , G06F40/186
Abstract: 本发明提供了一种基于多系统协作的合同生成方法和系统，该方法包括：根据合同类型，从合同管理系统中确定合同模板；根据合同模板，匹配生成对应的合同模板界面，合同模板界面中包括至少一项合同要素；从科研生产管理系统、价格管理系统、供应商管理系统中获取与合同要素相关联的目标内容；将目标内容分别填充至合同模板界面对应的合同要素中，生成预设格式的合同文本。本发明通过提取合同要素，将合同简化为一个标准化的模板，通过关联合同要素与其它实时交互系统实现合同文本的快速填写，同时规避了由于人工输入而导致的各种错误，为合同制作人员提供了一种快速、便捷、安全的合同生成方法。
-
公开(公告)号：CN111209154A
公开(公告)日：2020-05-29
申请号：CN202010009224.4
申请日：2020-01-02
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种虚拟1553B总线设备的实现方法，包括：按照真实1553B板卡，设置供应用程序调用的API接口；通过虚拟1553B总线对本机的通用寄存器进行虚拟化，以及对虚拟1553B总线数据传输时的控制逻辑和响应状态进行仿真；编写网络调用程序，向虚拟1553B设备提供网络接入服务；通过网络调用程序，设置模拟的总线控制器和远程终端，并通过总线控制器和远程终端执行对总线指令字、数据字、状态字的计算；设置故障数据的格式和注入机制，并对虚拟1553B总线设备的通讯过程进行虚拟。本发明提供1553B常用数据传输机制的模拟，实现1553B总线的软件虚拟和故障注入能力，能够降低搭建测试环境的成本。
-
公开(公告)号：CN108196527B
公开(公告)日：2020-04-07
申请号：CN201711478194.6
申请日：2017-12-29
Applicant: 上海航天计算机技术研究所
IPC: G05B23/02
Abstract: 本发明公开了一种可重构配置的FPGA和DSP紧耦合架构的测试验证系统，包括可视化分系统、反馈控制分系统、与反馈控制分系统建立数据连接的目标机分系统，可视化分系统通过网络与反馈控制分系统进行通讯，接收并分析反馈控制分系统的反馈信号，向反馈控制分系统发送网络信号，网络信号包括控制信号、测试信号；反馈控制分系统负责目标分系统与外界数据的通讯，用于实现可重构配置的FPGA和DSP紧耦合架构的测试验证系统中所有数据的中转、调度；目标机分系统用于快速搭建可重构配置的包含FPGA与DSP芯片架构的目标原型机。该种测试验证系统，能够实现对被测试产品软件的正常功能测试和异常故障测试，并能够实现对FPGA与DSP之间的信号监测和篡改、故障注入功能。
-
公开(公告)号：CN109582479A
公开(公告)日：2019-04-05
申请号：CN201811479697.X
申请日：2018-12-05
Applicant: 上海航天计算机技术研究所
Abstract: 本发明公开了一种基于反射内存卡的OpenDDS分布式通信方法，其中包括CORBA远程调用通信中基于UDP的DIOP协议修改，使用反射内存卡替换底层通信介质，将UDP数据流截断并使用反射内存卡传输，自适配通信环境中反应器监控通知机制的触发，基于反射内存卡的DIOP协议的加载和使用，在OpenDDS已支持的DIOP协议中快速实现数据重定向至反射内存卡。本发明使得OpenDDS中远程调用数据通过反射内存卡传输，将反射内存卡和发布/订阅模式结合，提供了一种高带宽、低延时的网络通信解决方案，更好地满足分布式系统实时性、可靠性的通信要求。
-
Patent Agency Ranking
公开(公告)号：CN108196527A
公开(公告)日：2018-06-22
申请号：CN201711478194.6
申请日：2017-12-29
Applicant: 上海航天计算机技术研究所
IPC: G05B23/02
Abstract: 本发明公开了一种可重构配置的FPGA和DSP紧耦合架构的测试验证系统，包括可视化分系统、反馈控制分系统、与反馈控制分系统建立数据连接的目标机分系统，可视化分系统通过网络与反馈控制分系统进行通讯，接收并分析反馈控制分系统的反馈信号，向反馈控制分系统发送网络信号，网络信号包括控制信号、测试信号；反馈控制分系统负责目标分系统与外界数据的通讯，用于实现可重构配置的FPGA和DSP紧耦合架构的测试验证系统中所有数据的中转、调度；目标机分系统用于快速搭建可重构配置的包含FPGA与DSP芯片架构的目标原型机。该种测试验证系统，能够实现对被测试产品软件的正常功能测试和异常故障测试，并能够实现对FPGA与DSP之间的信号监测和篡改、故障注入功能。
-
公开(公告)号：CN111209154B
公开(公告)日：2023-08-29
申请号：CN202010009224.4
申请日：2020-01-02
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种虚拟1553B总线设备的实现方法，包括：按照真实1553B板卡，设置供应用程序调用的API接口；通过虚拟1553B总线对本机的通用寄存器进行虚拟化，以及对虚拟1553B总线数据传输时的控制逻辑和响应状态进行仿真；编写网络调用程序，向虚拟1553B设备提供网络接入服务；通过网络调用程序，设置模拟的总线控制器和远程终端，并通过总线控制器和远程终端执行对总线指令字、数据字、状态字的计算；设置故障数据的格式和注入机制，并对虚拟1553B总线设备的通讯过程进行虚拟。本发明提供1553B常用数据传输机制的模拟，实现1553B总线的软件虚拟和故障注入能力，能够降低搭建测试环境的成本。
-
公开(公告)号：CN112181392B
公开(公告)日：2023-06-20
申请号：CN202011121631.0
申请日：2020-10-19
Applicant: 上海航天计算机技术研究所
Abstract: 本发明提供了一种自动判读硬件接口生成数字外部设备代码的方法和系统，该方法包括：根据被测件与外部设备对应的交互地址信息，确定配置文件；根据配置文件中不同类型的外部设备特征以及汇编码中交互地址的上下文，分析被测件与外部设备交互地址的方向；根据交互地址的方向，识别出不同类型外部设备对应的接口模式；根据不同类型外部设备对应的接口模式，自动生成平台中相应的读写调回函数模板；针对交互地址方向上被测件的读/写数据，分别生成固定格式的输入/输出数据表格。从而可以在被测件数字外部设备测试环境的基础上，减少平台开发过程人工参与度，缩短测试周期，减少测试平台开发引入的程序错误，提高了测试准确性、稳定性。
-
公开(公告)号：CN113934643A
公开(公告)日：2022-01-14
申请号：CN202111430805.6
申请日：2021-11-29
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于影响域路径分析的测试用例确定方法，包括，对测试程序的语法和控制流程进行分析，提取程序控制流程图的节点；对控制流程图的节点进行压缩，生成路径分支图；建立路径分支图和首轮测试用例集的映射关系；比对首轮测试程序和回归测试程序，生成回归测试的更改模块并进行更改影响域分析，生成回归测试程序的更改路径分支图；从测试用例中选取满足更改路径分支图最大覆盖率指标的最小测试用例集合，作为当前版本的回归测试用例集合。本发明还提供了测试用例确定系统。本发明的优点在于：降低回归测试所使用的测试用例的数量，提高回归测试的效率。
-
公开(公告)号：CN113900951A
公开(公告)日：2022-01-07
申请号：CN202111260072.6
申请日：2021-10-28
Applicant: 上海航天计算机技术研究所
IPC: G06F11/36 , G06F16/903 , G06F16/904 , G06F16/906 , G06F21/60
Abstract: 本发明提供一种软件测评数据维护系统，该系统包括：电子数据包文件集、可视化数据操作界面、数据导入模块、数据库管理接口，可以实现输入文档解析功能、数据分类存储功能、数据加密及管理功能、电子文档生成功能四大主要功能。本发明对软件测评的整个流程进行优化，实现对软件测评过程的结构化数据管理，有效解决现有软件测评过程中数据管理存在的工作繁琐、可维护性差、数据前后不一致性风险、被测件版本升级时数据处理效率低、对第三方编辑器类型及版本依赖程度高等弊端。此外，系统以电子数据包文件集为核心，支持多终端编辑审阅。
-
-
-
-
-
-
-
-
-
Search Results
25
records
(took 0.029 seconds)
