Interclass testing of object oriented software

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn 2002-January, Issue , 2002, Pages 135-144

  Martena, V ^a   Orso, A ^b   Pezze M ^c  

^a POLITECNICO DI MILANO   (Italy)

^b Georgia Institute of Technology   (United States)

^c UNIVERSITY OF MILANO BICOCCA   (Italy)

Author keywords

Automatic control; Automatic testing; Data analysis; Educational institutions; Laboratories; Microscopy; Prototypes; Safety; Software testing; Space technology

Indexed keywords

ACCIDENT PREVENTION; AUTOMATIC TESTING; AUTOMATION; DATA FLOW ANALYSIS; DATA REDUCTION; LABORATORIES; OBJECT ORIENTED PROGRAMMING; SAFETY TESTING; SOFTWARE PROTOTYPING; SPACE STATIONS; SPECIFICATIONS;

DATA-FLOW ANALYSIS; EDUCATIONAL INSTITUTIONS; INTER CLASS; OBJECT-ORIENTED SOFTWARES; PROTOTYPE; SOFTWARE TESTINGS; SPACE TECHNOLOGIES; TEST CASE; TEST CASE SPECIFICATIONS; TESTING TECHNIQUE;

SOFTWARE TESTING;

EID: 18944368891     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2002.1181506     Document Type: Conference Paper

References (36)

1. A. Abdurazik and J. Offutt. Using UML collaboration diagrams for static checking and test generation. In A. Evans, S. Kent, and B. Selic, editors, Proceeedings of the Third International Conference on The Unified Modeling Language, Advancing the Standard, York, UK, volume 1939 of LNCS, pages 383-395. Springer, October 2000.
2. S. Barbey and A. Strohmeier. The problematics of testing object-oriented software. In M. Ross, C. A. Brebbia, G. Staples, and J. Stapleton, editors, Proceedings of the Second Conference on Software Quality Management, Edinburgh (Scotland, UK), volume 2, pages 411-426, July 1994.
3. U. Buy, A. Orso, and M. Pezzé. Automated testing of classes. In Proceedings of the International Symposium in Software Testing and Analysis (ISSTA '00), pages 39-48, 2000.
4. H. Y. Chen, T. H.Tse, F. T.Chan, and T. Y.Chen. In black and white: an integrated approach to class-level testing of object-oriented programs. ACM Transactions on Software Engineering and Methodology, 7(3):250-295, July 1998.
5. L. A. Clarke. A system to generate test data and symbolically execute programs. Transactions on Software Engineering, 2(3):215-222, September 1976.
6. A. Coen-Porisini, G. Denaro, C. Ghezzi, and M. Pezzè. Using symbolic execution for verifying safety critical systems. In Proceedings of the 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE01), ACM Software Engineering Notes, NY, September 2001.
7. A. Coen-Porisini, F. D. Paoli, C. Ghezzi, and D. Mandrioli. Software specialization via symbolic execution. IEEE Transactions on Software Engineering, (SE-17(9)):884-899, September 1991.
8. R. A. DeMillo and A. J. Offutt. Constraint-based automatic test-data generation. IEEE Transactions on Software Engineering, 17(9):900-910, Sept. 1991.
9. L. K. Dillon. Using symbolic execution for verification of Ada tasking programs. ACM Transactions on Programming Languages and Systems, (12(4)):643-669, 1990.
10. M. Donat. Automating Formal Specification Based Testing. In M. Bidoit and M. Dauchet, editors, Proceedings of the International Conference on Theory and Practice of SW Development (TAPSOFT 97), volume 1214 of Lecture Notes in Computer Science, pages 833-847, Lille, France, 1997. Springer-Verlag, Berlin.
11. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-130, April 1994.
12. Edison Design Group. C++ front end. Technical report, Edison Design Group Inc., 2000.
13. P. G. Frankl and E. G. Weyuker. Provable improvements on branch testing. IEEE Transactions on Software Engineering, 19(10):962-975, October 1993.
14. M. J. Harrold, J. D. McGregor, and K. J. Fitzpatrich. Incremental Testing of Object-oriented Class Structures. In Proceedings of the 14th International Conference on Software Engineering, pages 68-80, May 1992.
15. M. J. Harrold and G. Rothermel. Performing data flow testing on classes. In 2nd ACM-SIGSOFT Symposium on the foundations of software engineering, pages 154-163. ACM-SIGSOFT, December 1994.
16. M. J. Harrold and G. Rothermel. A coherent family of analyzable graph representations for object-oriented software. Technical Report OSU-CISRC-11/96-TR60, The Ohio State University, November 1996.
17. J. Hartmann, C. Imoberdorf, and M. Meisinger. UML-based integration testing. In Proceedings of the International Symposium in Software Testing and Analysis (ISSTA '00), pages 60-70. IEEE Computer Society Press, 2000.
18. D. Hoffman and P. Strooper. ClassBench: A framework for automated class testing. Software Practice and Experience, 27(5):573-597, May 1997.
19. W. E. Howden. Symbolic testing and the DISSECT symbolic evaluation system. Transactions on Software Engineering, 3(4), July 1977.
20. P. Jorgensen and C. Erickson. Object-oriented integration testing. Communications of the ACM, 37(9):30-38, September 1994.
21. S. Kim, J. A. Clark, and J. A. McDermid. Class mutation: mutation testing for object-oriented programs. In Proceedings of the Net.ObjectDays Conference on Object-Oriented Software Systems, 2000.
22. B. Korel. Dynamic method for software test data generation. JSTVR, 2(4):203-213, 1992.
23. D. Kung, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, Y.-S. Kim, and Y.-K. Song. Developing and oject-oriented software testing and maintenance environment. Communications of the ACM, 38(10):75-86, October 1995.
24. V. Martena, A. Orso, and M. Pezzé. Experimental evalaution of interclass testing of object oriented software. Technical Report LTA-2002-01, Testing and Analysis Lab. - Università degli Studi di Milano - Bicocca, 2002.
25. J. D. McGregor. Testing models: the requirement model. Journal of Object-Oriented Programming, 1998.
26. B. Meyer. Object-oriented Software Construction. Prentice Hall, New York, N.Y., second edition, 1997.
27. G. C. Murphy, P. Townsend, and P. S. Wong. Experiences with cluster and class testing. Communications of the ACM, 37(9):39-47, September 1994.
28. A. Orso and M. Pezzè. Integration testing of procedural object-oriented languages with polymorphism. In Proceedings of the 16th International Conference on Testing Computer Software: Future Trends in Testing (TCS'99), Washington, D.C., June 1999.
29. A. Orso, F. Saini, and N. Trevisan. Un algoritmo per il calcolo di coppie definizione-uso interprocedurali. Technical report, Politecnico di Milano, 1999. (in Italian).
30. A. Orso and S. Silva. Open issues and research directions in Object Oriented testing. In Proceedings of the 4th International Conference on "Achieving Quality in Software: Software Quality in the Communication Society" (AQUIS'98), Venice, April 1998.
31. J. Rushby, S. Owre, and N. Shankar. Subtypes for specifications: Predicate subtyping in PVS. IEEE Transactions on Software Engineering, 24(9):709-720, September 1998.
32. SICStus prolog 3 - user manual. Technical report, SICStus, 2000.
33. S. Sinha and M. J. Harrold. Criteria for testing exception-handling constructs in Java programs. In Proceedings of the International Conference on Software Maintenance, pages 265-274, Setember 1999.
34. A. Souter, L. Pollock, and D. Hisley. Inter-class Def-Use analysis with partial class representations. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, volume 24.5 of Software Engeneering Notes (SEN), pages 47-56, N. Y., September 1999. ACM Press.
35. SUIF Compiler System. Technical report, The Stanford SUIF Compiler Group, September 2001.
36. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Proceedings of the International Conference on Software Maintenance, pages 302-310. IEEE Society Press, September 1993.