On the completeness of test suites
Adilson Luiz Bonifácio, Arnaldo Vieira Moura · 2014
Test suite generation for Finite State Machines (FSMs) has been largely investigated. Here, we describe necessary and sufficient conditions for m-completeness of test suites when the specification and implementation are modeled as FSMs. Many earlier works imposed several conditions upon the specification or on the implementation models. We impose weak a priori restrictions on the models. In particular, we do not require reduced models nor complete specifications.