Linux Verification Center - News

30-Dec-2009: OLVER Core Release 1.5

Thu, 31 Dec 2009 00:03:09 +0300

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.

31-Aug-2009: ABI Compliance Checker Announced

Mon, 31 Aug 2009 13:53:02 +0400

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.

12-Jun-2009: A New Program of the Linux Verification Center to Be Announced at PSI'09

Thu, 18 Jun 2009 20:25:39 +0400

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.

08-May-2009: Web site reconstruction

Mon, 11 May 2009 11:58:55 +0400

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.

15-Apr-2009: Linux Verification Center at the Linux Foundation Summit 2009

Mon, 11 May 2009 11:54:03 +0400

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

27-Jun-2008: OLVER Core Release 1.4

Tue, 01 Jul 2008 18:35:54 +0400

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.

28-Dec-2007: OLVER Core 1.3

Fri, 28 Dec 2007 15:39:58 +0300

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.

16-Oct-2007: Markus Rex (LF CTO) at ISPRAS

Fri, 02 Nov 2007 17:45:43 +0300

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.

29-Sept-2007: Linux Verification Center at SofTool 2007 & SITOP 2007

Fri, 02 Nov 2007 17:32:04 +0300

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.

21-Jun-2007: OLVER Core 1.2

Thu, 21 Jun 2007 11:29:09 +0400

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.

18-Jun-2007: Linux Verification Center at the Linux Foundation Summit

Wed, 20 Jun 2007 19:47:00 +0400

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.

22-Mar-2007: Linux Verification Center at CeBIT 2007

Mon, 12 Mar 2007 18:30:17 +0300

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.

31-Jan-2007: OLVER Core 1.1 with IA64 Support

Mon, 05 Feb 2007 18:08:57 +0300

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.

29-Dec-2006: OLVER Core 1.0 Release

Fri, 29 Dec 2006 15:35:26 +0300

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.

30-Nov-2006: OLVER 1.0 Release Candidate

Thu, 30 Nov 2006 19:00:43 +0300

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.