News

OLVER Core 1.5 release has been published with improvements in test reports and testing quality (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 1450 functions of the LSB Core 3.1;
• formal specifications in minimal quality for 80 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 at the Institute for System Programming of RAS announces the public availability of ABI Compliance Checker, a new tool ensuring Application Binary Interface (ABI) compatibility of different versions of a C or C++ library. The tool is aimed at helping upstream developers and distribution maintainers to make sure that any application compiled with an old version of the library will work with a newer version. ABI Compliance Checker tests whether set of public interfaces, number or data types of parameters passed to functions have changed between two versions of the library. We recommend this tool to all developers who are interested in providing libraries with stable ABI.

Goals and content of the Program will be presented by Alexey Khoroshilov in the talk "Establishing Linux Driver Verification Process" at the Seventh International Andrei Ershov Memorial Conference «PERSPECTIVES OF SYSTEM INFORMATICS» PSI'09, which takes place June 15-19, 2009 in Academgorodok, Novosibirsk, Russia.

Also Victor Kuliamin will discuss issues of standardization and testing of mathematical functions at the conference.

Everybody interested are welcome to contact us before or during this event to appoint a face to face meeting.

We have started reconstruction and contents update of the Linux Verification Center's web site. The planned date to launch the new site is the end of 2009.

The third Linux Foundation Collaboration Summit 2009 took place April 08-10, 2009 in San-Francisco, USA. This unique, invitation-only event brought together 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.

Representative of the Linux Verification Center Vladimir Rubanov took part in this event as the manager of the LSB Infrastructure program, which is run by the Linux Verification Center under a contract between ISP RAS and the Linux Foundation. The program is o

OLVER Core 1.4 release has been published with improvements in testing quality (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 1450 functions of the LSB Core 3.1;
• formal specifications in minimal quality for 80 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.

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.