公开(公告)号：CN116909874A

公开(公告)日：2023-10-20

申请号：CN202310645054.2

申请日：2023-06-02

Applicant: 北京机电工程研究所

Inventor： 董冬梅 ,  李凌 ,  侯月 ,  康凯

IPC: G06F11/36 ,  G06F18/24

Abstract: 本发明提供了一种基于模型的软件回归测试方法，包括：根据变动前的旧模型生成第一测试用例集，根据变动后的新模型生成第二测试用例集；建立旧模型中各模型元素与第一测试用例集中各测试用例之间的映射关系、新模型中各模型元素与第二测试用例集中各测试用例之间的映射关系；对旧模型和新模型进行模型变化分析，识别受到模型变化影响的模型元素，并对受影响的模型元素进行分类；根据覆盖准则从受影响的模型元素中确定回归测试需要覆盖的目标；选择覆盖特定目标的回归测试用例作为最终回归测试用例集；基于最终回归测试用例集完成软件回归测试。本发明能够解决现有技术中人工进行测试用例集的选取存在用例冗余、覆盖性和有效性不足的技术问题。

公开(公告)号：CN113886255A

公开(公告)日：2022-01-04

申请号：CN202111187584.4

申请日：2021-10-12

Applicant: 北京机电工程研究所

Inventor： 董冬梅 ,  吴武华 ,  李凌

IPC: G06F11/36

Abstract: 本发明提供一种测试用例生成方法，包括以下步骤：确定测试参数和测试参数之间的约束关系；转换成禁止关系；获得一个两两覆盖组合对集；按照最优原则选取第一个参数及参数值，将剩下的参数随机排列，按照次优原则选择参数对应的参数值，直至所有的参数都被加入；判断生成的测试用例是否在禁止元组中，若在则舍弃，不再则放入到测试用例候选集中；获得完整的测试用例候选集；在测试用例候选集中确定最优的测试用例，并将其放入到测试用例集中；判断两两覆盖组合对集中的元素是否为空，若为空，则测试用例集完成，若不为空，循环步骤四到八。本发明实现了对测试空间的等概率覆盖，提高测试的覆盖性和充分性，测试用例的数量减小，节约测试的成本。

公开(公告)号：CN115470103A

公开(公告)日：2022-12-13

申请号：CN202210982782.8

申请日：2022-08-16

Applicant: 北京机电工程研究所

Inventor： 董冬梅 ,  吴武华 ,  李凌 ,  侯月

IPC: G06F11/36

Abstract: 本文提出了一种活动图到状态图的转换算法，通过该算法将活动图转换成状态图，对于活动图中的并发节点采用了多场景复制的方法，从而保证转换后的状态图路径无遗漏。测试人员通过该算法将活动图转换成状态图后，可以利用状态图的覆盖准则指导测试用例的自动生成，该方法能够满足弹载交互式软件测试需求的充分性覆盖性要求，同时提高软件测试的有效性和效率。