|
|
 |
| |
|
|
|
Model-Based Boundary Coverage Criteria for Logic Expressions |
|
|
|
PP: 31S-34S |
|
|
|
Author(s) |
|
|
|
Liping Li,
Huaikou Miao,
|
|
|
|
Abstract |
|
|
| Boundary is especially fault-prone to system. Aim at the model-based logic coverage
criteria with little regard to the boundary, this paper proposes a series of model-based logical
boundary coverage criteria. These criteria are used to generate test cases automatically. Results show
that test cases satisfying these criteria can detect more errors than original logic coverage criteria.
They not only satisfy the logic coverage criteria but also test the system boundaries. |
|
|
|
|
|
|
|
