News

The first ever Linux Foundation Collaboration Summit took place from June 13 through 15 at Google's Mountain View Campus in the Silicon Valley, California, USA. This unique, invitation-only event brought together the key specialists in the Linux ecosystem to discuss where Linux is, where it needs to go and how we can all help get it there.

Representatives of Linux Verification Center Alexey Khoroshilov and Vladimir Rubanov were invited to this event to report the progress and to discuss further developments in the LSB Infrastructure program, which is run by the Linux Verification Center under a contract between ISP RAS and the Linux Foundation.

Linux Verification Center has been presented at CeBIT 2007, Hannover, Germany, March 14-21. Our booth was a part of the consolidated exposition of the Russian Ministry for Science and Education (Hall #6, Stand A48).

We would like to thank all our colleagues whom we had a chance to talk at the event. Looking forward to our continuing collaboration.

OLVER Core 1.1 maintenance release has been published with additional support for IA64 (Itanium) architecture. Also we have successfully checked the tests on the Debian 4.0 "etch" system.

Please use the usual links for browsing OLVER project results:

• a requirements catalog for all 1532 functions of the LSB Core 3.1;
• formal specifications in normal quality for 1270 functions of the LSB Core 3.1;
• formal specifications in minimal quality for 260 functions of the LSB Core 3.1;
• reports on the possible issues found by the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for math.integer group of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• The full OLVER Core test suite release including source code and documentation.

Linux Verification Center is finishing the active stage of the project for formalizing LSB Core 3.1 standard and developing a corresponding open source conformance test suite. OLVER Core 1.0 release is ready now. Statistics and specifications have been updated and supplemented as of December 29, 2006:

• a requirements catalog for all 1532 functions of the LSB Core 3.1;
• formal specifications in normal quality for 1270 functions of the LSB Core 3.1;
• formal specifications in minimal quality for 260 functions of the LSB Core 3.1;
• reports on the possible semantic issues found by the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• The full OLVER Core test suite release including source code and documentation.

OLVER 1.0 Release Candidate is ready. Statistics and specifications have been updated and supplemented as of November 30, 2006:

• a requirements catalog for all 1532 functions of the LSB Core 3.1;
• formal specifications in normal quality for 1270 functions of the LSB Core 3.1;
• formal specifications in minimal quality for 260 functions of the LSB Core 3.1;
• additional reports on the possible semantic issues found by the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• current snapshot of all the source code and specifications being developed that shows the current status of the project.

Methods for formalization of SW interface standards and automatic generation of conformance tests that are used in the OLVER project presented at the Software Engineering Conference Russia (SECR 2006). You can view abstract in English of the paper presented (the original report and the paper are in Russian at linuxtesting.ru).

Linux Verification Center released a new version of the LSB Core 3.1 conformance testsuite - OLVER 0.9. Statistics and specifications have been updated and supplemented as of November 07, 2006:

• a requirements catalog for 1469 functions of the LSB Core 3.1;
• formal specifications for 1259 functions of the LSB Core 3.1;
• additional reports on the possible semantic issues found by the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• current snapshot of all the source code and specifications being developed that shows the current status of the project. At the present, the OLVER suite contains basic specifications and test scenarios for more than 1200 functions.

Linux Verification Center released a new version of the LSB Core 3.1 conformance testsuite - OLVER 0.8. Statistics and specifications have been updated and supplemented as of October 03, 2006:

• a requirements catalog for 1376 functions of the LSB Core 3.1;
• formal specifications for 1155 functions of the LSB Core 3.1;
• additional reports on the possible semantic issues found by the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• current snapshot of all the source code and specifications being developed that shows the current status of the project. At the present, the OLVER suite contains basic specifications and test scenarios for more than 1100 functions.

Results of the Linux Verification Center's OLVER project have been updated and supplemented as of August 31, 2006:

• a requirements catalog for 1245 functions of the LSB Core 3.1;
• formal specifications for 1090 functions of the LSB Core 3.1;
• additional examples of the possible semantic issues found by the members of the Center in the text of LSB 3.1 and POSIX standards;
• demo examples of the tests for selected groups of functions with annotated examples that allow understanding the technologies used and the architecture of the OLVER test suite;
• current snapshot of all the source code and specifications being developed that shows the current status of the project. At the present, the OLVER suite contains basic specifications and test scenarios for more than 1000 functions.

Linux Verification Center (linuxtesting.org) invites all interested parties to visit our booth (#2145) at the LinuxWorld Moscow 2006 event, September 4-5, 2006.

Please also see our representatives at the LinuxWorld conference sessions:

• 4 September, 14:00. "UniTESK: Advanced Technology for API Verification". Dr. Alexander Petrenko, LVC Chief Scientific Advisor.
• 5 September, 13:30. "Open Testing - the Key Success Factor for Open Standards". Vladimir Rubanov, LVC Project Manager.