-
Patent Agency Ranking
公开(公告)号：CN111459790B
公开(公告)日：2023-07-25
申请号：CN201911343498.0
申请日：2019-12-24
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的消息传递接口程序分支覆盖测试方法，旨在针对消息传递接口程序高效生成覆盖所有分支的测试套件。具体步骤如下：(1)，基于收集覆盖信息的探针，定义最小归一化分支距离；(2)，基于定义的最小归一化分支距离，设计出目标函数；(3)，使用遗传算法生成进化个体，并基于设计的目标函数，计算这些个体的目标函数值，直到生成覆盖所有分支的测试套件或达到最大进化代数，终止算法。
-
公开(公告)号：CN108549607B
公开(公告)日：2021-05-18
申请号：CN201810343192.4
申请日：2018-04-17
Applicant: 中国矿业大学
Abstract: 本发明公布了一种消息传递并行程序多路径覆盖测试数据协同进化生成方法，旨在针对消息传递并行程序高效生成覆盖多目标路径的测试数据。具体步骤如下：(1)为程序每一个调度序列下的每一条目标路径分别构建对应种群，种群中的个体为编码后的程序输入；(2)设计种群性能与个体性能评价指标；(3)使用遗传算法对各种群进化求解，在这一过程中通过个体迁移使得个体趋于向性能好的种群进行迁移；(4)根据每一代进化结果停止已覆盖目标路径对应种群的进化，直到生成覆盖所有目标路径的测试数据或达到最大进化代数，终止算法。
-
公开(公告)号：CN111459790A
公开(公告)日：2020-07-28
申请号：CN201911343498.0
申请日：2019-12-24
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的消息传递接口程序分支覆盖测试套件生成方法，旨在针对消息传递接口程序高效生成覆盖所有分支的测试套件。具体步骤如下：(1)，基于收集覆盖信息的探针，定义最小归一化分支距离；(2)，基于定义的最小归一化分支距离，设计出目标函数；(3)，使用遗传算法生成进化个体，并基于设计的目标函数，计算这些个体的目标函数值，直到生成覆盖所有分支的测试套件或达到最大进化代数，终止算法。
-
公开(公告)号：CN108549607A
公开(公告)日：2018-09-18
申请号：CN201810343192.4
申请日：2018-04-17
Applicant: 中国矿业大学
Abstract: 本发明公布了一种消息传递并行程序多路径覆盖测试数据协同进化生成方法，旨在针对消息传递并行程序高效生成覆盖多目标路径的测试数据。具体步骤如下：(1)为程序每一个调度序列下的每一条目标路径分别构建对应种群，种群中的个体为编码后的程序输入；(2)设计种群性能与个体性能评价指标；(3)使用遗传算法对各种群进化求解，在这一过程中通过个体迁移使得个体趋于向性能好的种群进行迁移；(4)根据每一代进化结果停止已覆盖目标路径对应种群的进化，直到生成覆盖所有目标路径的测试数据或达到最大进化代数，终止算法。
-
公开(公告)号：CN2223493Y
公开(公告)日：1996-03-27
申请号：CN94224999.2
申请日：1994-08-10
Applicant: 中国矿业大学北京研究生部
IPC: G01N21/25
Abstract: 乳化液浓度检测和配制装置，由光源、光电转换器、光纤、配液箱和搅拌器组成，配液箱内有搅拌器，配液箱两侧外有光源和光电转换器，光源后和光电转换器前有光纤，光纤埋设于配液箱预定液面高度下，两光纤间的间距为1-200毫米，光源发出的光为波长200-1500纳米单色光，乳化液浓度配制准确，可免除浓度配制的手工劳动。
-
-
-
-
Search Results
5
records
(took 0.018 seconds)
