Generating Class-Based Test Cases for Interface Classes of Object-Oriented Gray-Box Frameworks

Authors: Jehad Al Dallal, Paul Sorenson

Abstract:

An application framework provides a reusable design and implementation for a family of software systems. Application developers extend the framework to build their particular applications using hooks. Hooks are the places identified to show how to use and customize the framework. Hooks define Framework Interface Classes (FICs) and their possible specifications, which helps in building reusable test cases for the implementations of these classes. In applications developed using gray-box frameworks, FICs inherit framework classes or use them without inheritance. In this paper, a test-case generation technique is extended to build test cases for FICs built for gray-box frameworks. A tool is developed to automate the introduced technique.

Keywords: Class testing, object-oriented framework, reusable test case.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1082933

References:

[1] Beck and R, Johnson. Patterns generated architectures, Proc. of ECOOP 94, 1994, pp. 139-149.
[2] G. Froehlich. Hooks: an aid to the reuse of object-oriented frameworks, Ph.D. Thesis, University of Alberta, Department of Computing Science, 2002.
[3] R. Johnson and B. Foote. Designing reusable classes, Journal of Object- Oriented Programming, Vol. 2(1), 1988, pp. 22-35.
[4] J. Al Dallal and P. Sorenson, Generating State-Based Testing Models for Object-Oriented Framework Interface Classes, Transactions on Engineering, Computing and Technology, Vol. 16, 2006, pp. 96-102.
[5] J. Al Dallal and P. Sorenson, Generating Class-Based Test Cases for Interface Classes of Object-Oriented Black Box Frameworks, Transactions on Engineering, Computing and Technology, Vol. 16, 2006, pp. 90-95.
[6] R. Binder. Testing object-oriented systems, Addison Wesley, 1999.
[7] T. Chow, Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, EE-4(3), 1978, pp. 178- 187.
[8] J. Offut and A. Abdurazik, Generating tests from UML specifications, Second International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October 1999, pp. 416-429.
[9] K. Bogdanov and M. Holcombe, Statechart testing method for aircraft control systems, Software Testing, Verification and Reliability, 11(1), 2001, pp. 39-54.
[10] A. Abdurazik, P. Ammann, W. Ding, and J. Offutt, Evaluation of three specification-based testing criteria, Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00), Tokyo, Japan, September 2000, pp. 179-187.
[11] G. Antoniol, L. Briand, M. Penta, and Y. Labiche, A case Study Using the Round-Trip Strategy for State-based Class Testing, Carlton University TR SCE-01-08, revised Jan. 2002.
[12] Y. Kim, H. Hong, D. Bae, and S. Cha, Test cases generation from UML state diagrams, IEE Proc.-Software, 146(4), 1999, pp. 187-192.
[13] L. Briand, Y. Labiche, A UML-based approach to system testing. Technical Report TR SCE-01-01. Carlton University: Canada, 2002.
[14] B. Meyer, Design by contracts, IEEE Computer, 1992, Vol. 25(10), pp. 40-52.
[15] Jcontract,http://www.parasoft.com/jsp/products/home.jsp?product=Jcont ract, ParaSoft Corporation, July 2006.