|
|
|
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...
|
|
|
Design Automation Conference 2013 |
|
Monday, 10 June 2013 |
On June, 2-6 research workers of the Software Engineering Department Mikhail Chupilko, Andrey Tatarnikov and Aleksey Kamkin attended the University Booth at the Design Automation Conference held in Austin, TX, USA. They defended workshop report on theme “C++TESK and MicroTESK Hardware Verification Toolkits”.
More information is available here. |
|
|
Saturday, 01 June 2013 |
The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) was held in Kazan, Russia in May 30-31, 2013. The event was organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It was supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance.
Mikhail Chupilko, Alexander Protsenko made report on theme “Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”. Alexander Kamkin, Tatiana Sergeeva (Institute for System Programming of RAS), Andrei Tatarnikov and Artemiy Utekhin (Moscow State University) made report on theme “MicroTESK: An Extendable Framework for Test Program Generation“. Ilja Zakharov, Vadim Mutilin, Eugene Novikov and Alexey Khoroshilov made report on theme “Generating Environment Model for Linux Device Drivers“. Nikita Komarov made report on theme “On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules“.
More information is available here. |
|
|
Model-Based Testing Workshop 2013 |
|
Monday, 25 March 2013 |
|
Researches of the Software Engineering Department participated in the 8th Model-Based Testing Workshop held in Rome, Italy on the 19 of March. The workshop was associated with ETAPS conference and hosted by Sapienza University of Rome. One section report on theme "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces" was delivered by Mikhail Chupilko and Alexander Kamkin. Victor Kulamin made report with Jens Grabowski (University of Gottingen, Germany), Alain-Georges Vouffo Feudjio (Thales, Germany), Antal Wu-Hen-Chang (Ericsson, Hungary) and Milan Zoric (ETSI, France) on theme "Towards the Usage of MBT at ETSI".
Further information is available here. |
|
|
