Linux Verification Center - News

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.

17-Nov-2006: OLVER Presented at SECR 2006

Fri, 17 Nov 2006 17:44:51 +0300

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

08-Nov-2006: OLVER 0.9 Released with Improved Coverage

Wed, 08 Nov 2006 18:26:06 +0300

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.

03-Oct-2006: OLVER 0.8 Released with Extended Test Scenarios

Tue, 03 Oct 2006 18:12:30 +0400

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.

31-Aug-2006: OLVER 0.7 Released with Improved Execution Control

Fri, 01 Sep 2006 17:52:18 +0400

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.

28-Aug-2006: Linux Verification Center at the LinuxWorld Moscow

Mon, 28 Aug 2006 12:12:03 +0400

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.