-
公开(公告)号：CN109086215B
公开(公告)日：2021-11-16
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN112269732A
公开(公告)日：2021-01-26
申请号：CN202011097889.1
申请日：2020-10-14
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种软件缺陷预测特征的选择方法及装置。所述方法包括：根据历史软件缺陷数据库，获取领域缺陷数据集；基于Bootstrap抽样技术对所述领域缺陷数据集进行抽样处理，生成软件缺陷样本集；基于所述软件缺陷样本集和马尔科夫毯模型，对原始特征进行分组，得到多个特征组；根据预先设计的启发式特征选择策略，从所述多个特征组中筛选出初始特征，得到筛选的候选特征序列；基于遗传算法从所述候选特征序列中搜索出目标特征子集。本发明能够更有效地提高软件缺陷预测准确性。
-
公开(公告)号：CN111124723A
公开(公告)日：2020-05-08
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
Patent Agency Ranking
公开(公告)号：CN111124723B
公开(公告)日：2023-04-14
申请号：CN201911067304.9
申请日：2019-11-04
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/07
Abstract: 本发明公开了一种基于干扰变量的中断驱动型程序整数溢出模型检测方法，该方法包括：对待处理程序进行解析，得到干扰变量集合；根据干扰变量集合中的干扰变量信息，对中断函数进行抽象处理，得到中断函数摘要；在主程序中插入中断函数摘要，得到顺序化后的程序；获得顺序化程序的静态单赋值形式SSA，并进行程序模型状态空间约简处理，得到约简后的程序；使用有界模型检测工具CBMC，对约简后的程序进行整数溢出检测。本发明在保证整数溢出问题检出率的前提下，不仅能够提高分析效率，还使得已有的模型检测技术能够适用于中断驱动型程序整数溢出检测。
-
公开(公告)号：CN109388573A
公开(公告)日：2019-02-26
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
公开(公告)号：CN109086215A
公开(公告)日：2018-12-25
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN112269732B
公开(公告)日：2024-01-05
申请号：CN202011097889.1
申请日：2020-10-14
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种软件缺陷预测特征的选择方法及装置。所述方法包括：根据历史软件缺陷数据库，获取领域缺陷数据集；基于Bootstrap抽样技术对所述领域缺陷数据集进行抽样处理，生成软件缺陷样本集；基于所述软件缺陷样本集和马尔科夫毯模型，对原始特征进行分组，得到多个特征组；根据预先设计的启发式特征选择策略，从所述多个特征组中筛选出初始特征，得到筛选的候选特征序列；基于遗传算法从所述候选特征序列中搜索出目标特征子集。本发明能够更有效地提高软件缺陷预测准确性。
-
公开(公告)号：CN109388573B
公开(公告)日：2022-03-04
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.093 seconds)
