Automatically testing interacting software components

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2006, Pages 57-63

  Gallagher, Leonard ^a   Offutt, Jeff ^b  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^b Krasnow Institute for Advanced Study   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TESTING; AUTOMATIC TOOLS; CONTROL AND DATA FLOW GRAPHS; COVERAGE CRITERIA; DATA FLOW GRAPHS; DIRECTED GRAPHS; EMPIRICAL RESULTS; FINITE STATE; FINITE STATE MACHINES; INTEGRATION TESTING; INTERACTING SOFTWARES; OBJECT ORIENTED SOFTWARE; SPECIFICATION BASED TESTING; TEST CASE; TEST COMPONENTS; TEST METHOD; TEST SPECIFICATIONS; THEORY AND PRACTICE; TOOL SUPPORT;

AUTOMATION; COMPUTER SOFTWARE; DATA FLOW ANALYSIS; GRAPH THEORY; GRAPHIC METHODS; SPECIFICATIONS; TESTING; WAVELET TRANSFORMS;

OBJECT ORIENTED PROGRAMMING;

EID: 77953549915     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1138929.1138941     Document Type: Conference Paper

References (13)

1. B. Binder. Testing Object-oriented Systems. Addison-Wesley Publishing Company Inc., New York, New York, 2000.
2. G. Booch. Object-Oriented Design With Applications. Benjamin-Cummings Publishing Co. Inc., Reading, MA, 1991.
3. M.-H. Chen and M.-H. Kao. Testing object-oriented programs - an integrated approach. In Proceedings of the 10th International Symposium on Software Reliability Engineering, pages 73-83, Boca Raton, FL, November 1999. IEEE Computer Society Press.
4. T. Chow. Testing software designs modeled by finite-state machines. IEEE Transactions on Software Engineering, SE-4(3):178-187, May 1978.
5. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10):1483-1498, October 1988.
6. L. Gallagher and A. J. Offutt. Integration testing of object-oriented components using finite state machines. The Journal of Software Testing, Verification, and Reliability. In press - published online January 2006.
7. P. Herman. A data flow analysis approach to program testing. Australian Computer Journal, 8(3):92-96, November 1976.
8. H. W. Hong, Y. R. Kwon, and S. D. Cha. Testing of object-oriented programs based on finite state machines. In Proceedings of the Asia-Pacific Software Engineering Conference, pages 234-241, Brisbane, Australia, 1995.
9. J. Laski. On data flow guided program testing. Sigplan Notices, 17(9), September 1982.
10. S. Rapps and E. J. Weyuker. Data flow analysis techniques for test data selection. In Software Engineering 6th International Conference. IEEE Computer Society Press, 1982.
11. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice Hall, 1991.
12. C. D. Turner and D. J. Robson. The state-based testing of object-oriented programs. In Proceedings of the 1993 IEEE Conference on Software Maintenance (CSM-93), pages 302-310, Montreal, Quebec, Canada, September 1993.
13. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366-427, December 1997.