Analysis and testing of programs with exception handling constructs

IEEE Transactions on Software Engineering

Volumn 26, Issue 9, 2000, Pages 849-871

  Sinha, Saurabh ^a   Harrold, Mary Jean ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA FLOW ANALYSIS; DATA HANDLING; JAVA PROGRAMMING LANGUAGE; REGRESSION ANALYSIS;

CONTROL DEPENDENCE ANALYSIS; DYNAMIC EXECUTION PROFILING; EXCEPTION HANDLING; PROGRAM SLICING;

SOFTWARE ENGINEERING;

EID: 0034276287     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.877846     Document Type: Article

References (51)

1. H. AgrawalOn Slicing Programs with Jump StatementsProc. ACM SIGPLAN '94 CoJ. Programming Language Design and Implementation, pp. 302-312, June 1994.
2. A.V. Aho, R. Sethi, and J.D. Ullman, Compilers, Principles, Techniques, and Tools. Reading, Mass.: Addison-Wesley, 1986.
3. D.F. Bacon and P.P. SweeneyFast Static Analysis of C++ Virtual Function CallsProc. llth Ann. Conf. Object-Oriented Programming Systems, Languages, and Applications, pp. 324-341, Oct. 1996.
4. T. Ball and S. HorwitzSlicing Programs with Arbitrary Control FlowProc. First Int'l Workshop Automated and Algorithmic Debugging, pp. 206-222, Nov. 1993.
5. G. Bilardi and K. PingaliA Framework for Generalized Control DependenceProc. ACM SIGPLAN '96 Conf. Programming Language Design and Implementation, pp. 291-300, May 1996.
6. R. Chatterjee and B.C. RyderData Flow-Based Testing of ObjectOriented Libraries Technical Report DCS-TR-382, Rutgers Univ., Mar. 1999.
7. R. Chatterjee, E.G. Ryder, and W.A. LandiComplexity of Concrete Type-Inference in the Presence of ExceptionsProc. European Symp. Programming, pp. 57-74, Apr. 1998.
8. J.D. Choi and J. FerranteStatic Slicing in the Presence of goto StatementsACM Trans. Programming Languages and Systems, vol. 16, no. 4, pp. 1,097-1,113, July 1994.
9. J.D. Choi, D. Grove, M. Hind, and V. SarkarEfficient and Precise Modeling of Exceptions for Analysis of Java ProgramsProc. PASTE '99 ACM SIGPLAN-SIGSOFT Workshop Program Analysis for Software Tools and Eng., pp. 21-31, Sept. 1999.
10. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. ZadeckEfficiently Computing Static Single Assignment Form and the Control Dependence GraphACM Trans. Programming Languages and Systems, vol. 13, no. 4, pp. 450-490, Oct. 1991.
11. R. Cytron, J. Ferrante, and V. SarkarCompact Representations for Control DependenceProc. ACM SIGPLAN '90 Conf. Programming Language Design and Implementation, pp. 337-351, June 1990.
12. A. Diwan, J.E.B. Moss, and K.S. McKinleySimple and Effective Analysis of Statically-Typed Object-Oriented ProgramsProc. llth Ann. Conf. Object-Oriented Programming Systems, Languages, and Applications, pp. 292-305, Oct. 1996.
13. J. Ferrante, K.J. Ottenstein, and J.D. WarrenThe Program Dependence Graph and Its Use in OptimizationACM Trans. Programming Languages and Systems, vol. 9, no. 3, pp. 319-349, July 1987.
14. P. Frankl and E.J. WeyukerAn Applicable Family of Data Flow Testing CriteriaIEEE Trans. Software Eng., vol. 14, no. 10, pp. 1,483-1,498, Oct. 1988.
15. P.G. Frankl and S.N. WeissAn Experimental Comparison of the Effectiveness of Branch Testing and Data Flow TestingIEEE Trans. Software Eng., vol. 19, no. 8, pp. 774-787, Aug. 1993.
16. P.G. Frankl and E.J. WeyukerProvable Improvements on Branch TestingIEEE Trans. Software Eng., vol. 19, no. 10, 962-975, Oct. 1993.
17. J. Gosling, B. Joy, and G. Steele, The Java Language Specification. Reading, Mass.: Addison-Wesley, 1996.
18. M.J. Harrold and N. CiReuse-Driven Interprocedural SlicingProc. 20th Int'l Conf. Software Eng., pp. 74-83, Apr. 1998.
19. M.J. Harrold and G. RothermelAristotle: A System for Research On and Development of Program-Analysis-Based Tools Technical Report OSU-CISRC-3/97-TR17, Ohio State Univ., Mar. 1997.
20. M.J. Harrold, G. Rothermel, and S. SinhaComputation of Interprocedural Control DependenceProc. 1998 Int'l Symp. Software Testing and Analysis, pp. 11-20, Mar. 1998.
21. M.J. Harrold and M.L. SoffaInterprocedural Data Flow TestingProc. ACM SIGSOFT '89 Third Symp. Software Testing, Analysis, and Verification, pp. 158-167, Dec. 1989.
22. M.J. Harrold and M.L. SoffaSelecting and Using Data fo Integration TestingIEEE Software, vol. 8, no. 2, pp. 58-65, Mar 1991.
23. S. Horwitz, T. Reps, and D. BinkleyInterprocedural Slicin Using Dependence GraphsACM Trans. Programming Language and Systems, vol. 12, no. 1, pp. 26-60, Jan. 1990.
24. W.E. HowdenMethodology for the Generation of Program Tes DataIEEE Trans. Computers, vol. 24, no. 5, pp. 554-559, Ma 1975.
25. J.C. HuangAn Approach to Program TestingACM Computin Surveys, vol. 7, no. 3, pp. 114-128, Sept. 1975.
26. B. KorelAutomated Software Test Data GenerationIEE Trans. Software Eng., vol. 16, no. 8, pp. 870-879, Aug. 1990.
27. D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen "On Object State TestingProc. COMPSAC '94 18th Int'l Compute Software and Applications Conf., pp. 222-227, Nov. 1994.
28. W. Landi and E.G. RyderA Safe Approximate Algorithm fo Interprocedural Pointer AliasingProc. SIGPLAN '92 Conf Programming Language Design and Implementation, pp. 235-248 June 1992.
29. L. Larsen and M.J. HarroldSlicing Object-Oriented Software, Proc. 18th Int'l Conf. Software Eng., pp. 495-505, Mar. 1996.
30. J.W. Laski and B. KorelA Data Flow Oriented Program Testin StrategyIEEE Trans. Software Eng., vol. 9, no. 3, pp. 347-354, Ma 1983.
31. D. Liang and M.J. HarroldSlicing Objects Using Syste Dependence GraphsProc. Int'l Conf. Software Maintenance pp. 358-367, Nov. 1998.
32. J.P. Loyall and S.A. MathisenUsing Dependence Analysis t Support the Software Maintenance ProcessProc. Conf. Softwar Maintenance, pp. 282-291, Sept. 1993.
33. T.J. McCabeA Complexity MeasureIEEE Trans. Software Eng. vol. 2, no. 4, pp. 308-320, Dec. 1976.
34. D. Melski and T. RepsInterprocedural Path ProfilingProc Eighth Int'l Conf. Compiler Construction, pp. 47-62, Mar. 1999.
35. G.C. Murphy and D. NotkinLightweight Lexical Source Mode ExtractionACM Trans. Programming Languages and Systems vol. 5, no. 3, pp. 262-292, July 1996.
36. S. NtafosOn Required Elements TestingIEEE Trans. Softwar Eng., vol. 10, no. 6, pp. 795-803, Nov. 1984.
37. S. NtafosA Comparison of Some Structural Testing Strategies, IEEE Trans. Software Eng., vol. 14, no. 6, pp. 868-874, June 1988.
38. J. Palsberg and M. SchwartzbachObject-Oriented Type InferenceProc. Conf. Object-Oriented Programming Systems, Languages and Applications, pp. 146-161, Oct. 1991.
39. K. Pingali and G. BilardiAPT: A Data Structure for Optima Control Dependence ComputationProc. Conf. Programmin Language Design and Implementation, pp. 32-46, June 1995.
40. J. Plevyak and A. ChienPrecise Concrete Type Inference fo Object-Oriented LanguagesProc. Ninth Ann. Conf. ObjectOriented Programming Systems, Languages, and Applications pp. 324-340, Oct. 1994.
41. S. Rapps and E.J. WeyukerSelecting Software Test Data Usin Data Flow InformationIEEE Trans. Software Eng., vol. 11, no. 4 pp. 367-375, Apr. 1985.
42. M.P. Robillard and G.C. MurphyAnalyzing Exception Flow i Java ProgramsProc. ESEC/FSE '99 Seventh European Software Eng Conf. and Seventh ACM SIGSOFT Symp. Foundations of Softwar Eng., pp. 322-337, Sept. 1999.
43. G. Rothermel and M.J. HarroldA Safe, Efficient Regression Tes Selection TechniqueACM Trans. Software Eng. and Methodology vol. 6, no. 2, pp. 173-210, Apr. 1997.
44. B.C. Ryder, D. Smith, U. Kremer, M. Gordon, and N. Shah Static Study of Java Exceptions Using JSEP Technical Repor DCS-TR-403, Rutgers Univ., Nov. 1999.
45. C.F. Schaefer and G.N. BundyStatic Analysis of Exceptio Handling In Ada Software-Practice and Experience, vol. 23 no. 10, pp. 1,157-1,174, Oct. 1993.
46. S. Sinha and M.J. HarroldAnalysis of Programs That Contai Exception Handling ConstructsProc. Int'l Conf. Software Maintenance, pp. 348-357, Nov. 1998.
47. S. Sinha and M.J. HarroldControl Flow Analysis of Program With Exception Handling Constructs Technical Report OSU CISRC-7/98-TR25, Ohio State Univ., July 1998.
48. S. Sinha and M.J. HarroldCriteria for Testing Exceptio Handling Constructs in Java ProgramsProc. Int'l Conf. Softwar Maintenance, pp. 265-274, Sept. 1999.
49. S. Sinha and M.J. HarroldAnalysis and Testing of Programs With Exception Handling Constructs Technical Report GIT-CC- 00-04, College of Computing, Georgia Inst. of Technology, Feb. 2000.
50. S. Sinha, M.J. Harrold, and G. RothermelSystem-DependenceGraph-Based Slicing of Programs with Arbitrary Interprocedural Control FlowProc. 21st Int'l Conf. Software Eng., pp. 432-4141, May 1999.
51. M. WeiserProgram SlicingIEEE Trans. Software Eng., vol. 10, no. 4, pp. 352-357, July 1984.