Ivannikov Institute for System Programming of the RAS


SynTESK (Syntax Testing Kit) is a toolkit for testing parsers of formal languages. SynTESK facilitates validation of correspondence of a parser implementation to a specification of a given formal language. In fact, the tool checks that the parser recognizes the given formal language.

There are many reliable systems of automated parser generation now. However complexity of real languages is such that even application of systems of automated generation to parsers development demands writing of addition hand-held code, mostly for resolution of conflicts at syntactical analysis - so-called look-ahead procedures. SynTESK tool allows finding errors in such manually written procedures.

SynTESK realizes UniTesK technology of the automated testing based on usage of specifications and models of the target system.

At usage of SynTESK toolkit, tests are created completely automatically on the basis of the description of grammar in BNF (Backus-Naur form). Given description of the formal language grammar, SynTESK allows producing tests of the following sorts:
• Sentences inhering to the target language;
• Sentences not inhering to the target language.

It allows checking that the parser under test accepts correct sentences of the target language, and that the parser rejects incorrect sentences.

SynTESK tool allows receiving effective and relatively small sets of tests and it is easy to use for testing both newly developed software, and already existing systems.


Software Engineering

Back to the list of technologies of ISP RAS