Published Articles >> Table of Contents >> Abstract

Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00)   p. 0164
A Test Class Framework for Generating Test Cases from Z Specifications
Miao Huaikou, Sch. of Comput. Eng. & Sci., Shanghai Univ., China
Liu Ling, Sch. of Comput. Eng. & Sci., Shanghai Univ., China

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.2000.873941
Send link to a friend

Abstract
Abstract: This paper introduces test classes and a test class framework for generating test cases from Z specifications. We define a test class using object-oriented concept in test framework instead of Phil Stock's test template. Our test framework for Z specifications uniformly defines the test data and oracles in a test class that also contains the information of before states and after states for an operation. Thus, the derivation and construction of test case and test sequence information can be unified in a test framework. We present an example to demonstrate how to generate test cases using the test framework. To support the framework, we have designed and implemented a test case generation system, TCGS, and its functions are briefly described in the paper.
Back to Top Additional Information
Index Terms- formal specification; test class framework; Z specifications; object-oriented concept; test framework; test data; oracles; test case generation system; TCGS Citation:  Miao Huaikou, Liu Ling, "A Test Class Framework for Generating Test Cases from Z Specifications," iceccs, p. 0164,  Sixth IEEE International Conference on Complex Computer Systems (ICECCS'00),  2000