|
|
|
UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system behavior with required coverage.
We developed specification extensions for C, C++, C#, and Java programming languages, and tools that support UniTESK technology for the mentioned languages. Besides, we provide a number of services in technology deployment, users training and user support.
|
|
Read more...
|
|
|
JavaTESK in the Commercial Project of Testing Integration Components of Vimpelcom |
|
Friday, 10 October 2008 |
|
JavaTESK is applied in the development of tests for ETL (Extract, Transform, Load) integration components of the commercial company “Vimpelcom” since the beginning of the 2008 year. Due to using JavaTESK the quality of testing was improved and the time of regression testing and the cost of modifying tests because of changes of component requirements were shortened. |
|
Read more...
|
|
|
Online Pinery Service is Now Available |
|
Friday, 03 October 2008 |
The service for online use of demo version of the Pinery tool is started.
Pinery is intended for generation of structurally complex test data on the basis of grammar-like descriptions (such as BNF, regular expressions, DTD, etc.).
The service allows generating tests from Perl regular expressions. It is available here. |
|
|
Monday, 14 July 2008 |
|
The new version 2.2 of JavaTESK tool supporting UniTESK test development for Java software is released.
The main changes are:
- Modelling of asynchronous interactions made more flexible.
User-defined channel identifiers for model events are introduced.
- Integration of JavaTESK with Eclipse platform improved.
Outline View for specification extention of Java is implemented.
It's possible for system under test to be in other Eclipse project.
- Many bugs fixed.
JavaTESK 2.2 can be downloaded on the Downloads page. |
|
|
