首页> 外文会议>International symposium on search based software engineering >Testing of Concurrent Programs Using Genetic Algorithms
【24h】

Testing of Concurrent Programs Using Genetic Algorithms

机译:使用遗传算法测试并发程序

获取原文

摘要

Noise injection disturbs the scheduling of program threads in order to increase the probability that more of their different legal interleavings occur during the testing process. However, there exist many different types of noise heuristics with many different parameters that are not easy to set such that noise injection is really efficient. In this paper, we propose a new way of using genetic algorithms to search for suitable types of noise heuristics and their parameters. This task is formalized as the test and noise configuration search problem in the paper, followed by a discussion of how to represent instances of this problem for genetic algorithms, which objectives functions to use, as well as parameter tuning of genetic algorithms when solving the problem. The proposed approach is evaluated on a set of benchmarks, showing that it provides significantly better results than the so far preferred random noise injection.
机译:噪声注入会干扰程序线程的调度,以增加在测试过程中发生更多不同合法交织的可能性。但是,存在许多不同类型的噪声试探法,这些试探法具有许多不容易设置的参数,因此噪声注入确实非常有效。在本文中,我们提出了一种使用遗传算法搜索合适类型的噪声启发式方法及其参数的新方法。该任务在本文中正式化为测试和噪声配置搜索问题,然后讨论了如何针对遗传算法表示此问题的实例,目标功能要使用的功能以及解决问题时遗传算法的参数调整。所提出的方法在一组基准上进行了评估,表明与目前为止首选的随机噪声注入相比,该方法提供了明显更好的结果。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号