OMEN: A strategy for testing object-oriented software

Authors:
Amie L. Souter;Lori L. Pollock
Affiliations:
Computer & Info Sciences, Univ. of Delaware, Newark, DE;Computer & Info Sciences, Univ. of Delaware, Newark, DE
Venue:
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Year:
2000

Citing 28
Cited 10

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Interprocedual data flow testing

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A safe approximate algorithm for interprocedural aliasing

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Context-sensitive interprocedural points-to analysis in the presence of function pointers

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Performing data flow testing on classes

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Slicing object-oriented software

Proceedings of the 18th international conference on Software engineering
Simple and effective analysis of statically-typed object-oriented programs

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fast static analysis of C++ virtual function calls

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Points-to analysis in almost linear time

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast and accurate flow-insensitive points-to analysis

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the complexity of escape analysis

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Escape analysis: correctness proof, implementation and experimental results

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Relevant context inference

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Pointer analysis for programs with structures and casting

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Inter-class def-use analysis with partial class representations

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Efficient points-to analysis for whole-program analysis

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
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
Interprocedural pointer alias analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Interprocedural Def-Use Associations for C Systems with Single Level Pointers

IEEE Transactions on Software Engineering
Slicing Objects Using System Dependence Graphs

ICSM '98 Proceedings of the International Conference on Software Maintenance
Criteria for Testing Exception-Handling Constructs in Java Programs

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

Contextual def-use associations for object aggregation

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Change impact analysis for object-oriented programs

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
TATOO: Testing and Analysis Tool for Object- Oriented Software

TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Coverage testing of Java programs and components

Science of Computer Programming - Special issue on new software composition concepts
Testing criteria for object oriented visual dataflow languages

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004
Integration testing of Object-Oriented and Aspect-Oriented programs: A structural pairwise approach for Java

Science of Computer Programming
Dimensions of precision in reference analysis of object-oriented programming languages

CC'03 Proceedings of the 12th international conference on Compiler construction
A tool to automatically detect defects in c++ programs

CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a strategy for structural testing of object-oriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting the combined points-to and escape analysis developed for compiler optimization, our testing paradigm does not require a whole program representation to be in memory simultaneously for testing analysis. Potential effects from outside the component under test are easily identified and reported to the tester. As client and server methods become known, the graph representation of object relationships is easily extended, allowing the computation of test tuples to be performed in a demand-driven manner, without requiring unnecessary computation of test tuples based on predictions of potential clients.