TATOO: Testing and Analysis Tool for Object- Oriented Software

Authors:
Amie L. Souter;Tiffany M. Wong;Stacey A. Shindo;Lori L. Pollock
Affiliations:
-;-;-;-
Venue:
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Year:
2001

Citing 12
Cited 5

Selecting Software Test Data Using Data Flow Information

IEEE Transactions on Software Engineering
Test Data Selection and Quality Estimation Based on the Concept of Essential Branches for Path Testing

IEEE Transactions on Software Engineering
Interprocedual data flow testing

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Performing data flow testing on classes

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Effective methods for software testing

Effective methods for software testing
Escape analysis for Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Escape analysis for object-oriented languages: application to Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Removing unnecessary synchronization in Java

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Compositional pointer and escape analysis for Java programs

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OMEN: A strategy for testing object-oriented software

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Criteria for Testing Exception-Handling Constructs in Java Programs

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance

Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
The Construction of Contextual Def-Use Associations for Object-Oriented Systems

IEEE Transactions on Software Engineering
Code based analysis for object-oriented systems

Journal of Computer Science and Technology
Probe mechanism for object-oriented software testing

FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Contextual integration testing of classes

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering

Quantified Score

Hi-index	0.00

Visualization

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 code-based testing and analysis tool for object-oriented software. TATOO provides a systematic approach to 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.