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

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.

Authors:

• Jehad Al Dallal
• Paul Sorenson

Keywords:

• Class testing
• object-oriented framework
• reusable test case.

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.