-
公开(公告)号：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中配置语法为自然语言和标识符语言，在配置文件中进行业务规则输入，本发明相较于现有的文档自动化生成方法，可实现项目文档的自动生成以及关联性分析，一键生成文档，且文档标准规范，同时支持不同类型的图表生成，具有更高的灵活度，进而解决了相关技术中手动生成效率低、以及现有自动生成方式定制化、内容不全的问题，提升了工作效率。
-
公开(公告)号：CN111176991A
公开(公告)日：2020-05-19
申请号：CN201911341042.0
申请日：2019-12-23
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: 本申请公开了一种星载软件测试用例的生成方法及装置，该方法包括：根据预设的星载软件需求信息建立状态机模型，其中，所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元；将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合，并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合；根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合，根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
Patent Agency Ranking
公开(公告)号：CN109086215A
公开(公告)日：2018-12-25
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN119962012A
公开(公告)日：2025-05-09
申请号：CN202510079407.6
申请日：2025-01-18
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于航天嵌入式软件的系统级虚拟仿真平台，包括平台，平台包括全系统虚拟仿真层、仿真环境构建与部署层、调试及测试层，各层功能聚焦，相对独立，充分解耦，之间仅通过多形式服务接口进行交互，实现各层间物理隔离，逻辑相通，便于功能扩展和系统集成，本发明一种基于航天嵌入式软件的系统级虚拟仿真平台，利用本虚拟仿真平台实现对嵌入式系统的全系统仿真，实现对虚拟仿真环境的图形化快速构建和部署，并完成软件外围设备功能仿真，实现系统级虚拟仿真平台测试环境中运行测试用例，进行测试和分析，实现可视化界面，对整个仿真系统的状态进行监视和控制。
-
公开(公告)号：CN116107873A
公开(公告)日：2023-05-12
申请号：CN202211599213.1
申请日：2022-12-12
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明提供一种仿真测试平台自动生成方法，在基于模块化技术，利用XML文件进行属性数据的配置与存储，执行所配置的数据自动生成测试平台，最后加载到全数字仿真系统VTest中进行运行。采用模块化驱动机制，实现需求与模块匹配方法，解决了以模块为基础的仿真测试平台自动生成的能力。
-
公开(公告)号：CN109086215B
公开(公告)日：2021-11-16
申请号：CN201811216675.4
申请日：2018-10-18
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本发明提供了一种嵌入式软件单元测试用例生成方法及系统。所述方法包括：对嵌入式软件源程序文件进行静态分析，生成输入驱动文件；在所述输入驱动文件中定义一驱动函数；其中，所述驱动函数用于指定输入待求解的表达式或桩函数；依据解释执行和符号执行相结合的方式对所述表达式或所述桩函数进行求解；将嵌入式软件中IO端口特殊编码为多重符号，求解得到值序列；基于求解结果和所述值序列，生成测试用例。本发明可以简化生成测试用例的操作步骤，降低由于插桩带来的性能开销，自动生成的输入驱动文件能满足绝大部分需求，并且无论是哪种嵌入式平台的软件都可以解释执行，大幅降低了配置目标环境带来的时间成本和人力成本。
-
公开(公告)号：CN117785687A
公开(公告)日：2024-03-29
申请号：CN202311788711.5
申请日：2023-12-25
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、对抗样本生成工具和可视化分析工具；所述步骤2.1中，测试对象包括文档、程序代码和智能系统；所述步骤三中，测试对象为在轨应用运行后软件系统；本发明将航天智能装备软件测试划分为模型验证、系统部署和在轨应用三个阶段，并明确了各阶段的执行顺序，建立了三个阶段的测试框架，保证了各阶段测试活动过程明确、清晰、可落地，进而保证对智能模型及软件系统测试活动的有效性和充分性。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.027 seconds)
