RECONTEST: Effective Regression Testing of Concurrent Programs

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Pub Date : 2015-05-16 DOI:10.1109/ICSE.2015.45

Valerio Terragni, S. Cheung, Charles Zhang

{"title":"RECONTEST: Effective Regression Testing of Concurrent Programs","authors":"Valerio Terragni, S. Cheung, Charles Zhang","doi":"10.1109/ICSE.2015.45","DOIUrl":null,"url":null,"abstract":"Concurrent programs proliferate as multi-core technologies advance. The regression testing of concurrent programs often requires running a failing test for weeks before catching a faulty interleaving, due to the myriad of possible interleavings of memory accesses arising from concurrent program executions. As a result, the conventional approach that selects a sub-set of test cases for regression testing without considering interleavings is insufficient. In this paper we present RECONTEST to address the problem by selecting the new interleavings that arise due to code changes. These interleavings must be explored in order to uncover regression bugs. RECONTEST efficiently selects new interleavings by first identifying shared memory accesses that are affected by the changes, and then exploring only those problematic interleavings that contain at least one of these accesses. We have implemented RECONTEST as an automated tool and evaluated it using 13 real-world concurrent program subjects. Our results show that RECONTEST can significantly reduce the regression testing cost without missing any faulty interleavings induced by code changes.","PeriodicalId":330487,"journal":{"name":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","volume":"204 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"30","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE/ACM 37th IEEE International Conference on Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICSE.2015.45","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 30

Abstract

Concurrent programs proliferate as multi-core technologies advance. The regression testing of concurrent programs often requires running a failing test for weeks before catching a faulty interleaving, due to the myriad of possible interleavings of memory accesses arising from concurrent program executions. As a result, the conventional approach that selects a sub-set of test cases for regression testing without considering interleavings is insufficient. In this paper we present RECONTEST to address the problem by selecting the new interleavings that arise due to code changes. These interleavings must be explored in order to uncover regression bugs. RECONTEST efficiently selects new interleavings by first identifying shared memory accesses that are affected by the changes, and then exploring only those problematic interleavings that contain at least one of these accesses. We have implemented RECONTEST as an automated tool and evaluated it using 13 real-world concurrent program subjects. Our results show that RECONTEST can significantly reduce the regression testing cost without missing any faulty interleavings induced by code changes.

查看原文本刊更多论文

并发程序的有效回归测试

随着多核技术的发展，并发程序激增。并发程序的回归测试通常需要在捕获错误的交错之前运行失败的测试数周，这是由于并发程序执行引起的无数可能的内存访问交错。因此，选择测试用例子集进行回归测试而不考虑交叉的传统方法是不够的。在本文中，我们提出RECONTEST通过选择由于代码更改而产生的新交错来解决问题。为了发现回归错误，必须探索这些交错。RECONTEST通过首先识别受更改影响的共享内存访问来有效地选择新的交错，然后只探索那些包含至少一个这些访问的有问题的交错。我们已经实现了RECONTEST作为一个自动化工具，并使用13个真实世界的并发程序主题对其进行了评估。我们的结果表明，RECONTEST可以显著降低回归测试成本，而不会遗漏任何由代码更改引起的错误交织。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2015 IEEE/ACM 37th IEEE International Conference on Software Engineering

自引率

0.00%

发文量