Deriving test cases from b machines using class vectors

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

Deriving test cases from b machines using class vectors

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

Department of Computing and Decision Sciences

Research output: Book Chapters | Papers in Conference Proceedings › Conference paper (refereed) › Research › peer-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 language	English
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
Pages	71-76
Number of pages	6
Publication status	Published - 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

Cite this

@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 = jan,

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",

}

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 Proceedings › Conference paper (refereed) › Research › peer-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://www.scopus.com/inward/record.url?scp=78651425532&partnerID=8YFLogxK

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 -

Deriving test cases from b machines using class vectors

Abstract

Bibliographical note

Other files and links

Fingerprint

Cite this