-
公开(公告)号：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: 本发明公开了一种无漏报的中断驱动型程序运行时错误检测方法和系统。该方法，包括：对待处理程序进行抽象处理，得到用抽象数值表达的抽象程序；根据所述抽象程序，建立共享变量数值抽象集；对所述共享变量数值抽象集进行解析，得到中断间干扰集；根据所述中断间干扰集进行模块化分析，得到模块化分析结果；根据所述模块化分析结果，遍历所述抽象程序，得到遍历结果，并根据遍历结果确定待处理程序是否存在运行时错误。本发明降低了运行时错误检测对测试人员经验和能力的依赖，提高了高安全要求软件开发和测试的效率，提升了软件的安全性。
-
公开(公告)号：CN109086215A
公开(公告)日：2018-12-25
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN108121658A
公开(公告)日：2018-06-05
申请号：CN201711228114.1
申请日：2017-11-29
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于WINDOWS端测试工具测试LINUX端被测软件的方法，先在LINUX端配置文件共享单元和远程访问单元，然后在LINUX端修改配置文件使得WINDOWS端的计算机可以运行LINUX端计算机上的指令，在WINDOWS端通过资源管理器映射网络磁盘，使WINDOWS端测试工具可以通过硬盘符访问LINUX端的被测软件和测试结果文件，本发明方法具有配置简单、不影响测试基本流程的特点。
-
Patent Agency Ranking
公开(公告)号：CN104461896B
公开(公告)日：2017-05-10
申请号：CN201410795028.9
申请日：2014-12-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 基于可信属性的航天系统关键软件评价方法，本方法通过建立不同层次、不同阶段的软件可信属性度量五边形，实现对软件可信属性的度量，然后由度量五边形构建度量驱动链，度量驱动链构建度量雷达图，度量雷达图综合反映了软件的可信程度，最后通过计算并比较雷达图中可信属性度量值连接的多边形的面积和可信属性要求值连接的多边形面积，评价软件能否用于航天关键系统中。本发明以航天软件中主要涉及的软件可信属性为度量基础，为全面度量航天软件的可信性提供了一种参考方法，可以作为软件能否使用于航天关键系统中的评价方法。
-
公开(公告)号：CN106557352A
公开(公告)日：2017-04-05
申请号：CN201610906730.7
申请日：2016-10-17
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F9/45504 , G06F11/362 , G06F11/3668
Abstract: 一种实现指令集模拟器正逆双向执行的方法，首先使用指令集模拟器对软件进行执行，得到多个关键记录时间点对应的指令集模拟器的处理器运行状态、寄存器状态、内存状态、外设状态，然后获取外部执行命令，在正向执行的过程中，如果需要进行逆向执行，则获取需要逆向执行的起始时间点，最后使用时间粒度或需要逆向执行的终止时间点计算关键记录时间点，并恢复关键记录点的指令集模拟器的处理器运行状态、寄存器状态、内存状态、外设状态，正向执行到需要逆向执行的终止时间点，完成指令集模拟器正逆双向执行。
-
公开(公告)号：CN105607091A
公开(公告)日：2016-05-25
申请号：CN201610079931.4
申请日：2016-02-04
Applicant: 北京轩宇信息技术有限公司
IPC: G01S19/29
CPC classification number: G01S19/29
Abstract: 一种改进的基于扩展卡尔曼滤波的载波跟踪环，包括基带信号预处理模块、矩阵计算模块、扩展卡尔曼滤波模块和本地NCO。在每一个时间段T内基带信号预处理模块根据本地载波信号对信号I和信号Q进行预处理得到观测值，矩阵计算模块计算线性化矩阵H，经过扩展卡尔曼滤波模块计算得到相位和频率的估计值，用于本地NCO生成本地载波信号输出给基带信号预处理模块，实现每一个时间段T内的载波跟踪。本发明无需鉴相器辅助，适用于低信噪比、高动态情况下存在调制信息时的跟踪需求，硬件实现简单，能够有效提高整个载波跟踪环的运行速率，同时降低资源消耗。
-
公开(公告)号：CN119997322A
公开(公告)日：2025-05-13
申请号：CN202510079405.7
申请日：2025-01-18
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明涉及一种无线继电器灯控装置，属于智能家居控制技术领域。该装置包括控制模块、无线通信模块、继电器模块、电源模块、外壳及接口模块。控制模块采用低功耗微控制器作为核心，用于接收无线通信模块传输的控制信号并驱动继电器模块实现灯具的开关操作；无线通信模块支持Lora和2.4G通信协议，用于与远程终端通信；继电器模块通过控制灯具电路的通断实现灯光控制；电源模块提供稳定电源，支持低功耗待机设计。该装置具有安装便捷、远程控制、可扩展性强、兼容性强、低功耗和通信稳定等优点，可广泛应用于智能家居环境中的灯具控制。本发明通过无线通信模块和继电器模块的共同作用，提供了一种便捷、高效的灯光控制方案，解决了现有灯控设备布线复杂、功能单一的问题，适合广泛推广应用。
-
公开(公告)号：CN119988237A
公开(公告)日：2025-05-13
申请号：CN202510457455.4
申请日：2025-04-14
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/3668
Abstract: 一种使用结构化种子用例引导的单元测试智能生成方法，属于软件测试技术领域，包括：解析被测函数，构建被测函数的上下文，并根据被测函数构建预设结构的种子用例；根据被测函数的上下文、代码块和种子用例构建提示词，将提示词输入大模型生成所述预设结构的测试用例，并将测试用例转化为预设标准的测试代码；执行所述测试代码，获得测试覆盖率，根据测试覆盖率情况确定优化需求。本发明通过分析被测函数接口数据，为被测函数构建一个结构化的种子用例，用于引导大模型生成结构化的测试用例，使用基于规则的方法将结构化的测试用例转为测试代码，解决了大模型直接生成测试代码出错概率高的问题，提高了大模型在单元测试中的表现能力。
-
-
-
-
-
-
-
-
-
Search Results
158
records
(took 0.04 seconds)
