Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object oriented design with applications
Object oriented design with applications
Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Object-oriented modeling and design
Object-oriented modeling and design
Automated flow graph-based testing of object-oriented software modules
Journal of Systems and Software - Special issue on object-oriented software
Performing data flow testing on classes
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
The State-Based Testing of Object-Oriented Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Object-oriented integration testing
Annals of Software Engineering
Hi-index | 0.00 |
Abstract: We discuss how conventional testing criteria such as branch coverage can be applied to the testing of member functions inside a class. To support such testing techniques we employ symbolic execution techniques and finite state machines (FSMs). Symbolic execution is performed on the code of a member function to identify states that are required to fulfil a given criterion. We use FSMs to generate a sequence of member functions leading to the identified states. Our technique is a mixture of code-based and specification-based testing techniques in the sense that it uses information derived from codes using symbolic execution together with information from specifications using FSMs for testing activities.