29-Dec-2006: OLVER Core 1.0 Release

News

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.

Since January 2007, the OLVER Core project is in maintenance stage. We welcome everybody to check the results and comment. We will provide free of charge support for everybody using our results.