-
Patent Agency Ranking
公开(公告)号：CN108710551B
公开(公告)日：2021-12-07
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN118012768A
公开(公告)日：2024-05-10
申请号：CN202410222256.0
申请日：2024-02-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种智能软件一体化测试方法，涉及一种安全攸关智能软件的评测技术，覆盖了智能软件的数据集、学习程序以及智能模型等软件制品，评测的内容包括训练数据集的质量、学习程序的质量、算法的正确性、算法鲁棒性、模型不确定性以及测试充分性，最后可以对智能软件的质量进行综合评价，能够解决现有测试方法系统性不足的问题，一体化评测的自动化程度高，克服了当前相关评测系统功能单一、评测不充分的困难。
-
公开(公告)号：CN117873855A
公开(公告)日：2024-04-12
申请号：CN202310787872.6
申请日：2023-06-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于深度神经网络软件的可配置获取覆盖率方法及装置，方法包括步骤一，配置模型参数；步骤二，配置数据集参数；步骤三，配置覆盖率准则和参数；步骤四，执行深度神经网络测试；步骤五，提取覆盖率信息文件；装置包括配置模型参数模块、配置数据集参数模块、配置覆盖率准则和参数模块和生成覆盖率报告模块，本发明通过脚本配置模型参数、数据集参数、深度神经网络覆盖率准则和参数，来执行深度神经网络测试，计算和更新各种可配置的覆盖率，提取覆盖率信息文件，合并生成覆盖率报告，提供了切实可行的深度神经网络软件的可配置覆盖率方法，解决了航天智能软件缺乏有效覆盖率评估标准的问题。
-
公开(公告)号：CN117827635A
公开(公告)日：2024-04-05
申请号：CN202310787735.2
申请日：2023-06-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了基于深度神经网路软件的自适应覆盖率方法及装置，方法包括：步骤一：解析导入深度学习框架导入库，根据规则自适应选择深度学习框架模板；步骤二：根据框架模板解析加载测试数据集和深度学习模型后，插桩神经元输出列表、神经元覆盖列表、激活神经元数、神经元总数、神经元阈值初始化语句；步骤三：解析循环测试数据过程中，插桩更新覆盖率函数；步骤四：解析循环测试数据结束后，插桩打印输出神经元覆盖率语句；本发明通过规则自适应选择深度学习框架模板，插桩神经元覆盖率初始化语句和函数以及神经元覆盖率统计输出语句，解决了航天智能软件配置项采用多深度学习框架评估覆盖的测试不充分问题。
-
公开(公告)号：CN108710551A
公开(公告)日：2018-10-26
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F11/2236 , G06F11/261
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
-
-
-
Search Results
15
records
(took 0.027 seconds)
