Deriving Test Cases from B Machines Using Class Vectors

W. L. Yeung, K. R. P. H. Leung

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.

References

  1. J. R. Abrial. The B-Book. Cambridge University Press, 1996.
  2. M. C. Gaudel. Testing can be formal too. In TAPSOFT'95, pages 82-96. Springer, 1995.
  3. M. Grochtmann and K. Grimm. Classification Trees for Partition Testing. Software Testing, Verification and Reliability, 3:63-82, 1993.
  4. Robert M. Hierons, Mark Harman, and Harbhajan Singh. Automatically Generating Information from a Z Specification to Support the Classification Tree Method. In ZB 2003, volume 2651, pages 388-407. Springer, 2003.
  5. Bruno Legeard, Fabien Peureux, and Mark Utting. A Comparison of the BTT and TTF TestGeneration Methods. In ZB 2002, volume 2272, pages 309-329. Springer, 2002.
  6. Karl R. P. H. Leung and Wai Wong. Deriving Test Cases Using Class Vectors. In Proc. 7th Asia-Pacific Software Engineering Conference, pages 146-153. IEEE, 2000.
Download


Paper Citation


in Harvard Style

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 - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 71-76. DOI: 10.5220/0002571500710076


in Bibtex Style

@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 - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={71-76},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002571500710076},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
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