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)Researchpeer-review

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

Fingerprint

Specifications
Semantics
Testing

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

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)
YEUNG, Wing Lok ; LEUNG, R. P. H., Karl. / Deriving test cases from b machines using class vectors. Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005. 2005. pp. 71-76
@inproceedings{a829c7cf8e994c56beaa981890a08207,
title = "Deriving test cases from b machines using class vectors",
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.",
author = "YEUNG, {Wing Lok} and LEUNG, {R. P. H., Karl}",
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",
year = "2005",
month = "1",
day = "1",
language = "English",
pages = "71--76",
booktitle = "Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005",

}

YEUNG, WL & LEUNG, RPHK 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.

Deriving test cases from b machines using class vectors. / YEUNG, Wing Lok; LEUNG, R. P. H., Karl.

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005. 2005. p. 71-76.

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

TY - GEN

T1 - Deriving test cases from b machines using class vectors

AU - YEUNG, Wing Lok

AU - LEUNG, R. P. H., Karl

N1 - 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

PY - 2005/1/1

Y1 - 2005/1/1

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

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

UR - http://commons.ln.edu.hk/sw_master/7103

M3 - Conference paper (refereed)

SP - 71

EP - 76

BT - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005

ER -

YEUNG WL, LEUNG RPHK. 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. 2005. p. 71-76