News

Representatives of the Linux Verification Center - Alexander Petrenko, Vladimir Rubanov, Alexey Grinevich, Alexey Khoroshilov and Denis Markovtsev are visiting Linux World Conference & Expo in San Francisco, CA, USA, August 14-17. Everybody interested are welcome to contact us before or during this event to appoint a face to face meeting.

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

• a requirements catalog for 1041 functions of the LSB Core 3.1;
• formal specifications for 838 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 800 functions.

OLVER project was presented at the PSI'06 international conference as a part of the "Formal Methods in Enforcement of Industrial Software Standards" talk. The conference was held 26-30 June, 2006 in Academgorodok, Novosibirsk, Russia.

Presentation slides are available here (.pdf).

By invitation of Free Standards Group's Executive Director Jim Zemlin and CTO Ian Murdok, Linux Verification Center took part in the LSB Summit, Boston, USA, June 1-2, 2006.

This was a face-to-face meeting of LSB Workgroup and interested companies from the Linux world to discuss the roadmap for further development of Linux Standard Base (LSB) standard (list of participants can be found here).

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

• a requirements catalog for 930 functions of the LSB Core 3.1;
• formal specifications for 742 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 700 functions.

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

• a requirements catalog for 635 functions of the LSB Core 3.1 including SUSv3 requirements, for which we have just got permission from IEEE and The Open Group to publish;
• formal specifications for 506 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 500 functions.

IEEE and The Open Group grant permission for Linux Verification Center to excerpt and reuse text from the jointly copyrighted IEEE Std 1003.1, 2004 Edition (POSIX), The Open Group Base Specifications Issue 6 Standard in the OLVER project. Teh standard forms the core of Single Unix Specification Version 3 (SUSv3), which is the main base standard of LSB Core 3.1. Quotations from it are used in OLVER specifications and requirements catalog

Representatives of the Linux Verification Center Denis Markovtsev and Alexey Khoroshilov visited the LinuxWorld Conference & Expo - Boston, USA, April 3 - 6, 2006. They made a presentation about the Linux Verification Center's activities for executive and technical representatives from the Free Standards Group (FSG), IBM Linux Technology Center and Linux Test Project (LTP). The feedback from these leaders and the established contacts will help to smoothly integrate the OLVER project into the world-wide community.

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

• a requirements catalog for 425 functions of the LSB Core 3.1;
• formal specifications for 330 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 specifications and test scenarios for about 450 functions that are in various stages of implementation.

The first intermediate results of the OLVER project are presented at the web-site of the Linux Verification Center:

• a requirements catalog for 223 functions of the LSB Core 3.1;
• formal specifications for the aforementioned 223 functions of the LSB Core 3.1;
• selected 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 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 suite contains specifications and test scenarios for about 350 functions that are in various stages of implementation.