Test set size minimization and fault detection effectiveness: A case study in a space application

Journal of Systems and Software

Volumn 48, Issue 2, 1999, Pages 79-89

  Wong, W Eric ^a   Horgan, Joseph R ^a   Mathur, Aditya P ^b   Pasquini, Alberto ^c  

^a TELCORDIA TECHNOLOGIES   (United States)

^b Purdue University   (United States)

^c ENEA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

BLOCK COVERAGE;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033312399     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00048-5     Document Type: Article

References (16)

1. Cancellieri, A., Giorgi, A., 1994. Array preprocessor user manual. Technical Report IDS-RT94/052.
2. Chvatal, V., 1979. A greedy heuristic for the set-covering problem. Mathematics of Operations Research 4(3).
3. Fulkerson D.R., Nemhauser G.L., Trotter L.E. Jr. Two computational difficult set covering problems that arise in computing the 1-width of incidence matrices of Steiner triple systems. Mathematical Programming Study. 2:1974;72-81.
4. Hutchins, M., Foster, H., Goradia, T., Ostrand, T., 1994. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May, pp. 191-200.
5. Harrold M.J., Gupta R., Soffa M.L. A methodology for controlling the size of a test suite. ACM Transactions on Software Engineering and Methodology. 2(3):1993;270-285.
6. Horgan, J.R., London, S.A., 1992. ATAC: A data flow coverage testing tool for C. Symposium on Assessment of Quality Software Development Tools, New Orleans, LA, May, pp. 2-10.
7. Musa J.D. Operational profiles in software reliability engineering. IEEE Software. 10(2):1993;14-32.
8. Ntafos S.C. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering. 14(6):1988;868-874.
9. IEEE 1044, 1993. Standard classification for software anomalies. IEEE Computer Society.
10. Tai K.C. Program testing complexity and test criteria. IEEE Transactions on Software Engineering. SE6(6):1980;531-538.
11. Weyuker E.J. The cost of data flow testing: An empirical study. IEEE Transactions on Software Engineering. 16(2):1990;121-127.
12. Wong, W.E., Horgan, J.R., London, S., Agrawal, H., 1997. A study of effective regression testing in practice. In: Proceedings of the Eighth International Symposium on Software Reliability Engineering, Albuquerque, New Mexico, November, pp. 522-528.
13. Wong, W.E., Horgan, J.R., London, S., Mathur, A.P., 1994. Effect of test set size and block coverage on fault detection effectiveness. In: Proceedings of the Fifth IEEE International Symposium on Software Reliability Engineering, Monterey, CA, November, pp. 230-238.
14. Wong W.E., Horgan J.R., London S., Mathur A.P. Effect of test set minimization on fault detection effectiveness. Software-Practice and Experience. 28(4):1998;347-369.
15. Wong W.E., Mathur A.P. Fault detection effectiveness of mutation and data flow testing. Software Quality Journal. 4(1):1995;69-83.
16. Zuev Y.A. A set-covering problem: The combinatorial-local approach and the branch and bound method. USSR Computational Mathematics and Mathematical Physics. 19(6):1979;217-226.