Establishing structural testing criteria for Java bytecode

Software - Practice and Experience

Volumn 36, Issue 14, 2006, Pages 1513-1541

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

^a FEDERAL UNIVERSITY OF GOIÁS   (Brazil)

^b Centro Universitário Eurípedes de Marília Univem   (Brazil)

^c UNIVERSITY OF SÃO PAULO   (Brazil)

^d UNIVERSITY OF TEXAS AT DALLAS   (United States)

^e Campus II   (Brazil)

Author keywords

Java bytecode; Program analysis; Software testing; Structural testing

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER AIDED ANALYSIS; COMPUTER TESTING; DATA REDUCTION; SOFTWARE ENGINEERING;

JAVA BYTECODE; PROGRAM ANALYSIS; SOFTWARE TESTING; STRUCTURAL TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 33750730235     PISSN: 00380644     EISSN: 1097024X     Source Type: Journal    
DOI: 10.1002/spe.726     Document Type: Article

References (33)

1. Roper M. Software Testing. McGraw-Hill: New York, 1994.
2. Herman PM. A data flow analysis approach to program testing. Australian Computer Journal 1976; 8(3):92-96.
3. Laski JW, Korel B. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering 1983: 9(3):347-354.
4. Rapps S, Weyuker EJ. Selecting software test data using data flow information. IEEE Transactions on Software Engineering 1985; 11(4):367-375.
5. Maldonado JC. Potential-Uses Criteria; A contribution to the structural testing of software. Doctoral Dissertation, DCA/FEE/UNICAMP, Campinas, SP, Brazil, July 1991 (in Portuguese).
6. Harrold MJ, Soffa ML. Efficient computation of interprocedural definition-use chains. ACM Transactions on Programming Languages and Systems (TOPLAS) 1994; 16(2):175-204.
7. Harrold MJ, Rothermel G. Performing data flow testing on classes. Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, New York, NY, December 1994. ACM Press: New York. 1994; 154-163.
8. Horgan JR, London SA. Data flow coverage and the C language. Symposium Software Testing, Analysis, and Verification. Victoria, BC. Canada, October 1991. ACM Press: New York. 1991; 87-97.
9. Ostrand TJ, Weyuker EJ. Data flow based test adequacy for languages with pointers. Symposium on Software Testing, Analysis and Verification (TAV4), Victoria, BC, Canada, October 1991. ACM Press: New York. 1991; 74-86.
10. Marx DIS, Frankl PG. Path-sensitive alias analysis for data flow testing. Software Testing, Verification and Reliability 1999; 9(1):51-73.
11. Chaim ML, Maldonado JC, Jino M, Vilela P. Data-flow testing of programs with pointers and records: Implementation, effectiveness, and cost. Proceedings of the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, Foz de Iguaçu, Paraná, 2002. International Association for Computer and Information Science: Mount Pleasant, MI, 2002; 317-323.
12. Malloy BA, McGregor JD, Krishnaswamy A, Medikonda M. An extensible program representation for object-oriented software. ACM SIGPLAN Notices 1994; 29(12):38-47.
13. Larsen L, Harrold MJ. Slicing object-oriented software. Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, 1996. IEEE Computer Society Press: Los Alamitos, CA, 1996; 495-505.
14. Hatcliff J, Corbett JC, Dwyer MB, Sokolowski S, Zheng H. A formal study of slicing for multi-threaded programs with JVM concurrency primitives. Proceedings of the 6th International Static Analysis Symposium, September 1999. Springer-London, 1999.
15. Zhao J. Analyzing control flow in Java bytecode. Proceedings of the 16th Conference of Japan Society for Software Science and Technology, September 1999. Japan Society for Software Science and Technology: Tokyo, Japan, 1999; 313-316.
16. Zhao J. Dependence analysis of Java bytecode. Proceedings of the 24th IEEE Annual International Computer Software and Applications Conference (COMPSAC'2000), Taipei, Taiwan, October 2000. IEEE Computer Society Press: Los Alamitos, CA, 2000; 486-491.
17. McCabe T. A complexity measure. IEEE Transactions on Software Engineering 1976; 2(4):308-320.
18. Lindholm T, Yellin F. The Java Virtual Machine Specification (2nd edn). Addison-Wesley: Reading, MA, 1999.
19. Sinha S, Harrold MJ. Analysis and testing of programs with exception-handling constructs. IEEE Transactions on Software Engineering 2000; 26(9):849-871.
20. Myers GJ. The Art of Software Testing. Wiley: New York, 1979.
21. Vincenzi AMR, Wong WE, Delamaro ME, Maldonado JC. JaBUTi: A coverage analysis tool for Java programs. Proceedings of the 17th Brazilian Symposium on Software Engineering (SBES), Manaus, AM, Brazil, October 2003. Brazilian Computer Society: Manaus, Brazil, 2003; 70-84.
22. Delamaro ME, Vincenzi AMR. Structural testing of mobile agents. Proceedings of the 3rd International Workshop on Scientific Engineering of Java Distributed Applications (FIDJI'2003), November 2003 (Lecture Notes on Computer Science, vol. 2952), Guelfi EAN, Reggio G (eds.). Springer: Berlin, 2003; 73-85.
23. Weyuker EJ. The cost of data flow testing: An empirical study. IEEE Transactions on Software Engineering 1990; 16(2):121-128.
24. Vincenzi AMR, Maldonado JC, Barbosa EF, Delamaro ME. Unit and integration testing strategies for C programs using mutation-based criteria. Software Testing, Verification and Reliability 2001; 11 (4):249-268.
25. Piwowarski P, Ohba M, Caruso J. Coverage measurement experience during function test. Proceedings of the 15th International Conference on Software Engineering, Baltimore, MD, May 1993. IEEE Computer Society Press: Los Alamitos, CA. 1993; 287-301.
26. Wong WE, Horgan JR, London S, Mathur AP. Effect of test set size and block coverage on fault detection effectiveness. Proceedings of the 5th IEEE International Symposium on Software Reliability Engineering, Monterey, CA, November 1994. ACM Press: New York, NY, 1994; 230-238.
27. Agrawal H. Dominators, super block, and program coverage. Proceedings of the SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL'94), Portland, OR, January 1994. ACM Press: New York, 1994; 25-34.
28. Zhao J. Slicing concurrent Java programs. Proceedings of the 7th IEEE International Workshop on Program Comprehension, May 1999. IEEE Computer Society Press: Los Alamitos, CA, 1999; 126-133.
29. Cifuentes C, Fraboulet A. Intraprocedural static slicing of binary executables. Proceedings of the International Conference on Software Maintenance (ICSM'97). IEEE Computer Society Press: Los Alamitos, CA, 1997; 188-195.
30. Frankl PG, Weiss SN, Weyuker EJ. ASSET: A system to select and evaluate tests. Proceedings of the IEEE Conference on Software Tools, New York, NY, April 1985. IEEE Press: New York, NY, 1985; 72-79.
31. Chaim ML. Poke-tool - a tool to support data flow based structural test of programs. Master's Thesis, DCA/FEEC/UNICAMP, Campinas, SP, April 1991 (in Portuguese).
32. Dundan I, Robson D. An exploratory study of common coding faults in C programs. Software Maintenance: Research and Practice 1996; 8(4):241-256.
33. Vilela PRS, Maldonado JC, Jino M. Data flow based testing of programs with pointers: A strategy based on potential uses. Proceedings of the 10th International Software Quality Week (QW97), California, May 1997. Software Research Institute: San Francisco, CA, 1997; 1-12.