-
公开(公告)号:CN112015639A
公开(公告)日:2020-12-01
申请号:CN202010762816.3
申请日:2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置,该方法包括:根据预设的星载软件需求信息建立状态机模型,其中,所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元;将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合,并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合;根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合,根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-
公开(公告)号:CN112015639B
公开(公告)日:2024-03-15
申请号:CN202010762816.3
申请日:2020-07-31
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 本申请公开了一种星载软件测试用例的生成方法及装置,该方法包括:根据预设的星载软件需求信息建立状态机模型,其中,所述状态机模型是指采用状态机图描述软件系统中功能的状态图元以及转移图元;将所述状态机模型转换为有向图以及确定所述有向图中所有路径集合,并根据预设的路径约束条件从所有路径集合中确定出可执行路径集合;根据预设的测试用例覆盖策略从所述可执行路径集合中确定出可执行测试路径集合,根据所述可执行测试路径集合自动生成测试用例集。本申请提高了所生成的测试用例的质量。
-