|
|
|
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...
|
|
|
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. |
|
|
Working with Open International Standards |
|
Friday, 27 June 2008 |
|
A whitepaper is published describing the directions and achievements of the UniTESK Lab in Open International Standards study and refinement.
The whitepaper “Working with Open International Standards” describes the directions and achievements of UniTESK Lab projects related to Open International Standards. The whitepaper presents projects on several directions: conformance test suites development, standards study, analysis and refinement, infrastructure development to support standard creation, development of prototypes and implementations of international standards. The whitepaper contains a table that summarizes UniTESK Lab experience in the field of Open International standards.
Full text of the paper in PDF. |
|
|
Testing of Software for Embedded Avionics Systems |
|
Thursday, 26 June 2008 |
|
The paper is published describing the directions and achievements of UniTESK Lab in software testing for embedded avionics systems.
The paper “Testing of software for embedded avionics systems” formulates the main objectives of requirements-based testing as applied to software for embedded avionics systems with rigid fail-safety requirements. It presents the experience and results of creation of conformance test suites for two main standards implemented in real-time operating systems for avionics: ARINC-653 and POSIX. It also proposes the directions and methods of application of the UniTESK technology and the FOREST process to support the software testing process for avionics systems as imposed by the DO-178B standard. The proposed approach is to simplify software certification according to this standard.
Full text of the paper in PDF.
|
|
|
