-
公开(公告)号：CN116107873A
公开(公告)日：2023-05-12
申请号：CN202211599213.1
申请日：2022-12-12
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明提供一种仿真测试平台自动生成方法，在基于模块化技术，利用XML文件进行属性数据的配置与存储，执行所配置的数据自动生成测试平台，最后加载到全数字仿真系统VTest中进行运行。采用模块化驱动机制，实现需求与模块匹配方法，解决了以模块为基础的仿真测试平台自动生成的能力。
-
公开(公告)号：CN110377496A
公开(公告)日：2019-10-25
申请号：CN201910351255.5
申请日：2019-04-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种软件回归测试过程中基于智能水滴的测试用例优先级确定方法，该方法包括：确定影响测试用例优先级的因素；根据测试用例发现的缺陷的严重性确定测试用例的重要程度；根据测试用例的重要程度建立测试用例节点选择规则；根据测试用例可以发现的缺陷数量、测试用例的执行时间，建立智能水滴速度更新规则；建立用例选择路径泥土量更新规则；所有智能水滴迭代完成后，确定所有智能水滴中的测试用例优先级排序。本发明充分考虑了影响测试用例优先级的因素，解决了考虑用例因素单一和未将这些因素融入到算法设计的问题，并根据智能水滴算法对回归测试用例执行的优先级进行排序，提高了回归测试的有效性和快速性。
-
公开(公告)号：CN109165161A
公开(公告)日：2019-01-08
申请号：CN201811004121.8
申请日：2018-08-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种针对C51语言程序中局部变量数据竞争的分析方法，所述方法包括：首先确定C51语言程序的基本顶层函数，然后确定竞争函数，之后分析竞争函数中局部竞争变量是否存在数据竞争风险。确定基本顶层函数包括3个子步骤：得到函数列表和变量列表、确定每个函数的父函数和子函数、确定基本顶层函数；确定竞争函数包括2个子步骤：确定每个函数的顶层函数、确定竞争函数；确定局部竞争变量的数据竞争风险包括2个子步骤：确定对局部竞争变量的写操作、确定局部竞争变量是否存在数据竞争风险。本发明方法具有分析过程简单、准确率高的特点。
-
公开(公告)号：CN110377496B
公开(公告)日：2023-06-06
申请号：CN201910351255.5
申请日：2019-04-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种软件回归测试过程中基于智能水滴的测试用例优先级确定方法，该方法包括：确定影响测试用例优先级的因素；根据测试用例发现的缺陷的严重性确定测试用例的重要程度；根据测试用例的重要程度建立测试用例节点选择规则；根据测试用例可以发现的缺陷数量、测试用例的执行时间，建立智能水滴速度更新规则；建立用例选择路径泥土量更新规则；所有智能水滴迭代完成后，确定所有智能水滴中的测试用例优先级排序。本发明充分考虑了影响测试用例优先级的因素，解决了考虑用例因素单一和未将这些因素融入到算法设计的问题，并根据智能水滴算法对回归测试用例执行的优先级进行排序，提高了回归测试的有效性和快速性。
-
公开(公告)号：CN111221532A
公开(公告)日：2020-06-02
申请号：CN201911339885.7
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明实施例提供了一种动态链接库的生成方法及装置。所述方法包括：根据仿真嵌入式项目中的协议，获取协议配置信息；基于所述协议配置信息，生成协议代码；对所述协议代码进行编译，生成用于进行数据通信协议处理的动态链接库。本发明实施例可以将共通性较好的数据存储功能、数据生成功能、数据模型对接功能、第三方软件数据支持功能封装成通用的动态库；将功能独立、处理复杂、影响虚拟系统运行效率的数据功能也封装成独立的通用动态库并启用独立线程进行逻辑处理。
-
Patent Agency Ranking
公开(公告)号：CN108710551A
公开(公告)日：2018-10-26
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
CPC classification number: G06F11/2236 , G06F11/261
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN116011400A
公开(公告)日：2023-04-25
申请号：CN202310047877.5
申请日：2023-01-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F40/12 , G06F40/186
Abstract: 本发明公开了一种项目标准测试文档自动化生成方法及装置，方法包括步骤一，建立数据模型；步骤二，创建文档模板；步骤三，获取待填充数据；步骤四，匹配求解算法；步骤五，计算填充数据；步骤六，输出存储文档；装置包括信息获取模块、数据获取模块、数据处理模块和文档生成模块，所述XML中配置语法为自然语言和标识符语言，在配置文件中进行业务规则输入，本发明相较于现有的文档自动化生成方法，可实现项目文档的自动生成以及关联性分析，一键生成文档，且文档标准规范，同时支持不同类型的图表生成，具有更高的灵活度，进而解决了相关技术中手动生成效率低、以及现有自动生成方式定制化、内容不全的问题，提升了工作效率。
-
公开(公告)号：CN109474582B
公开(公告)日：2021-10-01
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN111176991A
公开(公告)日：2020-05-19
申请号：CN201911341042.0
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.034 seconds)
