Research Article
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Algorithm 1
The BNF description for a transition requirement.
requirement-declaration::= | invariant ∣ transition-requirement | invariant::= expr | transition-requirement::= | pre-condition “:” event “:” | (post-condition ∣ (action (“,” ∣ action)*) | ∣ (post-condition “,”(action (“,” ∣ action)*))) |
|