公开(公告)号：CN111459790B

公开(公告)日：2023-07-25

申请号：CN201911343498.0

申请日：2019-12-24

Applicant: 中国矿业大学

Inventor： 巩敦卫 ,  孙百才 ,  沈鑫 ,  杜莹 ,  潘峰 ,  姚香娟 ,  田甜

IPC: G06F11/36 ,  G06N3/126 ,  G06N3/006

Abstract: 本发明公布了一种基于遗传算法的消息传递接口程序分支覆盖测试方法，旨在针对消息传递接口程序高效生成覆盖所有分支的测试套件。具体步骤如下：(1)，基于收集覆盖信息的探针，定义最小归一化分支距离；(2)，基于定义的最小归一化分支距离，设计出目标函数；(3)，使用遗传算法生成进化个体，并基于设计的目标函数，计算这些个体的目标函数值，直到生成覆盖所有分支的测试套件或达到最大进化代数，终止算法。

公开(公告)号：CN115599659A

公开(公告)日：2023-01-13

申请号：CN202110766603.2

申请日：2021-07-07

Applicant: 中国矿业大学(CN)

Inventor： 巩敦卫 ,  朱春旭 ,  杜莹 ,  孙百才 ,  姚香娟 ,  党向盈 ,  田甜

IPC: G06F11/36 ,  G06N3/12

Abstract: 本发明公布了一种基于进化算法的并行程序测试路径选择方法，旨在生成用于软件测试中具有代表性的并行程序路径。具体步骤如下：(1)，基于控制流图、dd图获取程序的基础路径集；(2)，基于定义的路径集覆盖难度和并行通信指标等涉目标函数，建立多目标优化模型(3)，使用基于NSGA‑II多目标进化算法，生成Pareto最优解集，之后选择其中包含边数最多的路径集作为目标路径集。

公开(公告)号：CN111459790A

公开(公告)日：2020-07-28

申请号：CN201911343498.0

申请日：2019-12-24

Applicant: 中国矿业大学

Inventor： 巩敦卫 ,  孙百才 ,  沈鑫 ,  杜莹 ,  潘峰 ,  姚香娟 ,  田甜

IPC: G06F11/36 ,  G06N3/12 ,  G06N3/00

Abstract: 本发明公布了一种基于遗传算法的消息传递接口程序分支覆盖测试套件生成方法，旨在针对消息传递接口程序高效生成覆盖所有分支的测试套件。具体步骤如下：(1)，基于收集覆盖信息的探针，定义最小归一化分支距离；(2)，基于定义的最小归一化分支距离，设计出目标函数；(3)，使用遗传算法生成进化个体，并基于设计的目标函数，计算这些个体的目标函数值，直到生成覆盖所有分支的测试套件或达到最大进化代数，终止算法。