Test Generation
3.9 AUTOMATA THEORETIC VERSUS
CONTROL-FLOW-BASED TECHNIQUES
The test-generation techniques described in this chapter fall under the
automata-theoretic category. There exist other techniques that fall under
the control-flow-based category. Here we compare the fault-detection ef-
fectiveness of some techniques in the two categories.
Several empirical studies have aimed at assessing the fault-detection
effectiveness of test sequences generated from FSMs by various test-
generation methods. These studies are described in some detail in Vol-
ume II. Here, we compare the fault-detection effectiveness of the W-
and Wp-methods with four control-flow-based criteria to assess the ad-
equacy of tests. Some of the control-theoretic techniques can be ...