The SynTESK system includes tools for creation of tests on the basis of grammar description. It is possible to use the tools from command line.

SynTESK needs the BNF(Backus-Naur form) formal description of grammar for automatic construction of tests system. BNF Analyzer enables to check correctness of the given grammar description.

In order to verify that the parser under test accepts correct sentences of the target language, it is required to construct a set of various sentences, inhering to target language such that processing by the parser under test will involve all features related to sentence recognition.

The generator of positive tests enables to obtain such set of sentences automatically.

In order to verify that the parser under test rejects incorrect sentences (not from target language), it is required to construct set of various sentences, not inhering to target language such that processing by the parser under test will involve all features related to search of errors.

The generator of negative tests enables to obtain such set of sentences automatically.

The operating system:
• Any supporting JDK (Java Developers Kit) versions 1.4.x or higher.
The software:
• Java - JDK 1.4.x or higher
The hardware requirements:
• Pentium III 500 MHz or higher
• 128MB RAM or more