Generation of tests in the SynGT system

The article presents an algorithm for automatic generation of test data in the construction of parsers, which is implemented in the system SynGT for conversion of grammars. We have used an approach based on generation of prototests from the syntax graph-scheme - a graphic analogue of context-free grammar in regular form (CFR-grammar). In terms of vertices and arcs of the syntactic graph-scheme loaded with the appropriate semantic information, a test coverage criterion have been formulated, according to which a set of prototypes is generated.