-
公开(公告)号：CN103559129B
公开(公告)日：2016-08-17
申请号：CN201310529188.4
申请日：2013-10-31
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的统计回归测试数据生成方法，旨在可以高效快速地生成覆盖目标路径的测试数据。具体步骤如下：(1)根据回归测试过程中的修改语句，确定相关输入变量；(2)对与修改语句相关输入变量的概率分布进行建模；(3)基于修改前程序中输入分量的部分概率分布及其扰动值形成初始种群；(4)根据设计的适应度函数，对种群中的每个个体计算其适应值；(5)根据计算出的个体适应值，判断目标函数是否找到最优解，若找到，则输出测试数据并转步骤6；否则，对个体进行变异操作，生成新个体并返回步骤4；(6)结合与修改语句不相关输入变量的概率分布，得到所有输入变量的概率分布；并基于该分布采样，生成测试数据。
-
公开(公告)号：CN104281522A
公开(公告)日：2015-01-14
申请号：CN201410543046.8
申请日：2014-10-14
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明提出一种基于语句覆盖和缺陷检测的多目标测试数据缩减方法，目的是有效减少测试数据的冗余度，提高软件测试的效率。首先，将测试数据缩减问题转化为多目标优化问题，优化的目标是使得测试数据集的语句覆盖率和缺陷检测率尽可能地多，并且测试数据的个数尽可能地少；然后明确各个目标函数，建立多目标优化模型；最后提出一种遗传算法对该问题进行求解。该方法能够找到有效的测试数据，使其同时满足满足语句覆盖率、缺陷检测率的最大化，测试数据个数最小化。
-
公开(公告)号：CN103995954A
公开(公告)日：2014-08-20
申请号：CN201410139373.7
申请日：2014-04-08
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于邻接矩阵的节点匹配模型及进化求解方法，目的当对关联网络进行综合分析时找出多重身份个体在不同网络中的节点对应关系，从而进行网络数据的挖掘。首先，建立了基于邻接矩阵的节点匹配模型，发明了两个网络匹配优劣的评价函数，从而把网络节点匹配问题转化为一个函数优化问题，从而简化问题；然后，给出了节点匹配问题的进化求解方法；最后，用三类常用的复杂网络进行匹配实验，从而揭示和检验本发明提出的方法的有效性。
-
公开(公告)号：CN104750610B
公开(公告)日：2018-01-09
申请号：CN201510140052.3
申请日：2015-03-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
-
公开(公告)号：CN104750610A
公开(公告)日：2015-07-01
申请号：CN201510140052.3
申请日：2015-03-24
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
-
Patent Agency Ranking
公开(公告)号：CN103902457A
公开(公告)日：2014-07-02
申请号：CN201410155745.5
申请日：2014-04-17
Applicant: 中国矿业大学
Abstract: 基于协同进化的测试数据生成方法，旨在提供一种能够高效生成覆盖并行程序目标路径的测试数据自动生成方法，具体步骤如下：(1)建立测试数据生成问题的数学模型，将并行程序路径覆盖测试数据生成问题建模为一个单目标优化问题；(2)设计协同进化遗传算法求解上述模型。该方法根据进程路径与程序输入分量的相关性，将种群划分为多个子种群和一个合作团体群。每个子种群独立优化某一进程路径相关的部分输入分量。当进化到一定周期后，子种群的优良个体组合形成合作团体群的初始个体，用以优化完整的程序输入。当合作团体群进化到一定周期后，向子种群返回优良个体。通过合作团体群和子种群的交替协同进化，生成期望的测试数据。
-
公开(公告)号：CN103559129A
公开(公告)日：2014-02-05
申请号：CN201310529188.4
申请日：2013-10-31
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的统计回归测试数据生成方法，旨在可以高效快速地生成覆盖目标路径的测试数据。具体步骤如下：(1)根据回归测试过程中的修改语句，确定相关输入变量；(2)对与修改语句相关输入变量的概率分布进行建模；(3)基于修改前程序中输入分量的部分概率分布及其扰动值形成初始种群；(4)根据设计的适应度函数，对种群中的每个个体计算其适应值；(5)根据计算出的个体适应值，判断目标函数是否找到最优解，若找到，则输出测试数据并转步骤6；否则，对个体进行变异操作，生成新个体并返回步骤4；(6)结合与修改语句不相关输入变量的概率分布，得到所有输入变量的概率分布；并基于该分布采样，生成测试数据。
-
公开(公告)号：CN104281522B
公开(公告)日：2017-09-05
申请号：CN201410543046.8
申请日：2014-10-14
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明提出一种基于语句覆盖和缺陷检测的多目标测试数据缩减方法，目的是有效减少测试数据的冗余度，提高软件测试的效率。首先，将测试数据缩减问题转化为多目标优化问题，优化的目标是使得测试数据集的语句覆盖率和缺陷检测率尽可能地多，并且测试数据的个数尽可能地少；然后明确各个目标函数，建立多目标优化模型；最后提出一种遗传算法对该问题进行求解。该方法能够找到有效的测试数据，使其同时满足满足语句覆盖率、缺陷检测率的最大化，测试数据个数最小化。
-
公开(公告)号：CN204575114U
公开(公告)日：2015-08-19
申请号：CN201520047514.2
申请日：2015-01-23
Applicant: 中国矿业大学
IPC: G01D21/02
Abstract: 本实用新型涉及一种检测装置，特别涉及一种基于单片机的环境检测装置。该基于单片机的环境检测装置，包括环境监测仪和微型电脑，其特征在于：所述环境监测仪包括壳体，壳体上端设有接收器，接收器表面设有小孔，接收器内部设有信息采集模块；所述采集模块连接有A/D模块，该A/D模块与单片机相连；所述单片机连接有存储模块，电源检测模块和无线传输模块；所述壳体内部设有电源；所述壳体底端设有固定夹。所述环境监测仪和微型电脑通过无线传输模块交换数据。本实用新型成本较低，可以适应不同的地区环境，并且可以单独或是多个共同监测，实现了环境实时监测，增加了环境数据的可信度。
-
公开(公告)号：CN204045465U
公开(公告)日：2014-12-24
申请号：CN201420379983.X
申请日：2014-07-10
Applicant: 中国矿业大学
Abstract: 本实用新型涉及一种开关，特别涉及一种电气自动化用开关。该电气自动化用开关，包括底座和旋钮，底座上部设有静触片，旋钮上设有动触片，其特征是：所述底座和旋钮均为圆弧形，底座中部设有凸块，凸块位于静触片右侧，凸块下部连接设有弹簧，旋钮右侧下端设有凸轮。本实用新型的有益效果是：旋钮在很小的角度范围内不做圆周运动的情况下，也可控制开关的断开与连接；结构简单、操作方便、使用寿命长、安全可靠，为电气自动化的开关控制提供了便利。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.02 seconds)
