Formal Specification Based Automatic Test Generation for Embedded Network Systems

Table 2

Scales of example SENS specifications.

System	Function	SENS Spec.			Original spec.
		Number of lines	Number of variables	Number of req.	Number of pages
Indoor equip.	𝐹ℎ	12	5	7	1
Indoor equip.	𝐹𝑖	22	4	6	1
Indoor equip.	𝐹𝑗	71	6	22	2
Air cleaner	𝐹𝑙	101	7	28	4
Controller	𝐹𝑚	77	6	22	3
Controller	𝐹𝑛	52	6	4	4
Controller	𝐹𝑜	428	10	47	4