Skip to main content
Article thumbnail
Location of Repository

Automated Boundary Testing from Z and B

By Bruno Legeard, Fabien Peureux and Mark Utting


We present a method for black-box boundary testing from B and Z formal speci cations. The basis of the method is to test every operation of the system at every boundary state using all input boundary values of that operation. The test generation process is highly automated

Topics: specication-based testing, boundary values, set constraint solving, B method, Z notation
Publisher: Springer
Year: 2002
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.