-
公开(公告)号：CN112380133A
公开(公告)日：2021-02-19
申请号：CN202011314585.6
申请日：2020-11-20
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例公开了一种指令集模拟器利用功能库仿真的方法及装置。所述方法包括：获取目标码中需要利用功能库进行仿真的目标码函数名，及所述目标码函数名对应的功能库函数名；调用目标码解析软件对所述目标码进行解析，确定所述目标码函数名对应的目标函数入口地址；根据所述目标码函数名和所述目标函数入口地址，生成函数地址信息对应表，并将所述函数地址信息对应表发送至指令模拟器；通过所述指令模拟器根据所述功能库函数名，利用功能库函数进行仿真，以得到仿真结果。本发明实施例解决了指令集模拟器调试、测试过程中仿真复杂算法效率较低、计算结果精度较差的问题，解决了对于目标码动态调用外部库函数时无法解析的问题。
-
公开(公告)号：CN111176994A
公开(公告)日：2020-05-19
申请号：CN201911349540.X
申请日：2019-12-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。
-
公开(公告)号：CN111159022A
公开(公告)日：2020-05-15
申请号：CN201911329257.0
申请日：2019-12-20
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供了一种基于单变量访问序模式的中断数据访问冲突检测方法及装置。所述方法包括：获取多个源文件；对每个所述源文件的函数进行可达访问分析，生成每个所述源文件的可达访问图；使用所述多个源文件的函数调用关系和各所述源文件的函数摘要，更新各所述可达访问图；遍历各更新后的可达访问图，匹配单变量访问序模式，得到中断数据访问冲突检测结果。本发明实施例对单文件进行独立分析，避免了跨文件的分析时在不同文件交替分析，减小了内存占用的峰值，可适用于大规模程序。
-
公开(公告)号：CN109474582A
公开(公告)日：2019-03-15
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN109388573A
公开(公告)日：2019-02-26
申请号：CN201811232920.0
申请日：2018-10-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
Patent Agency Ranking
公开(公告)号：CN109086215A
公开(公告)日：2018-12-25
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN119988237A
公开(公告)日：2025-05-13
申请号：CN202510457455.4
申请日：2025-04-14
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/3668
Abstract: 一种使用结构化种子用例引导的单元测试智能生成方法，属于软件测试技术领域，包括：解析被测函数，构建被测函数的上下文，并根据被测函数构建预设结构的种子用例；根据被测函数的上下文、代码块和种子用例构建提示词，将提示词输入大模型生成所述预设结构的测试用例，并将测试用例转化为预设标准的测试代码；执行所述测试代码，获得测试覆盖率，根据测试覆盖率情况确定优化需求。本发明通过分析被测函数接口数据，为被测函数构建一个结构化的种子用例，用于引导大模型生成结构化的测试用例，使用基于规则的方法将结构化的测试用例转为测试代码，解决了大模型直接生成测试代码出错概率高的问题，提高了大模型在单元测试中的表现能力。
-
公开(公告)号：CN119311314A
公开(公告)日：2025-01-14
申请号：CN202411385821.1
申请日：2024-09-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/75 , G06F18/213 , G06F8/40 , G06F40/284 , G06F8/73 , G06F18/24
Abstract: 本发明公开一种适用于不同编程语言的高效代码特征提取方法，包括：从指定的项目路径中加载不同编程语言配置文件，通过预定义的语言解析规则映射器解析语言配置文件，生成适用于不同编程语言的语言规则映射表；识别编程语言类型，按类型创建多任务队列并分配任务线程；依据语言规则映射表，对源代码预处理后进行分词和标记，对分词结果归一化后生成归一化后的源代码文件；对归一化后的源代码文件按给定的窗口和步长大小进行代码块分割并生成哈希值作为特征值，获得以哈希值序列为特征指纹的代码文件；将以哈希值序列为特征指纹的代码文件以及标记内容按标准化格式进行序列化存储并输出。本发明能够提高代码分析的效率和准确性。
-
公开(公告)号：CN118277252A
公开(公告)日：2024-07-02
申请号：CN202410296329.0
申请日：2024-03-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种可扩展的中断驱动程序缺陷检测方法，包括：(1)建立多个堆栈并行构建模块化程序依赖图，同时获得中断的摘要信息；(2)对程序源代码进行静态分析，依据缺陷类型识别能发生缺陷的位置和能够存在并发缺陷的代码区域和触发条件，形成缺陷区域集合#imgabs0#；(3)对缺陷区域集合#imgabs1#中每个缺陷区域进行分析，利用数据依赖、控制依赖关系确定影响并发缺陷发生的关键变量和语句；(4)根据步骤(3)求出的每个缺陷区域对应的关键变量和语句，在依赖图中动态插入中断更新依赖图，对缺陷进行检查。本发明提升了静态分析的效率和精度，实现在保证检测精度和效率的同时，适应不同类型和规模的中断驱动程序，可以检测和定位多种中断驱动型程序缺陷。
-
公开(公告)号：CN112269648B
公开(公告)日：2024-05-31
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
-
-
-
-
-
-
-
-
Search Results
62
records
(took 0.031 seconds)
