Paper Info
Title
Boundary Coverage Criteria for Test Generation from Formal Models
Abstract
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-TT) 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.
Year
DOI
Venue
2004
10.1109/ISSRE.2004.12
ISSRE
Keywords
Field
DocType
existing test set,new family,model-based coverage criterion,test generation,new criterion,formal notation,ocl specification,boundary coverage criteria,formal models,automated test case generation,boundary-value testing heuristics,formal model,data-oriented coverage criterion,boundary value testing,model based testing,satisfiability,smart card,formal verification,test coverage
Boundary testing,Unified Modeling Language,Computer science,Smart card,Software,Model-based testing,Heuristics,Reliability engineering,Formal verification,Test set
Conference
ISBN
Citations 
PageRank 
0-7695-2215-7
33
1.80
References 
Authors
17
4
Name
Order
Citations
PageRank
Nikolai Kosmatov137635.39
Bruno Legeard277153.98
Fabien Peureux335027.96
Mark Utting441421.41