公开(公告)号：CN115470103A

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

申请号：CN202210982782.8

申请日：2022-08-16

Applicant: 北京机电工程研究所

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

IPC: G06F11/36

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

公开(公告)号：CN116909874A

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

申请号：CN202310645054.2

申请日：2023-06-02

Applicant: 北京机电工程研究所

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

IPC: G06F11/36 ,  G06F18/24

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

公开(公告)号：CN112540879B

公开(公告)日：2024-08-02

申请号：CN202011490880.7

申请日：2020-12-16

Applicant: 北京机电工程研究所

Inventor： 董冬梅 ,  吴武华 ,  吕兵兵 ,  侯月

IPC: G06F11/20

Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法，所述方法通过在接口上设置错误计数器，在错误计数器满足一定阈值的情况下才进行接口切换，避免了接口频繁切换造成数据使用不连续或者数据滞后的问题；同时，通过帧计数来判断接口的数据是否更新，以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性，保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。

公开(公告)号：CN112540879A

公开(公告)日：2021-03-23

申请号：CN202011490880.7

申请日：2020-12-16

Applicant: 北京机电工程研究所

Inventor： 董冬梅 ,  吴武华 ,  吕兵兵 ,  侯月

IPC: G06F11/20

Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法，所述方法通过在接口上设置错误计数器，在错误计数器满足一定阈值的情况下才进行接口切换，避免了接口频繁切换造成数据使用不连续或者数据滞后的问题；同时，通过帧计数来判断接口的数据是否更新，以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性，保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。