07-Jul-2006: OLVER 0.5 Released with More Distributives Support

News

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.

In this version, we have ensured that the tests run on the following systems:

  • RedHat Enterprise Linux 4 Update 2
  • SuSE 10.0
  • Mandriva 2006

We thank all those enthusiasts who provided feedback and comments regarding our results and activities. We welcome everybody to check the results and comment.