loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: W. L. Yeung 1 and K. R. P. H. Leung 2

Affiliations: 1 Lingnan University, Hong Kong ; 2 Hong Kong Institute of Vocational Education, Hong Kong

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.51.235

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
L. Yeung, W. and R. P. H. Leung, 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 (ICEIS 2005) - MSVVEIS; ISBN 972-8865-22-8, SciTePress, pages 71-76. DOI: 10.5220/0002571500710076

@conference{msvveis05,
author={W. {L. Yeung}. and K. {R. P. H. Leung}.},
title={Deriving Test Cases from B Machines Using Class Vectors},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS},
year={2005},
pages={71-76},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002571500710076},
isbn={972-8865-22-8},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (ICEIS 2005) - MSVVEIS
TI - Deriving Test Cases from B Machines Using Class Vectors
SN - 972-8865-22-8
AU - L. Yeung, W.
AU - R. P. H. Leung, K.
PY - 2005
SP - 71
EP - 76
DO - 10.5220/0002571500710076
PB - SciTePress