‘Countability’ is a property of the test cases that relates to sufficiency. How do we judge that the ‘count of test cases’ are indeed no-more or no-less? Is there a way to justify the number of test cases?
Test design in HyBIST is done in two stages, first generating test scenarios and then later test cases. Test scenarios are derived from the behavioural model of the entity under test. And therefore based on the modelling technique, the number of test scenarios generated can indeed be justified. To execute these scenarios, we need to come up with specific test cases which are really combinations of test data. The data specification model is used to generate the test cases and the number of test cases can be justified.