含随机数软件测试数据生成问题的建模及进化求解方法

    公开(公告)号:CN103902455B

    公开(公告)日:2016-08-03

    申请号:CN201410139311.6

    申请日:2014-04-08

    Abstract: 本发明公布了含随机数软件测试数据生成问题的建模及进化求解方法。软件测试的核心,是要在短时间内生成有效的测试数据。对于内部含有随机数等不确定参数的复杂软件,传统的测试数据生成方法往往难以奏效。本文首先给出含随机数软件的测试充分性准则,在此基础上建立了含随机数软件测试数据生成问题的数学模型,并提出相应的进化优化求解方法。

    基于语句占优关系和两阶段遗传算法的高阶变异测试方法

    公开(公告)号:CN103605605A

    公开(公告)日:2014-02-26

    申请号:CN201310595506.7

    申请日:2013-11-21

    Abstract: 本发明公布了一种基于语句占优关系和两阶段遗传算法的高阶变异测试方法,目的是提高高阶变异测试的有效性和质量。首先,基于程序的占优关系树,来确定高阶变异的语句选择问题,从而保障位于同一个高阶变异体中的所有变异语句都被执行;然后,建立所需的目标函数,对高阶变异体的优劣进行度量;最后,设计了一种包含两个交替进化过程的遗传算法来生成高质量的高阶变异体,从而揭示程序所包含的复杂缺陷。该方法不但可以减少高阶变异体的数量,还可以保证高阶变体具有好的性能,对提高高阶变异测试的有效性和可行性具有重要意义。

    基于语句占优关系和两阶段遗传算法的高阶变异测试方法

    公开(公告)号:CN103605605B

    公开(公告)日:2016-05-25

    申请号:CN201310595506.7

    申请日:2013-11-21

    Abstract: 本发明公布了一种基于语句占优关系和两阶段遗传算法的高阶变异测试方法,目的是提高高阶变异测试的有效性和质量。首先,基于程序的占优关系树,来确定高阶变异的语句选择问题,从而保障位于同一个高阶变异体中的所有变异语句都被执行;然后,建立所需的目标函数,对高阶变异体的优劣进行度量;最后,设计了一种包含两个交替进化过程的遗传算法来生成高质量的高阶变异体,从而揭示程序所包含的复杂缺陷。该方法不但可以减少高阶变异体的数量,还可以保证高阶变体具有好的性能,对提高高阶变异测试的有效性和可行性具有重要意义。

    含随机数软件测试数据生成问题的优化模型及进化求解

    公开(公告)号:CN103902455A

    公开(公告)日:2014-07-02

    申请号:CN201410139311.6

    申请日:2014-04-08

    Abstract: 本发明公布了含随机数软件测试数据生成问题的优化模型及进化求解方法。软件测试的核心,是要在短时间内生成有效的测试数据。对于内部含有随机数等不确定参数的复杂软件,传统的测试数据生成方法往往难以奏效。本文首先给出含随机数软件的测试充分性准则,在此基础上建立了含随机数软件测试数据生成问题的数学模型,并提出相应的进化优化求解方法。

Patent Agency Ranking