公开(公告)号：CN119938513A

公开(公告)日：2025-05-06

申请号：CN202411778579.4

申请日：2024-12-05

Applicant: 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

Inventor： 刘春晔 ,  韩强 ,  周华 ,  李莉 ,  丁莞津 ,  陈鹏 ,  诸葛

IPC: G06F11/3668

Abstract: 本发明公开了一种定制化的装备软件测试数据自动生成方法，具体步骤如下：步骤一、构建应用层接口模板并实例化为接口实例模型；步骤二、设置字段关联关系及变化规则；步骤三、配置各字段数据的测试覆盖策略和配置数据提取方法；步骤四、生成测试数据；步骤五、生成测试数据组帧集合；本方法的测试数据自动生成模型将通讯协议形式化为可展示、可操作的字段格式，支持配置字段属性，能够按字段配置测试要求，测试数据自动生成模型定义的各接口模版具备通用性、可复用性及灵活配型性的特点。

公开(公告)号：CN119917405A

公开(公告)日：2025-05-02

申请号：CN202411848842.2

申请日：2024-12-16

Applicant: 中国科学院微小卫星创新研究院 ,  上海微小卫星工程中心

Inventor： 周华 ,  刘春晔 ,  韩强 ,  李鑫 ,  宋敏 ,  张伟海 ,  李莉 ,  陈鹏

IPC: G06F11/3668

Abstract: 本发明公开了一种接口测试覆盖率统计方法，形式化模型可根据软件特定需求配置覆盖率统计要素，因此可基于应用层需求和安全性需求对验证考核要素进行配置（如字段异常数据、超范围超限数据以及存在特定变化需求数据），这种自定义考核要素方式能够满足在不同测试要求下的接口测试覆盖率采集需求。本方法的形式化模型将通讯协议形式化为可展示、可操作的字段格式，支持配置字段属性。形式化模型定义的各接口模版具备通用性、可复用性及灵活配型性的特点。向形式化模型输入数据后模型自动进行覆盖率分析统计，输出以字段为颗粒度的精细化覆盖率统计结果。统计结果能够展示准确的测试未覆盖内容，以指导后续可能补充测试工作。