Publication Type |
pre-print |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Regehr, John |
Other Author |
Groce, Alex; Zhang, Chaoqiang; Alipour, Mohammad A.; Eide, Eric; Chen, Yang |
Title |
Help, help, Im being suppressed the significance of suppressors in software testing |
Date |
2013-01-01 |
Description |
Abstract-Test features are basic compositional units used to describe what a test does (and does not) involve. For example, in API-based testing, the most obvious features are function calls; in grammar-based testing, the obvious features are the elements of the grammar. The relationship between features as abstractions of tests and produced behaviors of the tested program is surprisingly poorly understood. This paper shows how large-scale random testing modified to use diverse feature sets can uncover causal relationships between what a test contains and what the program being tested does. We introduce a general notion of observable behaviors as targets, where a target can be a detected fault, an executed branch or statement, or a complex coverage entity such as a state, predicate-valuation, or program path. While it is obvious that targets have triggers - features without which they cannot be hit by a test - the notion of suppressors - features which make a test less likely to hit a target - has received little attention despite having important implications for automated test generation and program understanding. For a set of subjects including C compilers, a flash file system, and JavaScript engines, we show that suppression is both common and important. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
First Page |
390 |
Last Page |
399 |
Language |
eng |
Bibliographic Citation |
Groce, A., Zhang, C., Alipour, M. A., Eide, E., Chen, Y., & Regehr, J. (2013). Help, help, Im being suppressed the significance of suppressors in software testing. 2013 IEEE 24th International Symposium on Software Reliability Engineering, 6698892, 390-9. |
Rights Management |
(c) 2013 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
324,613 bytes |
Identifier |
uspace,18460 |
ARK |
ark:/87278/s6tq99jh |
Setname |
ir_uspace |
ID |
711952 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6tq99jh |