28-Dec-2007: OLVER Core 1.3

News

OLVER Core 1.3 maintenance release has been published with full set of 7 LSB architectures supported and many improvements in testing quality and usability (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 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 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.3 Release Notes

  1. All 7 LSB architectures (IA32, IA64, x86_64, PPC32, PPC64, s390, s390x) are supported now. It is possible now to build and run OLVER on any of these architectures.
  2. More subsystems are implemented in better testing quality: io.fstream.fstream, util.format.money, util.format.wtime.
  3. Mathematical functions testing quality is improved.
  4. OLVER is much more stable now.
  5. New coverage definitions are added.
  6. Several problems in requirements (bad names, double requirements etc.) are removed.
  7. TODO_ERR and ERROR_SHALL3/MAY3(Unknown_Bool3) do not get to a trace during tests execution now.
  8. Usuability of OLVER is improved: su/sudo commands are supported when executing commands that require root priviledges now, run prerequisites check is improved, build prerequisites check is introduced.
  9. Many known bugs in LSB and distributions are reported and described in detail with examples. References to these descriptions can be found directly in OLVER summary report.
  10. OLVER is based on the latest version of CTesk 2.4 now.
  11. It is possible to use IBM Java 5 or later now, not only Sun Java as it was in 1.2.
  12. Several cosmetic fixes in sources were performed: extra tabs were removed, unused code was dropped off, comments were added and so on.