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.
|Title of host publication||Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005|
|Number of pages||6|
|Publication status||Published - 1 Jan 2005|
Bibliographical notePaper 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