Checking Test Suite Completeness with Partial FSMs and Weak Equivalence

One of the important tasks in model-based testing is checking completeness of test suites. In this paper we first extend some known sufficient conditions for test suite completeness by also allowing partial implementations. We also study a new notion of equivalence, and show that the same conditions are still sufficient when treating only complete implementations, but not when we also allow partial implementation models.

2014