-
公开(公告)号：CN117785687A
公开(公告)日：2024-03-29
申请号：CN202311788711.5
申请日：2023-12-25
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、对抗样本生成工具和可视化分析工具；所述步骤2.1中，测试对象包括文档、程序代码和智能系统；所述步骤三中，测试对象为在轨应用运行后软件系统；本发明将航天智能装备软件测试划分为模型验证、系统部署和在轨应用三个阶段，并明确了各阶段的执行顺序，建立了三个阶段的测试框架，保证了各阶段测试活动过程明确、清晰、可落地，进而保证对智能模型及软件系统测试活动的有效性和充分性。
-
公开(公告)号：CN108710551B
公开(公告)日：2021-12-07
申请号：CN201810398608.2
申请日：2018-04-28
Applicant: 北京轩宇信息技术有限公司
Abstract: 基于SPARC处理器单粒子翻转故障注入的测试系统，包含故障注入测试数据生成模块、故障注入自动化测试执行模块、故障注入自动化输出测试报告模块。本发明解决了SPARC处理器单粒子翻转故障类型繁多、缺乏故障注入的专项测试、缺乏故障注入的精确控制、硬平台测试环境手工操作效率低等缺陷和不足。通过软件仿真故障注入建立模型，对注入的单粒子翻转故障精确的监控和执行序列化操作，具有配置脚本激励灵活、全数字仿真系统建模高速运行、模拟SPARC处理器单粒子故障驱动、动态运行时分析验证等优点。对提升我国航天型号软件可靠性与安全性确认测试与验证具有重要的意义。
-
公开(公告)号：CN104820636A
公开(公告)日：2015-08-05
申请号：CN201510163174.4
申请日：2015-04-09
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种并行的基于蚁群算法的测试用例序列生成方法，首先确定了影响测试用例优先级的因素，然后利用蚁群优化算法分析测试用例的优先级，接着将设计的算法进行多核并行处理，最后对测试用例优先级分析结果进行评价，得到最优测试用例序列。本发明方法将测试用例可以发现的缺陷数量、测试用例的执行时间和测试用例发现的缺陷的严重性作为信息素更新规则和测试用例节点选择规则的参数，与现有技术相比，可以在回归测试过程更快的检测出比较重要的缺陷，而且实现简单，便于操作，适用于回归测试中的大规模测试用例的优先级排序，提高了回归测试过程的有效性和快速性。
-
公开(公告)号：CN119962012A
公开(公告)日：2025-05-09
申请号：CN202510079407.6
申请日：2025-01-18
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于航天嵌入式软件的系统级虚拟仿真平台，包括平台，平台包括全系统虚拟仿真层、仿真环境构建与部署层、调试及测试层，各层功能聚焦，相对独立，充分解耦，之间仅通过多形式服务接口进行交互，实现各层间物理隔离，逻辑相通，便于功能扩展和系统集成，本发明一种基于航天嵌入式软件的系统级虚拟仿真平台，利用本虚拟仿真平台实现对嵌入式系统的全系统仿真，实现对虚拟仿真环境的图形化快速构建和部署，并完成软件外围设备功能仿真，实现系统级虚拟仿真平台测试环境中运行测试用例，进行测试和分析，实现可视化界面，对整个仿真系统的状态进行监视和控制。
-
公开(公告)号：CN116107873A
公开(公告)日：2023-05-12
申请号：CN202211599213.1
申请日：2022-12-12
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明提供一种仿真测试平台自动生成方法，在基于模块化技术，利用XML文件进行属性数据的配置与存储，执行所配置的数据自动生成测试平台，最后加载到全数字仿真系统VTest中进行运行。采用模块化驱动机制，实现需求与模块匹配方法，解决了以模块为基础的仿真测试平台自动生成的能力。
-
Patent Agency Ranking
公开(公告)号：CN110377496A
公开(公告)日：2019-10-25
申请号：CN201910351255.5
申请日：2019-04-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种软件回归测试过程中基于智能水滴的测试用例优先级确定方法，该方法包括：确定影响测试用例优先级的因素；根据测试用例发现的缺陷的严重性确定测试用例的重要程度；根据测试用例的重要程度建立测试用例节点选择规则；根据测试用例可以发现的缺陷数量、测试用例的执行时间，建立智能水滴速度更新规则；建立用例选择路径泥土量更新规则；所有智能水滴迭代完成后，确定所有智能水滴中的测试用例优先级排序。本发明充分考虑了影响测试用例优先级的因素，解决了考虑用例因素单一和未将这些因素融入到算法设计的问题，并根据智能水滴算法对回归测试用例执行的优先级进行排序，提高了回归测试的有效性和快速性。
-
公开(公告)号：CN111176991B
公开(公告)日：2023-07-14
申请号：CN201911341042.0
申请日：2019-12-23
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种嵌入式软件接口用例自动化生成方法，包括：根据各待测试接口用例的需求，构建与各待测试接口用例的需求相关联的接口图模型，并创建测试用例标识；按照待测试接口用例的接口输入、输出以及转移条件，构建每个接口图模型的状态转移图；对各待测试接口用例的每个输入流，创建接口协议模型；根据各接口协议模型中选择的数据模型值域顺序以及用例生成方式，产生相应的测试路径；将测试路径与状态转移图进行匹配，获取各测试路径在对应的状态转移图中的相匹配的关键字，并进行数据填充，完成各待测试接口用例的实例化。通过本发明可实现嵌入式软件接口用例的自动规划、生成、执行与评估。
-
公开(公告)号：CN112015639A
公开(公告)日：2020-12-01
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号：CN109474582A
公开(公告)日：2019-03-15
申请号：CN201811249953.6
申请日：2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
Abstract: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置，其中，所述方法包括：依据所述仿真嵌入式系统中的协议对传输协议层进行配置，其中，所述传输协议层包含多个数据节点；参照所述传输协议层中各所述数据节点，对数据字典层进行配置；根据配置后的传输协议层和数据字典层，建立数据通信协议；基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法，传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换，使得数据协议处理过程层次清晰，面向仿真的物理数据可操作性强且处理结果重用性强，数据交互方便可靠且不易出错。
-
公开(公告)号：CN112015639B
公开(公告)日：2024-03-15
申请号：CN202010762816.3
申请日：2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
-
-
-
-
-
-
-
-
Search Results
17
records
(took 0.032 seconds)
