Deriving test cases from b machines using class vectors

Wing Lok YEUNG, R. P. H., Karl LEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)

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.
Original languageEnglish
Title of host publicationProceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005
Pages71-76
Number of pages6
Publication statusPublished - 1 Jan 2005

Bibliographical note

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

Fingerprint Dive into the research topics of 'Deriving test cases from b machines using class vectors'. Together they form a unique fingerprint.

  • Cite this

    YEUNG, W. L., & LEUNG, R. P. H. . K. (2005). Deriving test cases from b machines using class vectors. In 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)