Abstract
Testing is a critical component of the software development process and is required to ensure the reliability, robustness and usability of software. Tools that systematically aid in the testing process are crucial to the development of reliable software. This paper describes a codebased testing and analysis tool for object-oriented software. TATOO provides a systematic approacht o testing tailored towards object behavior, and particularly for class integration testing. The underlying program analysis subsystem exploits combined points-to and escape analysis developed for compiler optimization to address the software testing issues.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Alexander. Testing the polymorphic relationships of object-oriented components. Technical report, George Mason University, 1999.
B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 2nd edition, 1990.
B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of OOPSLA, November 1999.
J. Bodga and U. Hoelzle. Removing unnecessary synchronization in Java. In Proceedings of OOPSLA, November 1999.
R. Chatterjee and B. Ryder. Data-flow-based Testing of Object-Oriented Libraries. Technical Report 382, Rutgers University, March 1999.
J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of OOPSLA, November 1999.
T. Chusho. Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing. IEEE Transaction on Software Engineering, 13(5):509–517, May 1987.
M. Fröhlich and M. Werner. The Graph Visualization System daVinci. Technical report, Universität Bremen, Germany, September 1994.
M.J. Harrold and G. Rothermel. Performing Data Flow Testing on Classes. In Proceedings of the Symposium on the Foundations of Software Engineering, 1994.
M.J. Harrold and M.L. Soffa. Interprocedural Data Flow Testing. In Proceedings of the ACM Symposium on Testing, Analysis, and Verification, 1989.
M. Rinard et. al. FLEX. http://www.flex-compiler.lcs.mit.edu, 2000.
A. Orso. Integration Testing of Object-Oriented Software. PhD thesis, Politecnico Di Milano, 1999.
W. Perry. Effective Methods for Software Testing. John Wiley Inc, 1995.
S. Rapps and E. Weyuker. Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, 11(4):367–375, April 1985.
S. Sinha and M.J. Harrold. Criteria for Testing Exception-Handling Constructs for Java Programs. In Proceedings on Software Maintenance, January 1999.
A. Souter and L. Pollock. OMEN: A Strategy for Testing Object-Oriented Software. In Proceedings of the InternationalS ymposium on Software Testing and Analysis, August 2000.
J. Whaley and M. Rinard. Compositional Pointer and Escape Analysis for Java Programs. In Proceedings of OOPSLA, November 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Souter, A.L., Wong, T.M., Shindo, S.A., Pollock, L.L. (2001). TATOO: Testing and Analysis Tool for Object-Oriented Software. In: Margaria, T., Yi, W. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2001. Lecture Notes in Computer Science, vol 2031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45319-9_27
Download citation
DOI: https://doi.org/10.1007/3-540-45319-9_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41865-8
Online ISBN: 978-3-540-45319-2
eBook Packages: Springer Book Archive