Test Suite Completeness and Partial Models

摘要

Test suite generation and coverage analysis have been widely studied for FSM-based models. Several studies focused on specific conditions for verifying completeness of test suites. Some have found necessary conditions for test suite completeness, whereas other approaches obtained sufficient, but not necessary, conditions for this problem. Most of these works restricted the specification or the implementation FSM models in several ways. Some works show how to generate specific complete test suites, but they do not deal with the general problem of checking completeness for any given test suite. In this work we describe necessary and sufficient conditions that guarantee test suite completeness even in the presence of partial FSM models, and when test cases are blocking.