Testcover.com | ||||

Tutorial - Thermostat Example -
State Machine Test Models |

Home Existing User Login Brochure Sign up for Risk-Free Trial About Testcover.com Frequently Asked Questions Tutorial with Examples ->Equivalence Partitioning ->UML State Machines --->Shopping Cart Example --->Thermostat Example --->Test Models, 3 Regions --->Design Procedure --->tempSet Designs --->tempControl Designs --->fanControl Designs ->Definitions of Terms Performance WSDL Interface Background Partners Registrations Contact Information |
In the thermostat example
four pairwise test models can be applied to the regions of the UML state machine:
The
The number of test cases in the stand-alone transition model can be estimated
by multiplying the number of partitions by the number of test cases in one of them.
If there are S states in the region, there are no more than S
The
The number of test cases in the integrated transition model can be estimated
by multiplying the number of partitions by the number of test cases in one of them.
If there are S states in each of 3 or more regions, there are no more than S
The
As above, the number of test cases in the integrated target state model can be estimated
by multiplying the number of partitions by the number of test cases in one of them.
If there are S states in each of 2 or more regions, there are S target states
in the region under test,
and the number of partitions is equal to S also.
However the number of test cases in each partition can be estimated to be S
The
In some systems it may be important to test for negative results. An example of a negative result is a transition in this region that has no effect on another region. Such tests are beyond the scope of the integrated propagation model, which focuses on testing positive consequences of this region's operation. Thus, blocks from the integrated target state model are not included in the integrated propagation model when they do not affect other regions according to the state machine diagram. Similarly, test factor values which do not cause observable interactions with other regions are excluded. Typically the number of test cases in the integrated propagation model is less than the number in the integrated target state model. The numbers of test cases resulting from the different designs are tabulated below.
It is important to note that for each of the 3 regions the same test factor values (i.e. the same blocks) are used for the integrated transition model design as for the integrated target state model design. Thus the differences in numbers of test cases are due to differences between the models, and not different choices of test values. Test model mappings for the tempSet, tempControl and fanControl regions relate their designs on a block-by-block basis. | |||||||||||||||||||||||||||||||||