-
公开(公告)号：CN105930272B
公开(公告)日：2018-10-02
申请号：CN201610257126.6
申请日：2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明公布了一种基于重要语句的分支覆盖测试数据生成方法，旨在可以高效地生成覆盖目标分支的测试数据。具体步骤如下：(1)利用弱变异测试转化方法对原程序进行转化；(2)根据语句重要度指标体系对原程序语句进行排序；(3)基于以重要度排序后的原程序语句序列，确定相应的变异分支优先级；(4)建立以分支覆盖为准则的测试数据生成问题的数学模型；(5)设计适应度函数，以优先级最高的变异分支为目标；(6)设置相关遗传操作，采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号：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: 本发明涉及一种基于占优度的消息传递并行程序变异体约简方法，该方法包括：形成消息传递并行程序弱变异测试转化后的新程序；确定新程序中各变异条件语句真分支之间的占优关系；计算新程序中各变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度；得到冗余的变异条件语句真分支并进行约简；得到约简后的变异条件语句真分支和变异体。本技术方案针对消息传递并行程序弱变异测试转化后的新程序，根据变异条件语句真分支之间的占优度和各变异条件语句真分支的被占优度对变异体进行约简，不仅减少了变异体的数量，还提高了变异测试的效率，为消息传递并行程序的变异体约简问题提供了一种有效的解决思路。
-
公开(公告)号：CN106095669B
公开(公告)日：2020-09-25
申请号：CN201610390006.3
申请日：2016-06-03
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 本发明研究并行程序的调度序列约简方法，期望基于已有的测试数据集，依约简后的调度序列执行程序，能够覆盖目标语句，从而减少程序执行的代价，提高并行程序测试的效率。所提方法的思想是：首先，基于调度序列与目标语句执行之间的关系，确定影响目标语句的调度序列；然后，根据目标语句执行的情况是否相同，将影响目标语句的调度序列分成若干等价类；最后，针对等价类中每一调度序列，计算两个性能指标值，并选择综合指标值最小的，作为约简之后的调度序列。当需要覆盖目标语句时，基于该调度序列执行被测程序。
-
公开(公告)号：CN105843744B
公开(公告)日：2018-10-16
申请号：CN201610256250.0
申请日：2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
Abstract: 用于并行程序蜕变测试的蜕变关系优先级排序方法。应用蜕变测试技术于并行程序的软件测试,先对构造的蜕变关系进行优先级排序，旨在尽早地发现程序中的错误，从而提高解决存在于软件测试中的Oracle问题的效率。该优先级排序策略利用蜕变关系产生的衍生测试用例及原始测试用例，以它们之间的相似度为依据估计其执行程序所覆盖路径的相似度，进而估计蜕变关系基于已有测试用例的检错范围，并基于此对蜕变关系进行优先级排序。具体步骤如下：(1)评估蜕变关系的各个进程检错能力；(2)设置各个进程的权值，以反映蜕变关系的各个进程检错能力，对评估其对整个程序检错能力所占的权重；(3)评估蜕变关系的程序检错能力,并确定各个蜕变关系的优先级；(4)检测程序。
-
Patent Agency Ranking
公开(公告)号：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)设置相关遗传操作，采用遗传算法生成覆盖目标分支的测试数据。
-
公开(公告)号：CN105843744A
公开(公告)日：2016-08-10
申请号：CN201610256250.0
申请日：2016-04-22
Applicant: 中国矿业大学
IPC: G06F11/36
CPC classification number: G06F11/3688
Abstract: 用于并行程序蜕变测试的蜕变关系优先级排序方法。应用蜕变测试技术于并行程序的软件测试,先对构造的蜕变关系进行优先级排序，旨在尽早地发现程序中的错误，从而提高解决存在于软件测试中的Oracle问题的效率。该优先级排序策略利用蜕变关系产生的衍生测试用例及原始测试用例，以它们之间的相似度为依据估计其执行程序所覆盖路径的相似度，进而估计蜕变关系基于已有测试用例的检错范围，并基于此对蜕变关系进行优先级排序。具体步骤如下：(1)评估蜕变关系的各个进程检错能力；(2)设置各个进程的权值，以反映蜕变关系的各个进程检错能力，对评估其对整个程序检错能力所占的权重；(3)评估蜕变关系的程序检错能力,并确定各个蜕变关系的优先级；(4)检测程序。
-
公开(公告)号：CN111459790B
公开(公告)日：2023-07-25
申请号：CN201911343498.0
申请日：2019-12-24
Applicant: 中国矿业大学
Abstract: 本发明公布了一种基于遗传算法的消息传递接口程序分支覆盖测试方法，旨在针对消息传递接口程序高效生成覆盖所有分支的测试套件。具体步骤如下：(1)，基于收集覆盖信息的探针，定义最小归一化分支距离；(2)，基于定义的最小归一化分支距离，设计出目标函数；(3)，使用遗传算法生成进化个体，并基于设计的目标函数，计算这些个体的目标函数值，直到生成覆盖所有分支的测试套件或达到最大进化代数，终止算法。
-
公开(公告)号：CN115599659A
公开(公告)日：2023-01-13
申请号：CN202110766603.2
申请日：2021-07-07
Applicant: 中国矿业大学(CN)
Abstract: 本发明公布了一种基于进化算法的并行程序测试路径选择方法，旨在生成用于软件测试中具有代表性的并行程序路径。具体步骤如下：(1)，基于控制流图、dd图获取程序的基础路径集；(2)，基于定义的路径集覆盖难度和并行通信指标等涉目标函数，建立多目标优化模型(3)，使用基于NSGA‑II多目标进化算法，生成Pareto最优解集，之后选择其中包含边数最多的路径集作为目标路径集。
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.019 seconds)
