An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Object oriented design with applications
Object oriented design with applications
Object-oriented modeling and design
Object-oriented modeling and design
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
The State-Based Testing of Object-Oriented Programs
ICSM '93 Proceedings of the Conference on Software Maintenance
Testing of Object-Oriented Programs Based on Finite State Machines
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Data flow analysis techniques for test data selection
ICSE '82 Proceedings of the 6th international conference on Software engineering
Testing Object-Oriented Programs An Integrated Approach
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
On data flow guided program testing
ACM SIGPLAN Notices
Integration testing of object-oriented components using finite state machines: Research Articles
Software Testing, Verification & Reliability
Integrated object-oriented framework-based testing environment
ACS'08 Proceedings of the 8th conference on Applied computer scince
An object-oriented framework for improving software reuse on automated testing of mobile phones
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
One goal of integration testing for object-oriented software is to ensure high object interoperability. Sent messages should have the intended effects on the states and subsequent actions of the receiving objects. This is especially difficult when software is comprised of components developed by different vendors, with different languages, and the implementation sources are not all available. A previous paper presented a model of inter-operating OO classes based on finite state machines. It addresses methods for identifying the relevant actions of a test component to be integrated into the system, transforms the finite state specification into a control and data flow graph, labels the graph with all defs and uses of class variables, and presents an algorithm to generate test specifications as specific paths through the directed graph. It also presents empirical results from an automatic tool that was built to support this test method. This paper presents additional details about the tool itself, including how several difficult problems were solved, and adds new capabilities to help automate the transformation of test specifications into executable test cases. The result is a fresh approach to automated testing. It follows accepted theoretical procedures while operating directly on an object-oriented software specification. This yields a data flow graph and executable test cases that adequately cover the graph according to classical graph coverage criteria. The tool supports specification-based testing and helps to bridge the gap between theory and practice.