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 ...
Specification-based testing of concurrent software systems always faces strong challenges. One main reason is that there exists nondeterminism in both the specifications and the corresponding programs. For this reason, it is not easy to generate test ...
Most of the current research on automatic generation of test cases from formal specifications has been directed towards non object-oriented formal specifications. While object-oriented paradigm is the most widely accepted methodology for software ...
IEEE Computer Society
United States
