The version 2.3 of JavaTESK tool supporting UniTESK test development for Java software is released.

The main changes are:

• Modelling of asynchronous interactions made more flexible.
  Expect event statement introduced for rapid development TTCN-like tests.
  Manahement of model state improved.
• Generation of documentation from javadoc-comments in specifications implemented.
• In test reports failures are structured, known (found and added to database) failures are separated from new ones.
• In test reports representation of objects is improved (for example, method's parameters and return values).

JavaTESK 2.3 can be downloaded on the Downloads page.

In 2008 UniTESK technology was widely used for creation of test suites for standard conformance testing. The following projects were the biggest ones.

• Linux Standard Base conformance test suite development and maintenance.
• Test development for POSIX-compliant real time operating system.
• Test development for embedded systems meeting the requirements of ARINC-653.

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

The research in the following directions was conducted: theoretic foundations of testing, test development automation methods for telecommunication protocols and distributed software, testing methods for pipelined microprocessors and their units, test construction methods for mathematical libraries. The project on Linux driver verification toolset was going on.

3 of our colleagues have upheld theses this year.

• I. B. Burdonov — Doctor of Science degree on the theme «Conformance theory for functional model-based software testing».
• V. V. Rubanov — PhD degree on the theme «Automation of toolset construction for software development for extensible embedded systems».
• A. S. Kamkin — PhD degree on the theme «Pipelined microprocessor simulation testing automation method based on formal specifications».

The book of I. B. Burdonov, A. S. Kossatchev, and V. V. Kuliamin «Conformance testing theory for systems with refused inputs and forbidden actions» concerning theoretical foundations of distributed system testing was also published in 2008.

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

• EclipseCon 2008
• Cybernetics and High Technologies of XXI Century
• SYRCoSE 2008
• FATES/TESTCOM 2008
• DATE 2008
• Methods and Tools of Information Security Assurance
• 5-th Protva Conference of Free Software Developers
• 6-th IEEE East-West Design & Test Workshop
• OpenCert 2008
• ISOLA 2008
• 15-th International Conference on Contemporary Problems of Applied Mathematics and Computer Science
• SITOP 2008
• SECR 2008
• 4-th International Conference SQA Days 2008, Minsk
• 51-st Scientific Conference of MPTI
• AgileDays