News

OLVER Core 1.3 maintenance release has been published with full set of 7 LSB architectures supported and many improvements in testing quality and usability (see detailed release notes below).

Please use the usual links for browsing OLVER project results:

• a requirements catalog for all 1532 generic 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.

Markus Rex (CTO of Linux Foundaion, Vice President of Novell) is visiting ISP RAS for October 18-19. On October 18, Markus will deliver a talk at ISP RAS on the following topics:

• Linux from the view of a distributor
• SUSE automated build system
• Early history of Linux, SUSE, Caldera and Redhat, and how Enterprise Linux distributions came along.

Everybody is invited. The talk is at 15:00 at the 110 room of ISP RAS.

Linux Verification Center (linuxtesting.org) invites all interested parties to visit our booth at the SofTool 2007 event, October 2-5, 2007. Our booth is at the exibition area of the Russian Academy of Sciences.

Also, we invite to attend the talks of our representatives Vladimir Rubanov and Alexey Khoroshilov at the colocated SITOP 2007 (Standardization of Information Technologies and Interoperability) conference.

• 3 October. "Linux Standard Base (LSB) - the Single Platform for Linux Applications". Vladimir Rubanov, LVC Project Manager.
• 3 October. "Formal Description of Interfaces for Improving Interoperability". Alexey Khoroshilov, LVC Lead Architect.

OLVER Core 1.2 maintenance release has been published with source code revisited and cleaned up. We have extended the database of known errors discovered by the tests, which now contains more than a hundred detailed descriptions of mistmatches of various ditributions with LSB Core.

Please use the usual links for browsing OLVER project results:

• a requirements catalog for all 1532 generic 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.

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).