ETAPS 2009: Tutorial on Complete and Exhaustive Testing Techniques (CETT)
Abstract
We present a practical synthesis of formal methods,
theoretical computer science, and practical testing
techniques. This is an ambitious agenda, so to avoid
overloading participants we will split the tutorial into two
complementary sessions. The tutorial is suitable for levels
of ability.
- Part 1 presents the theoretical and practical background to
the state-based "X-machine testing methodology". First
described in the late 90s, this had developed into a
comprehensive design and `complete testing' approach that
can exploit hardware-inspired design-for-test conditions to
ensure `correctness-via-testing'.
- Part 2 offers a hands-on opportunity to investigate
techniques for testing OO systems using the JWalk system.
This is a lazy systematic unit testing tool that supports
exhaustive class testing, and has been shown to test up to
two orders of magnitude more paths than manual tests created
for JUnit by an expert tester.
Full details of this tutorial will appear shortly.