-
公开(公告)号：CN109165161A
公开(公告)日：2019-01-08
申请号：CN201811004121.8
申请日：2018-08-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种针对C51语言程序中局部变量数据竞争的分析方法，所述方法包括：首先确定C51语言程序的基本顶层函数，然后确定竞争函数，之后分析竞争函数中局部竞争变量是否存在数据竞争风险。确定基本顶层函数包括3个子步骤：得到函数列表和变量列表、确定每个函数的父函数和子函数、确定基本顶层函数；确定竞争函数包括2个子步骤：确定每个函数的顶层函数、确定竞争函数；确定局部竞争变量的数据竞争风险包括2个子步骤：确定对局部竞争变量的写操作、确定局部竞争变量是否存在数据竞争风险。本发明方法具有分析过程简单、准确率高的特点。
-
公开(公告)号：CN107589960A
公开(公告)日：2018-01-16
申请号：CN201710761786.2
申请日：2017-08-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F9/38
Abstract: 本发明公开了一种基于寄存器访问冲突检测的DSP指令模拟方法，在识别出不符合顺序特征的指令之后，可以通过周期模式进行该类指令模拟，确保指令模拟的正确性；对于符合顺序特征的指令，可以省略对指令执行时流水线特征的模拟，在快速模式下利用现有技术快速模拟指令；这种通过对指令寄存器访问冲突的检测，在不同模式下分别对指令进行模拟，可以兼顾指令模拟的效率和正确性。
-
公开(公告)号：CN112257963B
公开(公告)日：2023-08-29
申请号：CN202011311120.5
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于航天软件缺陷数据分布离群点的缺陷预测方法及装置，包括：根据存在离群点现象的样本数据，构建航天嵌入式软件缺陷数据对应的离群点训练集和离群点测试集；根据所述离群点训练集，训练得到第一数量的软件缺陷预测模型；根据所述离群点测试集，对所述软件缺陷预测模型进行测试验证，并按照评价指标对所述软件缺陷预测模型进行排序，得到排序预测模型；基于遗传算法构建自动化搜索优化算法，并结合所述排序预测模型在元分类器基础上逐层递归，查找可被替换的模型节点；根据不同的评价指标和所述模型节点，优化得到目标模型结构，并获取航天嵌入式软件缺陷数据分布离群点的缺陷预测方法。本发明可以提高第三方软件测评效率。
-
Patent Agency Ranking
公开(公告)号：CN111124723B
公开(公告)日：2023-04-14
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN112380132A
公开(公告)日：2021-02-19
申请号：CN202011314574.8
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种基于航天软件缺陷数据集类不平衡的对抗验证方法及装置。所述方法包括：获取航天嵌入式软件对应的缺陷数据训练集和缺陷数据测试集；合并所述缺陷数据训练集和所述缺陷数据测试集，生成合并数据集；基于集成学习方法对所述合并数据集中的缺陷数据样本进行预测，确定所述缺陷数据样本对应的预测概率；根据所述预测概率，对所述合并数据集中的缺陷数据样本进行升序排序，并从所述缺陷数据样本中筛选出设定比例的缺陷数据样本，得到所述航天嵌入式软件对应的验证数据样本。本发明实施例提供了切实可行的缺陷数据集的对抗验证方法，能够解决航天嵌入式软件缺陷预测工程实践测试集与训练集分布不一致的问题。
-
公开(公告)号：CN108121658B
公开(公告)日：2020-11-20
申请号：CN201711228114.1
申请日：2017-11-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于WINDOWS端测试工具测试LINUX端被测软件的方法，先在LINUX端配置文件共享单元和远程访问单元，然后在LINUX端修改配置文件使得WINDOWS端的计算机可以运行LINUX端计算机上的指令，在WINDOWS端通过资源管理器映射网络磁盘，使WINDOWS端测试工具可以通过硬盘符访问LINUX端的被测软件和测试结果文件，本发明方法具有配置简单、不影响测试基本流程的特点。
-
公开(公告)号：CN108121658A
公开(公告)日：2018-06-05
申请号：CN201711228114.1
申请日：2017-11-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于WINDOWS端测试工具测试LINUX端被测软件的方法，先在LINUX端配置文件共享单元和远程访问单元，然后在LINUX端修改配置文件使得WINDOWS端的计算机可以运行LINUX端计算机上的指令，在WINDOWS端通过资源管理器映射网络磁盘，使WINDOWS端测试工具可以通过硬盘符访问LINUX端的被测软件和测试结果文件，本发明方法具有配置简单、不影响测试基本流程的特点。
-
公开(公告)号：CN106557352A
公开(公告)日：2017-04-05
申请号：CN201610906730.7
申请日：2016-10-17
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F9/45504 , G06F11/362 , G06F11/3668
Abstract: 一种实现指令集模拟器正逆双向执行的方法，首先使用指令集模拟器对软件进行执行，得到多个关键记录时间点对应的指令集模拟器的处理器运行状态、寄存器状态、内存状态、外设状态，然后获取外部执行命令，在正向执行的过程中，如果需要进行逆向执行，则获取需要逆向执行的起始时间点，最后使用时间粒度或需要逆向执行的终止时间点计算关键记录时间点，并恢复关键记录点的指令集模拟器的处理器运行状态、寄存器状态、内存状态、外设状态，正向执行到需要逆向执行的终止时间点，完成指令集模拟器正逆双向执行。
-
-
-
-
-
-
-
Search Results
18
records
(took 0.025 seconds)
