-
公开(公告)号：CN116909874A
公开(公告)日：2023-10-20
申请号：CN202310645054.2
申请日：2023-06-02
Applicant: 北京机电工程研究所
Abstract: 本发明提供了一种基于模型的软件回归测试方法，包括：根据变动前的旧模型生成第一测试用例集，根据变动后的新模型生成第二测试用例集；建立旧模型中各模型元素与第一测试用例集中各测试用例之间的映射关系、新模型中各模型元素与第二测试用例集中各测试用例之间的映射关系；对旧模型和新模型进行模型变化分析，识别受到模型变化影响的模型元素，并对受影响的模型元素进行分类；根据覆盖准则从受影响的模型元素中确定回归测试需要覆盖的目标；选择覆盖特定目标的回归测试用例作为最终回归测试用例集；基于最终回归测试用例集完成软件回归测试。本发明能够解决现有技术中人工进行测试用例集的选取存在用例冗余、覆盖性和有效性不足的技术问题。
-
公开(公告)号：CN112540879A
公开(公告)日：2021-03-23
申请号：CN202011490880.7
申请日：2020-12-16
Applicant: 北京机电工程研究所
IPC: G06F11/20
Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法，所述方法通过在接口上设置错误计数器，在错误计数器满足一定阈值的情况下才进行接口切换，避免了接口频繁切换造成数据使用不连续或者数据滞后的问题；同时，通过帧计数来判断接口的数据是否更新，以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性，保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。
-
公开(公告)号：CN112506787A
公开(公告)日：2021-03-16
申请号：CN202011486469.2
申请日：2020-12-16
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于测试结果的多维特性综合决策的软件质量评估方法，所述方法包括：基于软件质量的多个特性维度和每个特性维度对应的度量元建立软件质量度量模型；确定软件质量度量模型中每个特性维度中的每个度量元的度量因子，并获取每个度量因子的测量值；基于每个度量元对应的度量因子的测量值获取对应度量元的评估值；基于每个度量元的评估值获取对应的度量元的比例系数；基于每个度量元的比例系数和对应的度量元的满分值获取对应的度量元的分值；基于每个度量元的分值获取软件质量的综合分值。本发明能够解决现有的方法无法对软件质量进行定量评估的技术问题。
-
公开(公告)号：CN112506787B
公开(公告)日：2024-06-11
申请号：CN202011486469.2
申请日：2020-12-16
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于测试结果的多维特性综合决策的软件质量评估方法，所述方法包括：基于软件质量的多个特性维度和每个特性维度对应的度量元建立软件质量度量模型；确定软件质量度量模型中每个特性维度中的每个度量元的度量因子，并获取每个度量因子的测量值；基于每个度量元对应的度量因子的测量值获取对应度量元的评估值；基于每个度量元的评估值获取对应的度量元的比例系数；基于每个度量元的比例系数和对应的度量元的满分值获取对应的度量元的分值；基于每个度量元的分值获取软件质量的综合分值。本发明能够解决现有的方法无法对软件质量进行定量评估的技术问题。
-
-
Patent Agency Ranking
公开(公告)号：CN111723008A
公开(公告)日：2020-09-29
申请号：CN202010471820.4
申请日：2020-05-29
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于状态转换图的测试路径生成方法，该方法包括：判断是否需要覆盖状态转移对；在不需要覆盖状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；在需要覆盖状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集。本发明能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。
-
公开(公告)号：CN112540879B
公开(公告)日：2024-08-02
申请号：CN202011490880.7
申请日：2020-12-16
Applicant: 北京机电工程研究所
IPC: G06F11/20
Abstract: 本发明提供了一种用于双路冗余接口数据的表决方法，所述方法通过在接口上设置错误计数器，在错误计数器满足一定阈值的情况下才进行接口切换，避免了接口频繁切换造成数据使用不连续或者数据滞后的问题；同时，通过帧计数来判断接口的数据是否更新，以确保软件系统能够采集到正确的数据。本发明的方法从系统输入的源头保证了用于飞行控制解算数据的有效性、实时性和安全性，保证导弹飞行控制的正确性。本发明能够解决现有表决方法无法检测数据内容是否真实有效以及会产生接口频繁切换的技术问题。
-
公开(公告)号：CN113886255A
公开(公告)日：2022-01-04
申请号：CN202111187584.4
申请日：2021-10-12
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供一种测试用例生成方法，包括以下步骤：确定测试参数和测试参数之间的约束关系；转换成禁止关系；获得一个两两覆盖组合对集；按照最优原则选取第一个参数及参数值，将剩下的参数随机排列，按照次优原则选择参数对应的参数值，直至所有的参数都被加入；判断生成的测试用例是否在禁止元组中，若在则舍弃，不再则放入到测试用例候选集中；获得完整的测试用例候选集；在测试用例候选集中确定最优的测试用例，并将其放入到测试用例集中；判断两两覆盖组合对集中的元素是否为空，若为空，则测试用例集完成，若不为空，循环步骤四到八。本发明实现了对测试空间的等概率覆盖，提高测试的覆盖性和充分性，测试用例的数量减小，节约测试的成本。
-
公开(公告)号：CN111723008B
公开(公告)日：2024-06-11
申请号：CN202010471820.4
申请日：2020-05-29
Applicant: 北京机电工程研究所
IPC: G06F11/36
Abstract: 本发明提供了一种基于状态转换图的测试路径生成方法，该方法包括：判断是否需要覆盖状态转移对；在不需要覆盖状态转移对的情况下，生成覆盖每一个中间状态的第一测试路径集；生成覆盖每一个转移的测试路径并与第一测试路径集取并集得到第二测试路径集；确定第一循环子路径的循环次数，生成覆盖每一个第一循环子路径的测试路径并与第二测试路径集取并集得到第三测试路径集；在需要覆盖状态转移对的情况下，生成覆盖每一个状态转移对的第四测试路径集；确定第二循环子路径的循环次数，生成覆盖每一个第二循环子路径的测试路径并与第四测试路径集取并集得到第五测试路径集。本发明能够解决现有技术中生成测试路径方法效率低和覆盖不充分的技术问题。
-
公开(公告)号：CN117274752A
公开(公告)日：2023-12-22
申请号：CN202311203466.7
申请日：2023-09-18
Applicant: 北京机电工程研究所
IPC: G06V10/776 , G06F11/36 , G06V10/764 , G06V10/82 , G06N3/0464 , G06V10/25 , G06V10/766
Abstract: 本发明公开一种面向飞行器图像检测的深度学习算法的蜕变测试方法，以飞行器深度学习图像检测软件为被测对象，提出了针对深度学习图像识别软件的蜕变测试框架、蜕变关系输出结果的自动判定方法以及测试结果评估指标。采用的蜕变测试方法可以在不使用人工标注的情况下使用大量测试样本对被测软件进行测试，评估被测对象的识别效果和对不同变换的鲁棒性；根据测试的结果，可以挑选违反蜕变关系最多的样本作为被测软件的失效用例，通过人工标注的方式将其加入重训练集中来对模型进行重训练，提高被测软件的性能表现，以避免重训练过程中盲目地对大量样本进行标注和训练。因此蜕变测试可以作为高效选择重训练样本的方法，极大的降低改进模型的成本。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.021 seconds)
