BSU bulletin. Mathematics, Informatics
GENERATION OF TESTS IN THE SYNGT SYSTEM // BSU bulletin. Mathematics, Informatics. - 2017. №2. . - С. 33-39.
GENERATION OF TESTS IN THE SYNGT SYSTEM
The article presents an algorithm for automatic generation of test data in the con- struction 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.
syntax graph-scheme; CFR-grammar; prototests.
List of references: