Formal Specification Based Automatic Test Generation for Embedded Network Systems

Table 4

Experiment results for test sequence generation.

				Number of sequences	Exe. time
	(1)	(2)	(3)
G1	1	2	⋅−−→^≤2⋅	25	1.3 sec.
G2	1	2	⋅−−→^≤3⋅	156	8 min.
G3	3	3	⋅−−→^≤2⋅−−→^≤2⋅	896	3 min.

(1) Number of key variables, (2) number of milestones, and (3) Maximum lengths.