Testcover.com - Tutorial - Start Command Example

	Testcover.com
		Start Command Example - 3-state and 2-state Test Model Mapping

3-state Transition Model				2-state Transition Model
Partition Prefix	Partition & Block	from	to	Partition Prefix	Partition & Block	from	to
3-II	P1B1	idle	idle	2-II	P1B1	idle	idle
3-IT	P2B1	idle	test	2-IA	P2B1	idle	active
3-IP	P3B1	idle	production	2-IA	P2B2	idle	active
3-TI	P4B1	test	idle	2-AI	P3B1	active	idle
3-PI	P5B1	production	idle	2-AI	P3B2	active	idle
3-TT	P6B1	test	test	2-AA	P4B1	active	active
3-TP	P7B1	test	production	2-AA	P4B2	active	active
3-PT	P8B1	production	test	2-AA	P4B3	active	active
3-PP	P9B1	production	production	2-AA	P4B4	active	active

PmBn = Partition m, Block n.

Each row of this table identifies one block and shows how it is used in both test models of the Start Command Example. These blocks, in the order given above, are contained in the requests (shown in the yellow backgrounds) of the models referenced below.

The 3-state transition model illustrates a plan to test the 9 transitions among the 3 states of the start command. A separate partition is used for each of the 9 transitions.

In the 2-state transition model the active state contains test and production substates, which are considered equivalent for the purpose of this test. The 9 partitions from the 3-state model are grouped into 4 partitions representing transitions between the idle and active states in the 2-state model, for a reduced number of test cases. Each block in the 2-state transition model has the same test values as the corresponding block in the 3-state transition model.