-
公开(公告)号：CN112631925B
公开(公告)日：2024-06-25
申请号：CN202011591752.1
申请日：2020-12-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种单变量原子违背缺陷的检测方法，该方法包括：将预设中断驱动型软件的源代码转换为中间表示形式LLVM IR，根据中间表示形式构建程序依赖图；根据程序依赖图以及预设IFDS框架构建得到爆炸超图，根据爆炸超图对主程序数据流分析确定每个全局变量串行可达的两次访问序，并对两次访问序的可行性进行分析得到第一分析结果；根据第一分析结果确定出至少一个共享全局变量，以及确定出每个共享全局变量对应的三次访问序，对三次访问序的可行性进行分析得到第二分析结果，根据第二分析结果确定原子违背缺陷并生成缺陷报告。本申请解决了现有技术中单变量原子性违背缺陷检测的准确性和效率较低的技术问题。
-
公开(公告)号：CN117785687A
公开(公告)日：2024-03-29
申请号：CN202311788711.5
申请日：2023-12-25
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、对抗样本生成工具和可视化分析工具；所述步骤2.1中，测试对象包括文档、程序代码和智能系统；所述步骤三中，测试对象为在轨应用运行后软件系统；本发明将航天智能装备软件测试划分为模型验证、系统部署和在轨应用三个阶段，并明确了各阶段的执行顺序，建立了三个阶段的测试框架，保证了各阶段测试活动过程明确、清晰、可落地，进而保证对智能模型及软件系统测试活动的有效性和充分性。
-
公开(公告)号：CN112269732B
公开(公告)日：2024-01-05
申请号：CN202011097889.1
申请日：2020-10-14
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种软件缺陷预测特征的选择方法及装置。所述方法包括：根据历史软件缺陷数据库，获取领域缺陷数据集；基于Bootstrap抽样技术对所述领域缺陷数据集进行抽样处理，生成软件缺陷样本集；基于所述软件缺陷样本集和马尔科夫毯模型，对原始特征进行分组，得到多个特征组；根据预先设计的启发式特征选择策略，从所述多个特征组中筛选出初始特征，得到筛选的候选特征序列；基于遗传算法从所述候选特征序列中搜索出目标特征子集。本发明能够更有效地提高软件缺陷预测准确性。
-
公开(公告)号：CN116560659A
公开(公告)日：2023-08-08
申请号：CN202310294747.1
申请日：2023-03-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 一种千万行级代码编程规范符合性并行检查方法，包括步骤一，全局信息提取；步骤二，编码规范检查；所述步骤2.2中，如果检查文件是C/CPP文件，则根据规则需求，直接从全局信息库中读取信息，进行分析，如果检查头文件所属翻译单元与当前翻译单元不同，跳过当前头文件全部分析，如果检查头文件所属翻译单元与当前翻译单元相同，则根据规则需求，直接从全局信息库中读取信息，进行分析；本发明采用分阶段并行分析的方式，将规则检查分为写如全局信息阶段和规则检查阶段，加快分析效率同时避免读写数据竞争，并使用压缩的符号信息存储设计，降低中间文件存储空间。达到确保分析精度的同时，加快分析速度，降低磁盘开销。
-
公开(公告)号：CN109388573B
公开(公告)日：2022-03-04
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
Patent Agency Ranking
公开(公告)号：CN112269648A
公开(公告)日：2021-01-26
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
公开(公告)号：CN104820636A
公开(公告)日：2015-08-05
申请号：CN201510163174.4
申请日：2015-04-09
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种并行的基于蚁群算法的测试用例序列生成方法，首先确定了影响测试用例优先级的因素，然后利用蚁群优化算法分析测试用例的优先级，接着将设计的算法进行多核并行处理，最后对测试用例优先级分析结果进行评价，得到最优测试用例序列。本发明方法将测试用例可以发现的缺陷数量、测试用例的执行时间和测试用例发现的缺陷的严重性作为信息素更新规则和测试用例节点选择规则的参数，与现有技术相比，可以在回归测试过程更快的检测出比较重要的缺陷，而且实现简单，便于操作，适用于回归测试中的大规模测试用例的优先级排序，提高了回归测试过程的有效性和快速性。
-
公开(公告)号：CN104461896A
公开(公告)日：2015-03-25
申请号：CN201410795028.9
申请日：2014-12-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 基于可信属性的航天系统关键软件评价方法，本方法通过建立不同层次、不同阶段的软件可信属性度量五边形，实现对软件可信属性的度量，然后由度量五边形构建度量驱动链，度量驱动链构建度量雷达图，度量雷达图综合反映了软件的可信程度，最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积，评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础，为全面度量航天软件的可信性提供了一种参考方法，可以作为软件能否使用于航天关键系统中的评价方法。
-
公开(公告)号：CN119311313A
公开(公告)日：2025-01-14
申请号：CN202411385802.9
申请日：2024-09-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/75 , G06F18/22 , G06F18/24 , G06F18/213 , G06N5/022
Abstract: 本发明公开一种多阶段多层次代码特征高效匹配方法：输入文件特征信息和文件代码片段特征信息的待匹配标准代码文件；当待匹配代码文件的文件后缀名及特征值与代码特征信息知识库中的相同，取知识库中的该匹配文件作为文件级匹配结果，否则对待匹配代码文件进行片段级代码特征匹配；依次将待匹配文件中片段特征信息的特征值与知识库中所有代码片段的特征值进行匹配，得到片段级匹配结果；统计知识库里不同文件下匹配成功的代码片段数量，选取数量最多的文件作为文件级匹配结果；统计知识库里各项目下文件级匹配结果的文件数量，选取排序第一的项目作为与待匹配代码文件相似的项目作为项目级匹配结果，评价待匹配文件与项目级匹配结果的相似程度。
-
公开(公告)号：CN112288079B
公开(公告)日：2024-05-14
申请号：CN202011286945.6
申请日：2020-11-17
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种图神经网络模型训练方法、软件缺陷检测方法及系统。包括：根据软件缺陷数据集，获取训练软件函数及测试软件函数，训练软件函数和测试软件函数预先标注有初始缺陷数据；根据训练软件函数的多维代码属性，构建初始多维代码属性图，根据测试软件函数的多维代码属性，构建目标多维代码属性图；基于初始多维代码属性图对初始图神经网络模型进行训练，得到训练后的图神经网络模型；基于目标多维代码属性图对训练后的图神经网络模型进行测试，获取预测缺陷数据；在初始缺陷数据和预测缺陷数据匹配时，将训练后的图神经网络模型作为目标图神经网络模型。本发明可以提高软件缺陷检测精度，减少了人工干预的过程，易于扩展检测的缺陷类型。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.036 seconds)
