Title
Deriving test cases from b machines using class vectors
Document Type
Conference paper
Source Publication
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
Publication Date
1-1-2005
First Page
71
Last Page
76
Abstract
This paper proposes a specification-based testing method for use in conjunction with the B method. The method aims to derive a set of legitimate class vectors from a B machine specification and it takes into account the structure and semantics of the latter. A procedure for test case generation is given. One advantage of the method is its potential to be integrated with the B method via its support tools.
Additional Information
Paper presented at the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2005), in conjunction with ICEIS 2005, 24-25 May 2005, Miami, Florida.
ISBN of the source publication: 9789728865221
Language
English
Recommended Citation
Yeung, W. L., & Leung, K. R. P. H. (2005). Deriving test cases from b machines using class vectors. In U. Ultes-Nitsche, J. C. Augusto, & J. Barjis (Eds.), Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005 (pp. 71-76).