Comparing multi-point stride coverage and dataflow coverage
作者： James H. Andrews , Mohammad Mahdi Hassan
关键词: Overhead (computing) 、 Java 、 Dataflow 、 Code coverage 、 Computer engineering 、 Test suite 、 Computer science 、 Instrumentation (computer programming) 、 Data-flow analysis 、 Data structure 、 Tuple 、 Real-time computing
摘要: We introduce a family of coverage criteria, called Multi-Point Stride Coverage (MPSC). MPSC generalizes branch to tuples branches taken from the execution sequence program. investigate its potential as replacement for dataflow coverage, such def-use coverage. find that programs can be instrumented easily, instrumentation usually incurs less overhead than and is comparable in usefulness predicting test suite effectiveness. also space required collect predicted number
acm.org
sci-hub.st 参考文章(33)
Glenford J. Myers, Art of Software Testing John Wiley & Sons, Inc.. ,(1979)
Paul Ammann, Jeff Offutt, Introduction to Software Testing Cambridge University Press. ,(2008) , 10.1017/CBO9780511809163
Jeff Offutt, Paul Ammann, Introduction to Software Testing ,(2016)
A. Jefferson Offutt, Roland H. Untch, Mutation 2000: uniting the orthogonal Mutation testing for the new century. pp. 34- 44 ,(2001) , 10.1007/978-1-4757-5939-6_7
J. R. Horgna, S. London, Data flow coverage and the C language Proceedings of the symposium on Testing, analysis, and verification. pp. 87- 97 ,(1991) , 10.1145/120807.120815
Akbar Siami Namin, James H. Andrews, The influence of size and coverage on test suite effectiveness Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09. pp. 57- 68 ,(2009) , 10.1145/1572272.1572280
S. Rapps, E.J. Weyuker, Selecting Software Test Data Using Data Flow Information IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 367- 375 ,(1985) , 10.1109/TSE.1985.232226
Simeon C. Ntafos, On Required Element Testing IEEE Transactions on Software Engineering. ,vol. SE-10, pp. 795- 803 ,(1984) , 10.1109/TSE.1984.5010308
M.R. Woodward, D. Hedley, M.A. Hennell, Experience with Path Analysis and Testing of Programs IEEE Transactions on Software Engineering. ,vol. SE-6, pp. 278- 286 ,(1980) , 10.1109/TSE.1980.230473
T.S. Chow, Testing Software Design Modeled by Finite-State Machines IEEE Transactions on Software Engineering. ,vol. SE-4, pp. 178- 187 ,(1978) , 10.1109/TSE.1978.231496