A Test Class Framework for Generating Test Cases from Z Specifications

Authors:
Affiliations:
Venue:
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Year:
2000

Citing 0
Cited 3

Generation of improved test cases from UML state diagram using genetic algorithm

Proceedings of the 4th India Software Engineering Conference
Behavior modeling technique based on EFSM for interoperability testing

ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
BETA: a b based testing approach

SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

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.