Show simple item record  

dc.contributor.authorLegeard, Bruno
dc.contributor.authorPeureux, Fabien
dc.contributor.authorUtting, Mark
dc.coverage.spatialConference held at Copenhagen, Denmarken_NZ
dc.identifier.citationLegeard, B., Peureux, F. & Utting, M.(2002). Automated boundary testing from Z and B. In Proceeding of International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22-24, 2002(pp. 221-236). Berlin: Springer.en_US
dc.description.abstractWe present a method for black-box boundary testing from B and Z formal specifications. 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. It starts by calculating boundary goals from Pre/Post predicates derived from the formal model. Then each boundary goal is instantiated to a reachable boundary state, by searching for a sequence of operations that reaches the boundary goal from the initial state. This process makes intensive use of a set-oriented constraint technology, both for boundary computation and to traverse the state space. The method was designed on the basis of industrial applications in the domain of critical software (Smart card and transportation). Application results show the effectiveness and the scalability of the method. In this paper, we give an overview of the method and focus on the calculation of the boundary goals and states.en_US
dc.subjectcomputer scienceen_US
dc.subjectspecification-based testingen_US
dc.subjectboundary valuesen_US
dc.subjectset constraint solvingen_US
dc.subjectB methoden_US
dc.subjectZ notationen_US
dc.titleAutomated Boundary Testing from Z and Ben_US
dc.typeConference Contributionen_US
dc.relation.isPartOfFormal Methodsen_NZ
pubs.finish-date2002-07-24en_NZ, UKen_NZ
pubs.volumeProceedings International Symposium of Formal Methods Europeen_NZ

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record