A Comparison of the BTT and TTF Test-Generation Methods
dc.contributor.author | Legeard, Bruno | |
dc.contributor.author | Peureux, Fabien | |
dc.contributor.author | Utting, Mark | |
dc.coverage.spatial | Conference held at Grenoble, France | en_NZ |
dc.date.accessioned | 2008-11-20T00:12:23Z | |
dc.date.available | 2008-11-20T00:12:23Z | |
dc.date.issued | 2002 | |
dc.description.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. | en_US |
dc.identifier.citation | Legeard, B. Peureux, F. & Utting, M.(2002). A Comparison of the BTT and TTF Test-Generation Methods. In D. Bert et al. (Eds.), Proceedings of 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 (pp. 115-122). Berlin: Springer. | en_US |
dc.identifier.isbn | 978-3-540-43166-4 | |
dc.identifier.uri | https://hdl.handle.net/10289/1409 | |
dc.language.iso | en | |
dc.publisher | Springer | en_US |
dc.relation.isPartOf | 2nd International Conference of B and Z Users | en_NZ |
dc.relation.uri | http://www.springerlink.com/content/2nwp7gq2byg9mmwn/ | |
dc.subject | computer science | en_US |
dc.subject | Test Template Framework | en_US |
dc.title | A Comparison of the BTT and TTF Test-Generation Methods | en_US |
dc.type | Conference Contribution | en_US |
pubs.begin-page | 309 | en_NZ |
pubs.elements-id | 13691 | |
pubs.end-page | 329 | en_NZ |
pubs.finish-date | 2002-01-25 | en_NZ |
pubs.place-of-publication | Berlin | en_NZ |
pubs.start-date | 2002-01-23 | en_NZ |
pubs.volume | ZB 2002: Formal Specification and Development in Z and B LNCS 2272 | en_NZ |
Files
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.79 KB
- Format:
- Item-specific license agreed upon to submission
- Description: