Book chapter
A comparison of the BTT and TTF test-generation methods
ZB2002: Formal Specification and Development in Z and B, pp.309-329
International Conference of B and Z Users, 2nd (Grenoble, France, 23-Jan-2002–25-Jan-2002)
Lecture Notes in Computer Science (LNCS), 2272, Springer Berlin Heidelberg
2002
Abstract
This paper compares two methods of generating tests from formal specifications. The Test Template Framework (TTF) method is a framework and set of heuristics for manually generating test sets from a Z specification. The B Testing Tools (BTT) method uses constraint logic programming techniques to generate test sequences from a B specification. We give a concise description of each method, then compare them on an industrial case study, which is a subset of the GSM 11.11 smart card specification.
Details
- Title
- A comparison of the BTT and TTF test-generation methods
- Authors
- Bruno Legeard (Author) - Université de Franche-Comté, FranceFabien Peureux (Author) - Université de Franche-Comté, FranceMark Utting (Author) - University of Waikato, New Zealand
- Contributors
- D Bert (Editor)J P Bowen (Editor)M C Henson (Editor)K Robinson (Editor)
- Publication details
- ZB2002: Formal Specification and Development in Z and B, pp.309-329
- Conference details
- International Conference of B and Z Users, 2nd (Grenoble, France, 23-Jan-2002–25-Jan-2002)
- Series
- Lecture Notes in Computer Science (LNCS); 2272
- Publisher
- Springer Berlin Heidelberg
- Date published
- 2002
- DOI
- 10.1007/3-540-45648-1_16
- ISBN
- 9783540431664
- Copyright note
- Copyright © Springer 2002. The author's accepted version is reproduced here in accordance with the publisher's copyright policy. The final publication is available at www.springerlink.com
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99449375602621
- Output Type
- Book chapter
Metrics
134 File views/ downloads
812 Record Views