|
Requirement-based Test Suite Generation/Reduction:
There is no need to test the system with tests that exercise the same pattern of interactions wrt a requirement. Such tests are equivalent tests. Two tests are equivalent wrt a requirement if, during traversal of the EFSM/SDL model (representing a given set of requirements), these tests exhibit the same pattern of interactions wrt the requirement. The goal is to generate/reduce a test suite by identifying equivalent tests wrt each requirement and removing all equivalent tests except one from the test suite.
A detailed introduction to Test Suite Generation/Reduction is attached.
TSGR is a set of software tools developed since 2002 in Solaris C++, applying the requirement-based test suite generation/reduction to generate a test suite or to reduce an existing test suite wrt a set of system requirements modeled as an EFSM (Extended Finite State Machine).
