Logo image
Back
Boundary coverage criteria for test generation from formal models
Conference paper   Peer reviewed

Boundary coverage criteria for test generation from formal models

N Kosmatov, Bruno Legeard, F Peureux and Mark Utting
Proceedings of the 15th International Symposium on Software Reliability Engineering, pp.139-150
International Symposium on Software Reliability Engineering (ISSRE), 15th (Denver, United States, 02-Nov-2003–05-Nov-2003)
IEEE (Institute of Electrical and Electronics Engineers)
2004
url
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=1383113&abstractAccess=no&userType=instView
Webpage

Abstract

boundary-value testing
This paper proposes a new family of model-based coverage criteria, based on formalizing boundary-value testing heuristics. The new criteria form a hierarchy of data-oriented coverage criteria, and can be applied to any formal notation that uses variables and values. They can be used either to measure the coverage of an existing test set, or to generate tests from a formal model. We give algorithms that can be used to generate tests that satisfy the criteria. These algorithms and criteria have been incorporated into the BZ-TESTING-TOOLS (BZ-TY) tool-set for automated test case generation from B, Z and UML/OCL specifications, and have been used and validated on several industrial applications in the domain of critical software, particularly smart cards and transport systems. © 2004 IEEE.

Details

Metrics

415 Record Views
Logo image