UniTESK

SynTESK (Syntax Testing Kit) is the toolkit for testing parsers of formal languages. SynTESK facilitates validation of correspondence of a parser implementation to the specification of the given formal language. In fact, the tool checks that 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 the resolution of conflicts at syntactical analysis - so-called look-ahead procedure. SynTESK tool allows finding errors in such manually written procedures.