|
|
|
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...
|
|
|
Visit to International University of Information Technologies in Almaty |
|
Monday, 14 May 2012 |
|
Workshop "Test Driven Development" was held on May, 11 at the 10th International Conference "Information Technologies and Management" in the International University of Information Technologies in Almaty, Kazakhstan. Workshop was conducted by senior researcher of Software Engineering Department of Institute for System Programming RAS Nicholay Pakulin for students and staff of the International University of Information Technologies. Also, Nicholas Pakulin made a presentation on "Model based conformance testing of communication protocols in common programming language". |
|
|
All-Russian Scientific Conference on Informatics |
|
Saturday, 28 April 2012 |
|
On April, 25 on the All-Russian Scientific Conference on Informatics СПИСОК-2012, Head of Software Engineering Department of Institute for System Programming RAS, Full Professor of System Programming Chair, Computer Science Department of Moscow State University, Dr. Alexander K. Petrenko made a presentation on "Models for the programs development - for business or a hobby?" |
|
|
Model Based Testing Workshop 2012 |
|
Wednesday, 04 April 2012 |
|
Model Based Testing Workshop, organized by Alexander Petrenko (ISP RAS, Russia) in collaboration with Holger Schlingloff (Fraungofer FIRST, Germany) was held on March, 25 at the ETAPS 2012 conference in Tallinn. Ina Schieferdecker, Head of the Competence Center for Modeling and Testing (MOTION) at the Fraunhofer Institute for Open Communication Systems (FOKUS), Berlin made a presentation on the topic “Model-Based Security Testing”. From Software Engineering Department of ISP RAS Yevgeny Gerlits made a presentation about “Model-Based Testing of Safety Critical Real-Time Control Logic Software”. |
|
|