Research Article
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Pseudocode 9
BNF for expression declaration.
expr::= expr “−>” expr ∣ expr “∣∣” expr ∣ expr “&&” expr ∣ expr “ == ” expr ∣ expr expr “ != ” expr | ∣ expr “<” expr ∣ expr “<=” expr ∣ expr “>” expr ∣ expr “>=” expr ∣ expr “+” expr ∣ expr “−” expr | ∣ expr “*” expr ∣ expr “/” expr ∣ expr “%” expr ∣ “+” expr ∣ “−” expr ∣ “!” expr | ∣ number ∣ const ∣ variable ∣ “~” variable ∣ “true” ∣ “false” ∣ “ (”expr“)” |
|