-
公开(公告)号:CN112015639B
公开(公告)日:2024-03-15
申请号:CN202010762816.3
申请日:2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置,该方法包括:根据预设的星载软件需求信息建立状态机模型,其中,所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元;将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合,并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合;根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合,根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号:CN109474582B
公开(公告)日:2021-10-01
申请号:CN201811249953.6
申请日:2018-10-25
Applicant: 北京轩宇信息技术有限公司
IPC: H04L29/06
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: 本发明实施例公开了一种仿真嵌入式系统数据通信协议的处理方法及装置,其中,所述方法包括:依据所述仿真嵌入式系统中的协议对传输协议层进行配置,其中,所述传输协议层包含多个数据节点;参照所述传输协议层中各所述数据节点,对数据字典层进行配置;根据配置后的传输协议层和数据字典层,建立数据通信协议;基于所述数据通信协议进行数据传输。本发明实施例公开的仿真嵌入式系统数据通信协议的处理方法,传输协议层与数据字典层之间采用数据名称和数据转换表达式进行映射和可逆转换,使得数据协议处理过程层次清晰,面向仿真的物理数据可操作性强且处理结果重用性强,数据交互方便可靠且不易出错。
-
-
-