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“)”