|
On Shaky Ground - A Study of Security Vulnerabilities in Control Protocols
IV. THE BLACKPEER TEST FRAMEWORK
All grammar files are written using an extended Backus Naur Form (BNF) syntax:
- non-terminals specified as identifiers and terminals as string constants
- alternatives specified by a vertical bar and concatenation by one or more spaces
- the required portion of a production is terminated by a newline character
- the right hand side expression can contain parenthesis one level deep for grouping logical expressions, square brackets for denoting optional expressions, and braces to delimit expressions that can occur zero or more times
- an optional range after the opening brace allows repetition a fixed number of times
- comments are started by a // and terminated by the end of the line
- the start symbol is the non-terminal on the left hand side of the first production
The syntax for a grammar is as follows:
The syntax for a test case is as follows:
« Prev | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | Next »
|
