Annual Report 2011
In 2011 the UniTESK technology began to be used to creation of test suits for verification of compliance with the standards for aircraft navigation system. Developing of the set of tools PyTESK implementing this technology in Python was started.

In addition researches on theoretical foundations of testing and methods of the automation test development were continued in the following projects:
  • Research and development of tests for devices of "Elbrus-2S" using UniTESK technology.
  • Development of the extensible system for dynamic analysis and testing of Linux kernel modules.
  • Verification of the implementation of extensible Internet protocols.
  • Development of the ABI Compliance Checker.
  • Development of automatic generator of basic unit tests for a shared C/C++ library.
  • Development of a platform for the integration and testing of perspective methods of verification of the component systems.
  • Development of workstation of the systems integrator.
  • System of management requirements Requality.
  • Verification of OS Linux drivers.
  • Creation of security system that provides safe execution of application in untrusted OS.
  • Development of standard LSB infrastructure.
  • Testing models of microprocessors.
  • Development of methods and tool support for the integration of large information systems.
  • Testing real-time OS.
  • Development of test sets for math libraries.

UniTESK tools development was targeted to support of the projects listed and overall quality improvement.

Monograph by Igor Burdonov «The Theory of Conformity (functional testing of the program systems based on formal models)» dedicated to methods of the testing of compliance the system to be examined with the specified requirements based on formal models was published in 2011.

Talks on results of research and projects conducted were given on the following conferences and workshops:

Microsoft  Summer School in Software Engineering and Verification 2011
International Space System Engineering Conference DASIA 2011
Spring Young Researchers Colloquium on Software Engineering (SYRCoSE 2011)
Open Cirrus Summit 2011
Eighth International Andrei Ershov Memorial Conference «Perspectives of System Informatics» (PSI 2011)
16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS-2011)
Model-based Testing User Conference 2011
LinuxCon Europe 2011
Google EMEA Scholars’ Retreat 2011
12th IEEE Latin-American Test Workshop (LATW 2011)
Google Summer of Code (GSoC 2011)
7th Workshop on Advances in Model Based Testing (A-MOST 2011)
IUPAC International Congress on Analytical Sciences (ICAS 2011)
IEEE International Conference on Software Testing, Verification and Validation (ICST 2011)
Yet another Conference (YAC-2011)
The 8th Conference of Free Software Developers
Softool Exhibition 2011
The Sixth Conference «Free Software for High School»
IX All-Russian Conference «IT Education in the Russian Federation»
The annual International  «Lomonosov» conference
54th MIPT Scientific Conference of «Problems of fundamental and applied sciences in modern information-oriented society»
Actual Problems of System and Program Engineering 2011

Copyright © 2014 Institute for System Programming of the Russian Academy of Sciences