-
公开(公告)号：CN117785687A
公开(公告)日：2024-03-29
申请号：CN202311788711.5
申请日：2023-12-25
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、对抗样本生成工具和可视化分析工具；所述步骤2.1中，测试对象包括文档、程序代码和智能系统；所述步骤三中，测试对象为在轨应用运行后软件系统；本发明将航天智能装备软件测试划分为模型验证、系统部署和在轨应用三个阶段，并明确了各阶段的执行顺序，建立了三个阶段的测试框架，保证了各阶段测试活动过程明确、清晰、可落地，进而保证对智能模型及软件系统测试活动的有效性和充分性。
-
公开(公告)号：CN112380132B
公开(公告)日：2024-03-29
申请号：CN202011314574.8
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36 , G06F18/214 , G06N20/20
Abstract: 本发明实施例公开了一种基于航天软件缺陷数据集类不平衡的对抗验证方法及装置。所述方法包括：获取航天嵌入式软件对应的缺陷数据训练集和缺陷数据测试集；合并所述缺陷数据训练集和所述缺陷数据测试集，生成合并数据集；基于集成学习方法对所述合并数据集中的缺陷数据样本进行预测，确定所述缺陷数据样本对应的预测概率；根据所述预测概率，对所述合并数据集中的缺陷数据样本进行升序排序，并从所述缺陷数据样本中筛选出设定比例的缺陷数据样本，得到所述航天嵌入式软件对应的验证数据样本。本发明实施例提供了切实可行的缺陷数据集的对抗验证方法，能够解决航天嵌入式软件缺陷预测工程实践测试集与训练集分布不一致的问题。
-
公开(公告)号：CN112269732B
公开(公告)日：2024-01-05
申请号：CN202011097889.1
申请日：2020-10-14
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种软件缺陷预测特征的选择方法及装置。所述方法包括：根据历史软件缺陷数据库，获取领域缺陷数据集；基于Bootstrap抽样技术对所述领域缺陷数据集进行抽样处理，生成软件缺陷样本集；基于所述软件缺陷样本集和马尔科夫毯模型，对原始特征进行分组，得到多个特征组；根据预先设计的启发式特征选择策略，从所述多个特征组中筛选出初始特征，得到筛选的候选特征序列；基于遗传算法从所述候选特征序列中搜索出目标特征子集。本发明能够更有效地提高软件缺陷预测准确性。
-
公开(公告)号：CN115454862A
公开(公告)日：2022-12-09
申请号：CN202211139603.0
申请日：2022-09-19
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于关键字驱动的自动化测试并行执行系统，包括：并行执行管理模块，用于对测试子线程进行管理；关键字步骤并行执行模块，用于创建测试子线程的可执行环境；信息交互模块，用于实现线程间的信息传递和交互；异常处理模块，用于在关键字步骤执行错误时判断测试用例是否继续执行；执行结果管理模块，用于对关键字步骤的执行结果进行统计和管理；日志信息模块，用于形成完整的测试执行过程记录；并行执行关键字库，用于将并行执行机制融入基于关键字驱动的自动化测试架构；并行测试驱动模块，用于实现对嵌入式软件全数字自动化测试。本发明解决了现有的基于关键字驱动的自动化测试框架下因单线程执行关键字步骤导致测试效率不高的问题。
-
公开(公告)号：CN115293084A
公开(公告)日：2022-11-04
申请号：CN202210759348.3
申请日：2022-06-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/347 , G06F30/331 , G06F30/327
Abstract: 一种门级网表跨时钟域自动化分析方法及系统，通过包括仿真库自动抽象模块、Verilog程序分析模块、门级网表时钟树和复位树推断模块、跨时钟域特征识别模块、违规显示模块，进行Verilog语言解析、仿真库自动抽象、门级网表时钟树推断、门级网表复位树推断、跨时钟域特征电路识别和违规显示步骤，能够通过静态分析的方法分析可编程逻辑设计门级网表的跨时钟域风险并且对设计缺陷进行精确定位，提高了可编程逻辑设计可靠性。
-
Patent Agency Ranking
公开(公告)号：CN114896145A
公开(公告)日：2022-08-12
申请号：CN202210453325.X
申请日：2022-04-27
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种用于符号执行的复杂类型输入变量懒符号化方法及系统，包括生成输入驱动文件，通过入口函数指定输入变量和驱动被测函数；分配符号内存；当执行到一条语句时，解释执行和符号执行分别对同一地址上的实际值和符号值进行操作；在执行过程中对内存地址访问时，解释执行直接读写实际值映射表内容；符号执行先检查符号值映射表中该地址上是否存在符号值，存在则直接读写；不存在则创建一个新符号值，符号值映射表中新增一条地址与符号值的映射，再进行正常读写；一次符号执行结束后对收集的约束取反以及求解，最终得到表达式与值的映射关系，生成用例数据文件。本发明针对复杂类型的输入变量，采用懒符号化策略，提升用例的生成速度和降低内存开销。
-
公开(公告)号：CN114866178A
公开(公告)日：2022-08-05
申请号：CN202210343890.0
申请日：2022-03-31
Applicant: 北京轩宇信息技术有限公司
IPC: H04J3/06
Abstract: 本发明公开了一种基于步长的分布式仿真系统时间同步方法，包括：确定不同仿真节点之间的同步步长；确定在每台计算机上的各仿真节点之间的本地时间同步步长t；确定分布式仿真系统时间同步步长T；要求T是t的整数倍；在每台计算机上，各个仿真节点按照本地时间同步步长t进行同步运行，每个仿真节点在运行至本地同步基准线；当所有仿真节点第n次到达本地同步基准线，且满足条件n*t＝T时，向网络中其他计算机发送该机已经运行至下一个分布式同步基准线的信号，并检查是否已经接收到所有其他计算机已经运行至下一个分布式同步基准线的信号。本发明可以减少网络延迟的影响，降低虚拟仿真节点之间的时间同步开销，从而提升分布式仿真系统性能。
-
公开(公告)号：CN108710551B
公开(公告)日：2021-12-07
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN108563467B
公开(公告)日：2021-12-07
申请号：CN201810247274.9
申请日：2018-03-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/4401 , G06F8/41 , G06F21/57
Abstract: 一种符合安全保密的带触摸屏PAD及实现方法，首先制作符合安全保密要求的PAD硬件，然后将PAD的操作系统修正为Win7系统，并注入USB3.0和WIN NVMe驱动程序，安装杀毒软件、保密三合一软件，最后编译并安装PAD触摸屏驱动程序，完成符合安全保密的带触摸屏的PAD。本发明方法实现得到的安全保密PAD与现有技术相比，可应用在涉密场所会议、评审等，实现无纸化办公，避免了大量涉密材料打印，规避了涉密文件销毁过程中的操作失误导致的泄密问题，便于涉密资料的管理。
-
公开(公告)号：CN112269648A
公开(公告)日：2021-01-26
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.029 seconds)
