OLVER Test Suite for LSB Core 3.1

OLVER Core test suite performs functional and conformance testing of programming interfaces of the main Linux system libraries against the LSB Core 3.1 requirements. The tests are generated automatically from test scenarios and formal specifications of the requirements (see Test Development Process).

OLVER Core Binaries and Sources

The latest (December 30, 2009) OLVER Core release contains specifications and tests in normal (1450 functions) and minimal (80 functions) quality (see online specifications for the list of specific functions). Please see detailed release notes.

FileVersionDescription
olver-core-1.5-0.src.tgz (15 Mb)1.5The latest public snapshot of the OLVER Core test suite sources (for viewing specifications and test scenarios as well as for debugging the binaries).
olver-core-1.5-0.i486.rpm (26 Mb)1.5RPM binary package of the OLVER Core test suite for x86 (IA32) architecture. Please see /opt/olver/README file after installation.
olver-core-1.5-0.x86_64.rpm (26 Mb)1.5RPM binary package of the OLVER Core test suite for x86_64 (AMD64) architecture. Please see /opt/olver/README file after installation.
olver-core-1.5-0.ia64.rpm (30 Mb)1.5RPM binary package of the OLVER Core test suite for IA64 (Itanium) architecture. Please see /opt/olver/README file after installation.
olver-core-1.5-0.ppc.rpm (26 Mb)1.5RPM binary package of the OLVER Core test suite for PowerPC 32 architecture. Please see /opt/olver/README file after installation.
olver-core-1.5-0.ppc64.rpm (27 Mb)1.5RPM binary package of the OLVER Core test suite for PowerPC 64 architecture. Please see /opt/olver/README file after installation.
olver-core-1.5-0.s390.rpm (27 Mb)1.5RPM binary package of the OLVER Core test suite for IBM S390 architecture. Please see /opt/olver/README file after installation.
olver-core-1.5.s390x.rpm (28 Mb)1.5RPM binary package of the OLVER Core test suite for IBM S390X architecture. Please see /opt/olver/README file after installation.

OLVER Core Documentation


FileVersionDescription
OLVER Readme1.4OLVER Readme file contains brief information on how to install, build and execute OLVER tests.
OLVER Reports: Reference Guide PDF1.0Description of the various test reports generated by the OLVER Core test suite.
math.integer: Getting Started PDF1.1Description of the test suite architecture and some technical aspects of requirements formalization and specifications development by the example of math.integer functions.

Please note: OLVER Core has been checked on the following Linux distributions and platforms:

  • SuSE Linux Enterprise Server 11.0 on x86 and x86-64
  • SuSE Linux Enterprise Server 10.0 on IA64, PPC32, PPC64, s390, s390x
  • RedHat Enterprise Linux 5 Update 4 on x86 and RedHat Enterprise Linux 4 Update 4 on x86-64
  • Debian GNU/Linux 5.0 (Lenny) on x86 and x86-64
  • Ubuntu 9.10 on x86
  • Fedora 10 and 12 on x86
  • Moblin 2.1 on x86
  • openSuSE 11.2 on x86-64

We appreciate your opinion. Please, contact us if you have any comments on the Center's activities or results.