Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Incremental testing of object-oriented class structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Efficient computation of interprocedural definition-use chains
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experiences with cluster and class testing
Communications of the ACM
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Object-Oriented Software Construction
Object-Oriented Software Construction
The State-Based Testing of Object-Oriented Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
Effect Of Class Testing On The Reliability Of Object-Oriented Programs
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Object State Testing for Object-Oriented Programs
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
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
Fragment class analysis for testing of polymorphism in Java software
Proceedings of the 25th International Conference on Software Engineering
Criteria for Testing Polymorphic Relationships
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
The Construction of Contextual Def-Use Associations for Object-Oriented Systems
IEEE Transactions on Software Engineering
Fragment Class Analysis for Testing of Polymorphism in Java Software
IEEE Transactions on Software Engineering
Coverage testing of Java programs and components
Science of Computer Programming - Special issue on new software composition concepts
Automatically testing interacting software components
Proceedings of the 2006 international workshop on Automation of software test
Towards verification and testing of Java programs
Proceedings of the 2008 ACM symposium on Applied computing
Testing polymorphism in object oriented systems for improving software quality
ACM SIGSOFT Software Engineering Notes
OConGraX --- Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Dataflow testing of java programs with DFC
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Hi-index | 0.00 |
Traditional testing techniques often overlook object-oriented faults that are either caused by inheritance and/or polymorphism features or are introduced in object management. We present an object-flow based testing strategy that utilizes two object-flow coverage criteria-all-bindings and all-du-pairs-in testing object-oriented programs. The all-bindings criterion takes inheritance and polymorphism features into account to ensure that every binding of every object is exercised under some test. The all-du-pairs criterion is applied to monitor the behavior of every object during its lifetime by keeping track of where the object is defined and where such definition is referenced. These object-flow coverage criteria can be used to develop test cases that are able to trigger object-oriented faults. Furthermore, an integrated approach that incorporates the object-flow based testing strategy with traditional testing techniques as well as state-based testing technique is introduced. The results of our empirical study conducted on three industrial systems show that with this approach the reliability of the systems can be improved significantly and at least 80% of the maintenance cost can be reduced.