TY - GEN
T1 - Saturation-based testing of concurrent programs
AU - Sherman, Elena
AU - Dwyer, Matthew B.
AU - Elbaum, Sebastian
PY - 2009
Y1 - 2009
N2 - Coverage measures help to determine whether a test suite exercises a program adequately according to a testing criterion. Many existing measures, however, are defined over coverage domains that cannot be precisely calculated, rendering them of limited value in assessing the extent of testing activities. To exploit the use of such measures, we formalize saturation-based test adequacy, a form of adequacy focused on the rate at which coverage increases during test suite execution. We define a family of coverage metrics for concurrent program testing that are well-suited to saturation-based adequacy and present a study that explores their cost and effectiveness. The results of this study suggest that saturation-based testing can serve as an effective complement to traditional notions of coverage-based testing.
AB - Coverage measures help to determine whether a test suite exercises a program adequately according to a testing criterion. Many existing measures, however, are defined over coverage domains that cannot be precisely calculated, rendering them of limited value in assessing the extent of testing activities. To exploit the use of such measures, we formalize saturation-based test adequacy, a form of adequacy focused on the rate at which coverage increases during test suite execution. We define a family of coverage metrics for concurrent program testing that are well-suited to saturation-based adequacy and present a study that explores their cost and effectiveness. The results of this study suggest that saturation-based testing can serve as an effective complement to traditional notions of coverage-based testing.
KW - Concurrent programs
KW - Coverage
KW - Test adequacy criteria
UR - http://www.scopus.com/inward/record.url?scp=77949401303&partnerID=8YFLogxK
U2 - 10.1145/1595696.1595706
DO - 10.1145/1595696.1595706
M3 - Conference contribution
AN - SCOPUS:77949401303
SN - 9781605580012
T3 - ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering
SP - 53
EP - 62
BT - ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering
T2 - Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC-FSE'09
Y2 - 24 August 2009 through 28 August 2009
ER -