Abstraction and specification in program development
Abstraction and specification in program development
Functional program testing and analysis
Functional program testing and analysis
Adequate testing and object-oriented programming
Journal of Object-Oriented Programming
Specification case studies
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
A framework for testing object-oriented programs
Journal of Object-Oriented Programming
Specifying operational profiles for modules
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Handbook of logic in computer science (vol. 2)
Automated flow graph-based testing of object-oriented software modules
Journal of Systems and Software - Special issue on object-oriented software
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Simulating the behaviour of software modules by trace rewriting
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Operational Profiles in Software-Reliability Engineering
IEEE Software
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
Hi-index | 0.00 |
Object-oriented technology has been widely studied and applied. Substantial research has been carried out in object-oriented analysis, design and programming language. However, relatively little attention has been paid to testing of object-oriented programs. In this paper, we review several techniques proposed in the literature for testing object-oriented software, and investigate the impact of object-oriented approach on the design of testing strategies. In particular, we focus on the test case selection problem in class testing. We observe that an effective test case should consists of a tuple (s, ψ) where s is a class state and ψ a sequence of operations that may be applied to the state. State space analysis and trace analysis techniques are discussed, which may be used to characterize the class state space and the interactions of operations, so that effective test data can be selected.