Image CAPTCHA
Enter the characters shown in the image.

You are here

UniTESK

.

UniTESK

List mode
Table mode
Icons mode

Displaying 1 - 1 of 1

UniTESK

Introduction

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.

Contact Representatives

Specialties

software quality

SynTESK

Intro

Table Summary
SynTESK (Syntax Testing Kit) is the toolkit for testing parsers of formal languages.
Last Release Year ['Active'=Current]: 
2010

 

SynTESK
Tool Scope Test Automation Framework, Testing Tool
Application Rights Free Use, Opensource
Since 2002
Company UniTESK
Support Tool Support link HERE
Download Download HERE

Theme by Danetsoft and Danang Probo Sayekti