A Generalized Model-based Test Generation Method

In this paper we present a generalization for the W-method, which can be used for automatically generating test cases. In contrast too the W-method, this generalization allows for test case generations even in the absence of a characterization set for the specification. The work presents proofs of correctness for this generalization, and derives the original W-method from it as a particular case. Formal proofs of correctness for the W-method, not given in the original paper, are also presented in a clear and detailed way.

2008