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).

This document is currently not available here.

Share

COinS