30-Nov-2006: OLVER 1.0 Release Candidate

News

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.

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