Domain Testing Based on Character String Predicate

1
Domain Testing Based on Character String
Predicate
Ruilian Zhao Computer Science Dept. Beijing
University of Chemical Technology
Yinghua Min Institute of Computing Tech. Chinese
Academy of Sciences in Beijing
Michael R. Lyu Computer Science Dept. Chinese
University of Hong Kong
2
Outline

• Introduction
• Domain testing strategies
• Dynamic test data generation
• Domain testing based on character string
  predicate
• A case study
• Conclusion

3
Introduction
Domain testing is a well-known testing
technique, which attempts to reveal errors in
the predicates by selecting test points on and
near the boundary of a path domain.
Several research activities have been initiated
in domain testing.
All these domain testing strategies suffer from
a common weakness character string predicates
are not taken into account.
4
Introduction
We present a novel approach to automatically
generate ON-OFF test points for character string
predicate borders associated with a program path.
A corresponding test data generator is developed.
5
Introduction
Each element of variables in a character string
predicate is determined in turn by performing
function minimization so that the ON-OFF test
points for the corresponding predicate border
are automatically generated.
The preliminary experimental results show that
this approach is effective and promising.
6