You are here

UniTESK

UniTESK

We are a commercial department of UniTESK Lab, Institute for System Programming (ISP) of Russian Academy of Sciences(RAS). It performs research, development and provides services on testing and verification of software systems for more than 12 years.

The group was founded in 1994 to carry a project for Nortel Networks on testing API of real-time operating system kernel prior to porting the kernel to multiprocessor platform. We had successfully completed the project, and developed technology of formal specification based testing, suite of formal specifications, tools for test sequences generation and regression testing.

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.

CTESK implements UniTESK concepts of automated testing based on specifications. The toolkit includes tools for test development, execution and result analysis. These tools can be used in both Microsoft Visual Studio 6.0 IDE and command line. CTESK can use a formal representation of requirements, usually called formal specifications, as a source of test development. It ensures that the system under test satisfies its requirements under different operating conditions. CTESK is a tool for unit and integration testing and application program interface testing. Most other cases can be easily reduced to API testing with the help of wrapper interfaces and applying CTESK to them.