-
公开(公告)号：CN118539964A
公开(公告)日：2024-08-23
申请号：CN202410601138.0
申请日：2024-05-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: H04B7/185 , H04L41/14 , H04L41/06 , H04L43/0876 , H04L43/08
Abstract: 本发明提供了一种星载FPGA可配置通用测试系统，包括：硬件板卡搭载主芯片SOC和外设，用于为被测件提供运行时的外围电路环境，并提供实时的测试激励和回传测试结果；上位机用于用户对测试进行配置、流程控制和结果显示。本发明采用硬件板卡为被测件提供外围电路运行环境，使得测试时序贴近被测件真实运行场景；同时利用通用配置项协议实现实时配置传输功能，使得板卡能够为被测件实时提供测试激励，有效提高测试效率和测试覆盖率；通过多种故障注入模式，对被测件的稳定性进行深入测试，同时具备一定的自动化测试功能，还能够为用户提供集成好的测试接口，使得平台操作更加简便，可以有效降低用户的操作难度。
-
公开(公告)号：CN112487404B
公开(公告)日：2024-08-23
申请号：CN202011479691.X
申请日：2020-12-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F21/44
Abstract: 本发明提供了一种计算机安全审计系统及方法，包括：信息特征提取模块提取需交换信息的信息特征；时间特征提取模块提取需交换信息的时间特征，并提供至请求码生成模块；硬件特征提取模块提取需交换信息的硬件特征，并提供至请求码生成模块；请求码生成模块根据信息特征、时间特征及硬件特征生成请求码，发送至解锁码生成模块；解锁码生成模块根据请求码生成解锁码，提供至信息授权模块、时间授权模块、硬件授权模块及审计监视计算机；审计监视计算机根据解锁码进行信息的交换；信息授权模块根据解锁码监视需交换信息的的交换信息；时间授权模块根据解锁码监视需交换信息的的交换时间；硬件授权模块根据解锁码监视需交换信息的的交换硬件。
-
公开(公告)号：CN113392025A
公开(公告)日：2021-09-14
申请号：CN202110759404.9
申请日：2018-03-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种对可重构FPGA软件进行过程监控的方法，包括：利用可重构FPGA软件的专用验证测试系统在对重要内部信号进行复制监控的同时，通过FPGA管脚进行引出，并且将所述重要内部信号通过所述FPGA管脚从测试板上传递到主控FPGA板上进行采集。其中可重构FPGA软件的专用验证测试系统包括：信号传递层模块；验证指令层模块；验证功能层模块；验证环境层模块；及验证顶层模块。
-
公开(公告)号：CN108388516B
公开(公告)日：2021-07-23
申请号：CN201810208126.6
申请日：2018-03-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种可重构FPGA软件的专用验证测试系统，包括：信号传递层模块，所述信号传递层模块提供与待测可重构FPGA软件直接的信号互联，并且被所述专用验证测试系统的其它模块所访问；验证指令层模块，所述验证指令层模块对所述可重构FPGA软件的待测目标重构代码最前端输入及最末端输出进行监控，并且还对所述待测目标重构代码的运行过程进行监控；验证功能层模块，所述验证功能层模块将所述待测目标重构代码的输出结果和验证平台的处理结果进行比对；验证环境层模块，所述验证环境层模块对场景使用在环境层中进行注册；及验证顶层模块，所述验证顶层模块定义全局顶层文件，并约束全局变量以及待测目标重构代码的工作模式。
-
Patent Agency Ranking
公开(公告)号：CN112487404A
公开(公告)日：2021-03-12
申请号：CN202011479691.X
申请日：2020-12-15
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F21/44
Abstract: 本发明提供了一种计算机安全审计系统及方法，包括：信息特征提取模块提取需交换信息的信息特征；时间特征提取模块提取需交换信息的时间特征，并提供至请求码生成模块；硬件特征提取模块提取需交换信息的硬件特征，并提供至请求码生成模块；请求码生成模块根据信息特征、时间特征及硬件特征生成请求码，发送至解锁码生成模块；解锁码生成模块根据请求码生成解锁码，提供至信息授权模块、时间授权模块、硬件授权模块及审计监视计算机；审计监视计算机根据解锁码进行信息的交换；信息授权模块根据解锁码监视需交换信息的的交换信息；时间授权模块根据解锁码监视需交换信息的的交换时间；硬件授权模块根据解锁码监视需交换信息的的交换硬件。
-
公开(公告)号：CN108388516A
公开(公告)日：2018-08-10
申请号：CN201810208126.6
申请日：2018-03-14
Applicant: 上海微小卫星工程中心
IPC: G06F11/36
Abstract: 本发明公开了一种可重构FPGA软件的专用验证测试系统，包括：信号传递层模块，所述信号传递层模块提供与待测可重构FPGA软件直接的信号互联，并且被所述专用验证测试系统的其它模块所访问；验证指令层模块，所述验证指令层模块对所述可重构FPGA软件的待测目标重构代码最前端输入及最末端输出进行监控，并且还对所述待测目标重构代码的运行过程进行监控；验证功能层模块，所述验证功能层模块将所述待测目标重构代码的输出结果和验证平台的处理结果进行比对；验证环境层模块，所述验证环境层模块对场景使用在环境层中进行注册；及验证顶层模块，所述验证顶层模块定义全局顶层文件，并约束全局变量以及待测目标重构代码的工作模式。
-
公开(公告)号：CN104201526A
公开(公告)日：2014-12-10
申请号：CN201410335778.8
申请日：2014-07-15
Applicant: 上海微小卫星工程中心
IPC: H01R31/06
Abstract: 本发明提供一种通用的信号转接装置，包括面板、底板和一个或多个设置于面板与底板之间的插板；所述面板上设置多个第一接插件，每一所述第一接插件的一端用于与外部目标设备连接，另一端用于与所述插板的一端连接，所述第一接插件的信号定义与所述外部目标设备信号定义一致；所述底板上设置多个第二接插件及多个的第三接插件，所述第二接插件的一端与所述插板的另一端连接，以使所述第二接插件的信号定义与所述外部目标设备信号定义一致，多个所述第二接插件按照所述外部目标设备的接口信号的排布方式与多个所述第三接插件的一端对应连接，每一所述第三接插件的另一端与外部标准测试设备连接并按照信号类型归类。
-
公开(公告)号：CN119938513A
公开(公告)日：2025-05-06
申请号：CN202411778579.4
申请日：2024-12-05
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F11/3668
Abstract: 本发明公开了一种定制化的装备软件测试数据自动生成方法，具体步骤如下：步骤一、构建应用层接口模板并实例化为接口实例模型；步骤二、设置字段关联关系及变化规则；步骤三、配置各字段数据的测试覆盖策略和配置数据提取方法；步骤四、生成测试数据；步骤五、生成测试数据组帧集合；本方法的测试数据自动生成模型将通讯协议形式化为可展示、可操作的字段格式，支持配置字段属性，能够按字段配置测试要求，测试数据自动生成模型定义的各接口模版具备通用性、可复用性及灵活配型性的特点。
-
公开(公告)号：CN119917405A
公开(公告)日：2025-05-02
申请号：CN202411848842.2
申请日：2024-12-16
Applicant: 中国科学院微小卫星创新研究院 , 上海微小卫星工程中心
IPC: G06F11/3668
Abstract: 本发明公开了一种接口测试覆盖率统计方法，形式化模型可根据软件特定需求配置覆盖率统计要素，因此可基于应用层需求和安全性需求对验证考核要素进行配置（如字段异常数据、超范围超限数据以及存在特定变化需求数据），这种自定义考核要素方式能够满足在不同测试要求下的接口测试覆盖率采集需求。本方法的形式化模型将通讯协议形式化为可展示、可操作的字段格式，支持配置字段属性。形式化模型定义的各接口模版具备通用性、可复用性及灵活配型性的特点。向形式化模型输入数据后模型自动进行覆盖率分析统计，输出以字段为颗粒度的精细化覆盖率统计结果。统计结果能够展示准确的测试未覆盖内容，以指导后续可能补充测试工作。
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.06 seconds)
