Research Article
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Table 1
Variables in the example specification for function
.
| Variable | Variable description | Range |
| Mode_A | Mode of operation | 6 | Mode_B | Mode of humidity | 4 | AV | Actual air volume | 7 | AP | Air purity | 5 | BM | Brightness for monitor LED | 3 | BO | Brightness for other LED | 3 | BU | User-defined brightness | 3 | C | Channel for indicating pushing a button | 3 |
|
|