27-Jun-2008: OLVER Core Release 1.4

News

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.

We welcome everybody to check the results and comment. We will provide free of charge support for everybody using our results in non-commercial purposes.

OLVER 1.4 Release Notes

  1. Requirements catalogue has been completely finished: all the requirements of the LSB Core 3.2 are identified, delineated and placed into the catalogue.
  2. More subsystems implemented in good testing quality:
    • io.fstream.buffer;
    • io.fstream.lock;
    • io.fstream.wstream;
    • io.multiplex;
    • locale.ctrans;
    • locale.ctype;
    • locale.nlcat;
    • locale.wctrans;
    • locale.wctype;
    • ncurses.terminal.termcap;
    • process.context;
    • process.goto;
    • signal.sigctrl;
    • signal.sigstr;
    • signal.sigwait;
    • system.stat;
    • util.conversion.strreal;
    • util.pam.
  3. New bugs in LSB and Linux distributions detected, investigated, described at the linuxtesting.org site and reported to the appropriate bodies.