-
公开(公告)号：CN111176994A
公开(公告)日：2020-05-19
申请号：CN201911349540.X
申请日：2019-12-24
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明实施例提供了一种针对嵌入式软件IO端口的单元测试用例生成方法及装置。所述方法包括：对待测试程序进行静态分析，获取所述待测试程序中的关键数据；启动基于解释器的符号执行引擎；在所述解释器中建立一个IO区域查询表和分配一段IO专用内存区域；采用所述符号执行引擎根据所述IO区域查询表、所述IO专用内存区域、IO端口输入映射到IO专用内存和所述关键数据，确定所述待测试程序对应的测试用例。本发明实施例能够自动识别IO端口，无需人工配置，生成用例效率提升，且解决了IO端口地址作为输入时生成的用例覆盖率低的问题。
-
公开(公告)号：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: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
公开(公告)号：CN109086215A
公开(公告)日：2018-12-25
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN104461896B
公开(公告)日：2017-05-10
申请号：CN201410795028.9
申请日：2014-12-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 基于可信属性的航天系统关键软件评价方法，本方法通过建立不同层次、不同阶段的软件可信属性度量五边形，实现对软件可信属性的度量，然后由度量五边形构建度量驱动链，度量驱动链构建度量雷达图，度量雷达图综合反映了软件的可信程度，最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积，评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础，为全面度量航天软件的可信性提供了一种参考方法，可以作为软件能否使用于航天关键系统中的评价方法。
-
Patent Agency Ranking
公开(公告)号：CN106557352A
公开(公告)日：2017-04-05
申请号：CN201610906730.7
申请日：2016-10-17
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F9/45504 , G06F11/362 , 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: 本发明公开一种适用于不同编程语言的高效代码特征提取方法，包括：从指定的项目路径中加载不同编程语言配置文件，通过预定义的语言解析规则映射器解析语言配置文件，生成适用于不同编程语言的语言规则映射表；识别编程语言类型，按类型创建多任务队列并分配任务线程；依据语言规则映射表，对源代码预处理后进行分词和标记，对分词结果归一化后生成归一化后的源代码文件；对归一化后的源代码文件按给定的窗口和步长大小进行代码块分割并生成哈希值作为特征值，获得以哈希值序列为特征指纹的代码文件；将以哈希值序列为特征指纹的代码文件以及标记内容按标准化格式进行序列化存储并输出。本发明能够提高代码分析的效率和准确性。
-
公开(公告)号：CN112269648B
公开(公告)日：2024-05-31
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
公开(公告)号：CN118012768A
公开(公告)日：2024-05-10
申请号：CN202410222256.0
申请日：2024-02-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种智能软件一体化测试方法，涉及一种安全攸关智能软件的评测技术，覆盖了智能软件的数据集、学习程序以及智能模型等软件制品，评测的内容包括训练数据集的质量、学习程序的质量、算法的正确性、算法鲁棒性、模型不确定性以及测试充分性，最后可以对智能软件的质量进行综合评价，能够解决现有测试方法系统性不足的问题，一体化评测的自动化程度高，克服了当前相关评测系统功能单一、评测不充分的困难。
-
公开(公告)号：CN116860326A
公开(公告)日：2023-10-10
申请号：CN202211636294.8
申请日：2022-12-19
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的问题，对副作用回调函数的加入，降低了对用户源代码的修改，用户源代码的处理仅放置在了函数最开始和结尾处；本发明解决了宿主机与仿真目标机大小端不一致的问题，所有多字节元类型均进行了类重写，所有的大小端转换操作都在运算符重载中进行，由于大小端转换操作被内聚在了重写类中，解除了与用户源代码的耦合，无需担心大小端互转的对偶问题，提高了安全性。
-
-
-
-
-
-
-
-
-
Search Results
50
records
(took 0.025 seconds)
