OLVER Project Results Overview
The key results of the OLVER project are:
- An online catalog of atomic requirements (see Specifications) extracted from LSB Core 3.1 and related standards. Each requirement includes an identifier, a reference to the original standard and a quotation from the standard’s text describing the requirement.
- Supplements to the LSB Core 3.1 Standard in the form of formal specifications in SeC language – (Specification extension of C). Such specifications will express the standard’s requirements formally and thus clarify any vague and ambiguous statements in the standard’s text, and also highlight implicit constraints. The specifications will be used as a basis for the generation of the corresponding tests. They will be also valuable by themselves as commentaries to the LSB standard text.
- A list of remarks on the text of LSB and related standards such as POSIX. Such comments will include references to potential unclear, ambiguous, contradictory, or erroneous text in the standards. All remarks will be reported back to the appropriate standard bodies to permit the incorporation of necessary changes in the future versions.
- OLVER test suite for functional and conformance run-time testing of the Linux API covered by LSB Core 3.1 (1532 functions). The test suite will complement existing test suites, while providing greater depth and breadth coverage and, at the same time, provide ease of maintainability as a result of the automated generation of tests. The tests will report which requirements of the standard were actually tested and whether they are met or not.
Currently, the project is in the maintenance status.
The results are distributed under the free Apache License 2.0.