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 28, 2007) OLVER Core release contains specifications and tests in normal (1270 functions) and minimal (260 functions) quality (see online specifications for the list of specific functions). Please see detailed release notes.
| File | Version | Description |
|---|---|---|
| olver-core-1.3.tar.gz (9 Mb) | 1.3 | The latest public snapshot of the OLVER Core test suite sources (for viewing specifications and test scenarios as well as for debugging the binaries). |
| 1.3 | RPM binary package of the OLVER Core test suite for x86 (IA32) architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for x86_64 (AMD64) architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for IA64 (Itanium) architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for PowerPC 32 architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for PowerPC 64 architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for IBM S390 architecture. Please see /opt/olver/README file after installation. | |
| 1.3 | RPM binary package of the OLVER Core test suite for IBM S390X architecture. Please see /opt/olver/README file after installation. |
OLVER Core Documentation
| File | Version | Description |
|---|---|---|
| OLVER Readme | 1.3 | OLVER Readme file contains brief information on how to install, build and execute OLVER tests. |
OLVER Reports: Reference Guide  | 1.0 | Description of the various test reports generated by the OLVER Core test suite. |
| math.integer: Getting Started | 1.1 | Description 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 10.0 on IA32, IA64, PPC32, PPC64, s390, s390x hardware architectures
- RedHat Enterprise Linux 4 Update 2 on IA32 and x86_64 architectures
- Debian GNU/Linux 4.0 'etch' on IA32, IA64, PPC32 architectures
- Ubuntu 6.06 LTS on IA32 architecture
- Mandriva Linux 2006 on IA32 architecture
- Fedora release 8 (Werewolf) on IA32 architecture
We appreciate your opinion. Please, contact us if you have any comments on the Center's activities or results.