-
公开(公告)号：CN105930272B
公开(公告)日：2018-10-02
申请号：CN201610257126.6
申请日：2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明公布了一种基于重要语句的分支覆盖测试数据生成方法，旨在可以高效地生成覆盖目标分支的测试数据。具体步骤如下：(1)利用弱变异测试转化方法对原程序进行转化；(2)根据语句重要度指标体系对原程序语句进行排序；(3)基于以重要度排序后的原程序语句序列，确定相应的变异分支优先级；(4)建立以分支覆盖为准则的测试数据生成问题的数学模型；(5)设计适应度函数，以优先级最高的变异分支为目标；(6)设置相关遗传操作，采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号：CN108549607B
公开(公告)日：2021-05-18
申请号：CN201810343192.4
申请日：2018-04-17
Applicant: 中国矿业大学
Abstract: 本发明公布了一种消息传递并行程序多路径覆盖测试数据协同进化生成方法，旨在针对消息传递并行程序高效生成覆盖多目标路径的测试数据。具体步骤如下：(1)为程序每一个调度序列下的每一条目标路径分别构建对应种群，种群中的个体为编码后的程序输入；(2)设计种群性能与个体性能评价指标；(3)使用遗传算法对各种群进化求解，在这一过程中通过个体迁移使得个体趋于向性能好的种群进行迁移；(4)根据每一代进化结果停止已覆盖目标路径对应种群的进化，直到生成覆盖所有目标路径的测试数据或达到最大进化代数，终止算法。
-
公开(公告)号：CN106095669A
公开(公告)日：2016-11-09
申请号：CN201610390006.3
申请日：2016-06-03
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 本发明研究并行程序的调度序列约简方法，期望基于已有的测试数据集，依约简后的调度序列执行程序，能够覆盖目标语句，从而减少程序执行的代价，提高并行程序测试的效率。所提方法的思想是：首先，基于调度序列与目标语句执行之间的关系，确定影响目标语句的调度序列；然后，根据目标语句执行的情况是否相同，将影响目标语句的调度序列分成若干等价类；最后，针对等价类中每一调度序列，计算两个性能指标值，并选择综合指标值最小的，作为约简之后的调度序列。当需要覆盖目标语句时，基于该调度序列执行被测程序。
-
Patent Agency Ranking
公开(公告)号：CN106095669B
公开(公告)日：2020-09-25
申请号：CN201610390006.3
申请日：2016-06-03
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明研究并行程序的调度序列约简方法，期望基于已有的测试数据集，依约简后的调度序列执行程序，能够覆盖目标语句，从而减少程序执行的代价，提高并行程序测试的效率。所提方法的思想是：首先，基于调度序列与目标语句执行之间的关系，确定影响目标语句的调度序列；然后，根据目标语句执行的情况是否相同，将影响目标语句的调度序列分成若干等价类；最后，针对等价类中每一调度序列，计算两个性能指标值，并选择综合指标值最小的，作为约简之后的调度序列。当需要覆盖目标语句时，基于该调度序列执行被测程序。
-
公开(公告)号：CN109331989A
公开(公告)日：2019-02-15
申请号：CN201811086591.3
申请日：2018-09-18
Applicant: 中国矿业大学
Abstract: 一种煤炭全粒级干法脱水脱灰系统与工艺，该系统包括原煤准备与干燥部分、分选部分、介质净化循环部分；该工艺将待选原煤经破碎、筛分后分为粗、中、细、极细四个粒级产品，分别进入光电分选机、干法重介质流化床分选机、脉动/振动重介质流化床分选机和电选机/磁流化床分选机分选出精煤与尾煤；同时根据分选设备入料水分上限与入料水分情况决定是否开启干燥装置；产品带出的加重质经脱介筛脱除后一部分进入磁选机去除非磁性物后得到磁性物精矿回流进入分选机，另一部分加重质直接循环使用；本发明可实现粗、中、细、极细不同粒度煤炭的同时高效分选，解决目前干法选煤领域选别产品少、精煤质量差、介质利用率低、粉尘无度排放等问题。
-
公开(公告)号：CN105930272A
公开(公告)日：2016-09-07
申请号：CN201610257126.6
申请日：2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3684
Abstract: 本发明公布了一种基于重要语句的分支覆盖测试数据生成方法，旨在可以高效地生成覆盖目标分支的测试数据。具体步骤如下：(1)利用弱变异测试转化方法对原程序进行转化；(2)根据语句重要度指标体系对原程序语句进行排序；(3)基于以重要度排序后的原程序语句序列，确定相应的变异分支优先级；(4)建立以分支覆盖为准则的测试数据生成问题的数学模型；(5)设计适应度函数，以优先级最高的变异分支为目标；(6)设置相关遗传操作，采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号：CN109331989B
公开(公告)日：2020-09-25
申请号：CN201811086591.3
申请日：2018-09-18
Applicant: 中国矿业大学
Abstract: 一种煤炭全粒级干法脱水脱灰系统与工艺，该系统包括原煤准备与干燥部分、分选部分、介质净化循环部分；该工艺将待选原煤经破碎、筛分后分为粗、中、细、极细四个粒级产品，分别进入光电分选机、干法重介质流化床分选机、脉动/振动重介质流化床分选机和电选机/磁流化床分选机分选出精煤与尾煤；同时根据分选设备入料水分上限与入料水分情况决定是否开启干燥装置；产品带出的加重质经脱介筛脱除后一部分进入磁选机去除非磁性物后得到磁性物精矿回流进入分选机，另一部分加重质直接循环使用；本发明可实现粗、中、细、极细不同粒度煤炭的同时高效分选，解决目前干法选煤领域选别产品少、精煤质量差、介质利用率低、粉尘无度排放等问题。
-
公开(公告)号：CN108549607A
公开(公告)日：2018-09-18
申请号：CN201810343192.4
申请日：2018-04-17
Applicant: 中国矿业大学
Abstract: 本发明公布了一种消息传递并行程序多路径覆盖测试数据协同进化生成方法，旨在针对消息传递并行程序高效生成覆盖多目标路径的测试数据。具体步骤如下：(1)为程序每一个调度序列下的每一条目标路径分别构建对应种群，种群中的个体为编码后的程序输入；(2)设计种群性能与个体性能评价指标；(3)使用遗传算法对各种群进化求解，在这一过程中通过个体迁移使得个体趋于向性能好的种群进行迁移；(4)根据每一代进化结果停止已覆盖目标路径对应种群的进化，直到生成覆盖所有目标路径的测试数据或达到最大进化代数，终止算法。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.042 seconds)
