A debugging strategy based on the requirements of testing

Journal of Software Maintenance and Evolution

Volumn 16, Issue 4-5, 2004, Pages 277-308

  Chaim, Marcos L ^a   Maldonado, José C ^a,b,c   Jino, Mario ^c  

^a EMBRAPA CERRADOS   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

^c UNIVERSITY OF CAMPINAS   (Brazil)

Author keywords

Automated debugging; Data flow testing; Debugging tool; Dynamic testing information; Fault localization

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); COMPUTER SOFTWARE MAINTENANCE; DATA STORAGE EQUIPMENT; HEURISTIC METHODS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

AUTOMATED DEBUGGING; DATA FLOW TESTING; DEBUGGING TOOLS; DYNAMIC TESTING INFORMATION; FAULT LOCALIZATION;

PROGRAM DEBUGGING;

EID: 4344624945     PISSN: 1532060X     EISSN: None     Source Type: Journal    
DOI: 10.1002/smr.297     Document Type: Conference Paper

References (34)

1. Jones JA, Harrold MJ, Stasko J. Visualization of test information to assist fault localization. Proceedings of the 24th International Conference on Software Engineering (ICSE 2002). ACM Press: New York NY, 2002; 467-477.
2. Collofello JS, Woodfield S. Evaluating the effectiveness of reliability-assurance techniques. Journal of Systems and Software 1989;9(3):191-195.
3. Harrold MJ. Testing: A roadmap. Proceedings of the Future of Software Engineering. ACM Press: New York NY, 2000; 61-72.
4. Agrawal H, Horgan JR, London S, Wong WE. Fault localization using execution slices and dataflow tests. Proceedings 6th International Symposium on Software Reliability Engineering (ISSRE 1995). IEEE Computer Society Press: Los Alamitos CA, 1995; 143-151.
5. Collofello JS, Cousins L. Toward automatic software fault localization through decision-to-decision path analysis. Proceedings 1987 National Computer Conference. IEEE Computer Society Press: Los Alamitos CA, 1987; 539-544.
6. Pan H, Spafford EH. Toward automatic localization of software faults. Proceedings of the 10th Pacific Northwest Software Quality Conference. Pacific Northwest Software Quality Conference, Inc.: Beaverton OR, 1992; 192-209.
7. Korel B, Rilling J. Application of dynamic slicing in program debugging. Proceedings of the 3rd Workshop on Automated and Algorithmic Debugging (AADEBUG '97) (Linköping Electronic Articles in Computer and Information Science, vol. 2, No. 009), Kamkar M (ed.). Linköping University: Linköping Sweden, 1997; 43-58. http://www.ep.liu.se/ea/cis/1997/009/ [29 February 2004].
8. Institute of Electrical and Electronic Engineers. IEEE Software Engineering Standards Collection. IEEE Standards Office: New York NY, 1991.
9. Rapps S, Weyuker EJ. Selecting software test data using data flow information. IEEE Transactions on Software Engineering 1985; 11(4):367-375.
10. Shimomura T, Oki Y, Chikaraishi T, Ohta T. An algorithmic fault-locating method for procedural languages and its implementation FIND. Proceedings of the 2nd Workshop on Automated and Algorithmic Debugging (AADEBUG '95), Ducassé M (ed.). Institut de Recherche en Informatique et Systèmes Aléatoires - Centre National de la Recherche Scientifique: Rennes, France, 1995; 191-203.
11. DeMillo RA, Pan H, Spafford EH. Critical slicing for software fault localization. Proceedings of the 1996 International Symposium on Software Testing and Analysis (ISSTA), Zeil SJ (ed.). ACM Press: New York NY, 1996; 121-134.
12. Kernighan BW, Ritchie DM. The C Programming Language. Prentice-Hall: Englewood Cliffs NJ, 1978; 228 pp.
13. Chaim ML, Maldonado JC, Jino M. In search of error-revealing testing requirements for fault localization. Technical Report, School of Electrical and Computer Engineering, State University of Campinas (UNICAMP), Campinas, Brazil; 49 pp. http://www.dca.fee.unicamp.br/~chaim/reports/drt.pdf [29 February 2004].
14. Stallman RM, Pesch RH. Debugging with GDB: The GNU Source-Level Debugger (7th edn). Free Software Foundation: Cambridge MA, 1999; 174 pp.
15. Chaim ML, Maldonado JC, Jino M, Nakagawa EY. POKE-TOOL - current state of a tool to support structural program testing based on data flow analysis. Proceedings of the 12th Brazilian Symposium on Software Engineering - Tools Fair, Brazilian Computer Society: Maringá, Brazil, 1998; 37-45 (in Portuguese).
16. Maldonado JC, Chaim ML, Jino M. Potential uses testing criteria: A step towards bridging the gap in the presence of infeasible paths. Proceedings of the 12th International Conference of the Chilean Computer Society. Chilean Computer Society: Santiago Chile, 1992; 323-340.
17. Hecht MS. Flow Analysis of Computer Programs. Elsevier North-Holland: New York NY, 1977; 232 pp.
18. Wong WE. On mutation and data flow. Doctoral dissertation, Purdue University, West Lafayette IN, 1993; 176 pp.
19. Delamaro ME, Maldonado JC, Mathur AP. Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering 2001; 27(3):228-247.
20. Stallman RM. Using the GNU Compiler Collection. Free Software Foundation: Cambridge MA, 2002; 382 pp.
21. Telcordia. XSlice: A tool for program debugging. Telcordia Software Visualization and Analysis Toolsuite (xSuds) - User's Manual. Telcordia Technologies, Inc.: Morristown NJ, 1998. http://xsuds.argreenhouse.com/html-man/coverpage.html [30 May 2004].
22. Ducassé M. Coca: An automated debugger for C. Proceedings of the 21st International Conference on Software Engineering (ICSE 1999). ACM Press: New York NY, 1999; 504-513.
23. Templer KS, Jefery CL. A configurable automatic instrumentation tool for ANSI C. Proceedings Automated Software Engineering Conference (ASE '98). IEEE Computer Society Press: Los Alamintos CA, 1998; 249-258.
24. Korel B. PELAS - program error-locating assistant system. IEEE Transactions on Software Engineering 1988; 14(9): 1253-1260.
25. Viravan C. Enhancing debugging technology. Doctoral dissertation, Purdue University, West Lafayette IN, 1994; 146 pp.
26. Beszédes A, Gergely T, Szabó ZM, Csirik J, Gyimóthy T. Dynamic slicing method for maintenance of large C programs. Proceedings 5th European Conference on Software Maintenance and Reengineering (CSMR 2001), Sousa P, Ebert J (eds.). IEEE Computer Society Press: Los Alamitos CA, 2001; 105-113.
27. Gyimóthy T, Beszédes A, Forgács I. An efficient relevant slicing method for debugging. Proceedings of the 7th European Software Engineering Conference (ESEC '99), held jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE '99) (Lecture Notes in Computer Science, vol. 1687), Nierstrasz O, Lemoine M (eds.). Springer: Berlin, 1999; 303-321.
28. Korel B, Yalamanchili S. Forward computation of dynamic program slices. Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), Ostrand TJ (ed.). ACM Press: New York NY, 1994; 66-79.
29. Tip F. A survey of program slicing techniques. Journal of Programming Languages 1995; 3:121-189.
30. Zhang X, Gupta R, Zhang Y. Precise dynamic slicing algorithms. Proceedings 2003 International Conference on Software Engineering (ICSE 2003). IEEE Computer Society Press: Los Alamitos CA, 2003; 319-329.
31. Korel B, Rilling J. Program slicing in understanding large programs. Proceedings 6th International Workshop on Program Comprehension (IWPC '98). IEEE Computer Society Press: Los Alamitos CA, 1998; 145-152.
32. Jin Z, Offutt AJ. Coupling-based criteria for integration testing. Software Testing, Verification, and Reliability 1998; 8(3):133-154.
33. Harrold MJ, Rothermel G. Performing dataflow testing on classes. Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE '94), Wile DS (ed.). ACM Press: New York NY, 1994; 154-163.
34. Boothe B. Efficient algorithms for bidirectional debugging. Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press: New York NY, 2000; 299-310.