The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Data Structures and Algorithms
Data Structures and Algorithms
A Specification-Based Methology for Testing Concurrent Programs
Proceedings of the 5th European Software Engineering Conference
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Producing dependable object-oriented software using testing and design patterns
Producing dependable object-oriented software using testing and design patterns
Specifying and Testing Software Components using ADL
Specifying and Testing Software Components using ADL
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.00 |
Intra-class testing refers to the testing of the interaction among methods and data structures encapsulated within a single class. Our approach to intra-class testing is to execute sequences of instance methods that are derived from sequencing constraints and evaluate their results for correctness. These constraints impose restrictions on method behaviors and can be derived from a formal or informal specification of a class. We present an empirical evaluation of different method sequence generation approaches, and analyze their effectiveness in detecting software faults. In addition, we define a number of coverage criteria based on method sequencing constraints for a class and examine the differences between them.