Sciweavers

Share
MBEES
2008

Composition of Model-based Test Coverage Criteria

8 years 5 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we propose a set of functions which describe the test generation process in a generic way. Each coverage criterion is mapped to a set of test goals. Based on this set of functions, we propose a generic framework enabling flexible integration of various test generators and unified treatment of test coverage criteria. 1 Motivation In the field of software and system testing, the quality of test suites is one of the most important issues. Widely accepted means for assessing the quality of a test suite are coverage criteria. Criteria can be defined on the coverage of certain characteristics of specification, implementation, or even fault detection abilities of the test suite. The result is a large variety of defined criteria for structural, functional, and fault coverage. In the course of model-based engineering, stru...
Mario Friske, Bernd-Holger Schlingloff, Stephan We
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2008
Where MBEES
Authors Mario Friske, Bernd-Holger Schlingloff, Stephan Weißleder
Comments (0)
books