Coverage testing of Java programs and components

Science of Computer Programming

Volumn 56, Issue 1-2, 2005, Pages 211-230

  Vincenzi, A M R ^a,c   Maldonado, J C ^a   Wong, W E ^b   Delamaro, M E ^c  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b The University of Texas at Dallas   (United States)

^c Ctro Univ Euripides de Marilia   (Brazil)

Author keywords

Control flow testing; Data flow testing; Java bytecode; Java component testing; Java program testing; Structural testing

Indexed keywords

COMPUTER SOFTWARE; DATA ACQUISITION; INTEGRATION; INTERFACES (COMPUTER); MATHEMATICAL MODELS; SOFTWARE ENGINEERING; STRUCTURAL ANALYSIS;

CONTROL-FLOW TESTING; DATA-FLOW TESTING; JAVA BYTECODES; JAVA COMPONENT TESTING; JAVA PROGRAM TESTING; STRUCTURAL TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 14544284937     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2004.11.013     Document Type: Article

References (35)

1. H. Agrawal Dominators, super block, and program coverage SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'94 1994 ACM Press Portland, Oregon 25 34
2. K. Beck, and E. Gamma JUnit cookbook WEB page. Available at: http://www.junit.org/ 2002 (accessed 03/01/2004)
3. B. Beizer Black-Box Testing: Techniques for Functional Testing of Software and Systems 1995 John Wiley & Sons New York
4. S. Beydeda, and V. Gruhn An integrated testing technique for component-based software 1st AICCSA ACS/IEEE International Conference on Computer Systems and Applications 2001 IEEE Press Beirut, Libanon 328 334
5. A. Binns, and G. McGraw Building a Java software engineering tool for testing applets IntraNet 96 NY Conference, New York, USA 1996
6. A. Boujarwah, K. Saleh, and J. Al-Dallal Dynamic data flow analysis for Java programs Journal of Information and Software Technology 42 11 2000 765 775
7. G.A. Bundell, G. Lee, J. Morris, K. Parker, and P. Lam A software component verification tool 1st International Conference on Software Methods and Tools 2000 IEEE Press Wollongong, Australia 137 147
8. C. Chambers, I. Pechtchanski, V. Sarkar, M. Serrano, and H. Srinivasan Dependence analysis for Java Workshop on Languages and Compilers for Parallel Computing, LCPC'99 La Jolla, CA 1999
9. M.-H. Chen, and H.M. Kao Testing object-oriented programs-an integrated approach 10th International Symposium on Software Reliability Engineering 1999 IEEE Computer Society Boca Raton, FL 73 83
10. P. Corporation Automatic Java software and component testing: using JTest to automate unit testing and coding standard enforcement WEB page. Available at: http://www.parasoft.com/ 2002 (accessed 03/01/2004)
11. P. Corporation Using design by contract to automate Java software and component testing WEB page. Available at: http://www.parasoft.com/ 2002 (accessed 01/03/2004)
12. T. Edge Glass JAR toolkit WEB page. Available at: http://www.testersedge. com/gjtk/ 2002 (accessed 03/01/2004)
13. S.H. Edwards A framework for practical, automated black-box testing of component-based software STVR-Software Testing Verification and Reliability vol. 11 2001 John Wiley and Sons 97 111
14. S.H. Edwards Toward reflective metadata wrappers for formally specified software components 1st Workshop on Specification and Verification of Component-Based Systems-affiliated with OOPSLA'2001 2001 ACM Press Tampa, FL 14 21
15. M.J. Harrold, and G. Rothermel Performing data flow testing on classes Second ACM SIGSOFT Symposium on Foundations of Software Engineering 1994 ACM Press New York, NY 154 163
16. M.J. Harrold, D. Liang, and S. Sinha An approach to analyzing and testing component-based systems First Workshop on Testing Distributed Component-Based Systems at ICSE'1999 1999 IEEE Press Los Angeles, CA
17. J.R. Horgan, and S.A. London Data flow coverage and the C language Symposium Software Testing, Analysis, and Verification 1991 ACM Press Victoria, British Columbia, Canada 87 97
18. J.C. Maldonado, Potential-uses criteria: a contribution to the structural testing of software, Doctoral Dissertation, DCA/FEE/UNICAMP, Campinas, SP, Brazil, July 1991 (in Portuguese)
19. MAN MACHINE SYSTEMS JCover 2.1-user's guide WEB page. Available at: http://www.mmsindia.com/JCover.html 2002 (accessed 03/01/2004)
20. G.J. Myers The Art of Software Testing 1979 Wiley New York
21. A.J. Offutt, and A. Irvine Testing object-oriented software using the category-partition method 17th International Conference on Technology of Object-Oriented Languages and Systems 1995 Prentice-Hall Santa Barbara, CA 293 304
22. A. Orso, M.J. Harrold, D. Rosenblum, G. Rothermel, H. Do, and M.L. Soffa Using component metacontent to support the regression testing of component-based software IEEE International Conference on Software Maintenance, ICSM'01 2001 IEEE Press Florence, Italy 716 725
23. T.J. Ostrand, and E.J. Weyuker Data flow based test adequacy for languages with pointers Symposium on Software Testing, Analysis and Verification, TAV4 1991 ACM Press Victoria, British Columbia, Canada 74 86
24. P. Piwowarski, M. Ohba, and J. Caruso Coverage measurement experience during function test Proceedings of the 15th International Conference on Software Engineering Baltimore, MD 1993 287 301
25. S. Rapps, and E.J. Weyuker Selecting software test data using data flow information IEEE Transactions on Software Engineering 11 4 1985 367 375
26. S. Research User's guide-TCAT for Java/Windows-version 1.2 Página WEB. Available at: http://www.soft.com/ 1999 (accessed 03/01/2004)
27. N. Soundarajan, and B. Tyler Testing components OOPSLA'01 Workshop on Specification and Verification of Component-Based Systems 2001 ACM Press Tampa, FL 4 9
28. A.L. Souter, and L.L. Pollock OMEN: a strategy for testing object-oriented software 9th International Symposium on Software Testing and Analysis, ISSTA'00 2000 ACM Press 49 59
29. C. Szyperski Component Software Beyond Object-Oriented Programming 1998 Addison-Wesley
30. P.R.S. Vilela, J.C. Maldonado, and M. Jino Data flow based testing of programs with pointers: a strategy based on potential uses 10th International Software Quality Week, QW97 CA, USA 1997 1 12
31. A.M.R. Vincenzi, M.E. Delamaro, J.C. Maldonado, and W.E. Wong Java bytecode static analysis: deriving structural testing requirements 2nd UK Software Testing Workshop, UK-Softest'2003 2003 Department of Computer Science, University of York York, England 21
32. A.M.R. Vincenzi, W.E. Wong, M.E. Delamaro, and J.C. Maldonado JaBUTi: a coverage analysis tool for Java programs XVII SBES-Brazilian Symposium on Software Engineering Manaus, AM, Brazil 2003 79 84
33. Y. Wang, G. King, and H. Wickburg A method for built-in tests in component-based software maintenance Third European Conference on Software Maintenance and Reengineering 1999 IEEE Press Amsterdam, Netherlands 186 189
34. W.E. Wong, J.R. Horgan, S. London, and A.P. Mathur Effect of test set size and block coverage on fault detection effectiveness Fifth IEEE International Symposium on Software Reliability Engineering Monterey, CA 1994 230 238
35. J. Zhao Dependence analysis of Java bytecode 24th IEEE Annual International Computer Software and Applications Conference, COMPSAC'2000 2000 IEEE Press Taipei, Taiwan 486 491