A case study in branch testing automation

Journal of Systems and Software

Volumn 38, Issue 1, 1997, Pages 47-59

  Bertolino, Antonia ^a,d   Mirandola, Raffaela ^b   Peciola, Emilia ^c  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF ROME TOR VERGATA   (Italy)

^c Ericsson Telecomunicazioni SpA   (Italy)

^d CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; OBJECT ORIENTED PROGRAMMING; PROGRAM DIAGNOSTICS; STATISTICAL METHODS;

BRANCH TESTING PROCESS; PATH GENERATION METHOD;

SOFTWARE ENGINEERING;

EID: 0031192016     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)00061-7     Document Type: Article

References (12)

1. Beizer, B., Software Testing Techniques, Second Edition, Van Nostrand Reinhold, New York, 1990.
2. Bertolino, A., Unconstrained Edges and Their Application to Branch Analysis and Testing of Programs. Journal of Systems and Software, 20 (2), 125-133 (1993).
3. Bertolino, A. and Marré, M., Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Trans. on Software Engineering, 20(12), 885-899 (1994).
4. Bertolino, A., and Marré, M., How many paths are needed for branch testing? Journal of Systems and Software, 35(2), 95-106 (1996).
5. Lavenberg, S. S. Computer Performance Modelling Handbook, Academic Press, New York, 1983.
6. McCabe, T. J., A Complexity Measure. IEEE Trans. on Software Engineering, SE 2(4), 308-320 (1976).
7. Hecht, M. S., Flow Analysis of Computer Programs, Elsevier, New York, 1977.
8. Jacobson, I., Christerson, M., Jonsson, P. and Overgaard, G., Object Oriented Software Engineering - A Use Case Driven Approach, Addison-Wesley, New York, 1992.
9. Knuth, E. D., The Art of Computer Programming, Vol. 2, Addison-Wesley, Reading, Massachusetts, 1981.
10. Rapps, S. and Weyuker, E. J., Selecting Software Test Date Using Data Flow Information. IEEE Trans. on Software Engineering, SE-11(4), 367-376 (1985).
11. STW, Software TestWorks, Test Coverage Tools: TCAT, S-TCAT, TCAT-PATH, T-SCOPE, SR Software Research, Inc., San Francisco, 1991.
12. Yates, D. F. and Malevris, N., Reducing the Effects of Infeasible Paths in Branch Testing. ACM SIGSOFT Software Engineering Notes, 14(8), 48-54 (1989).