Requirements and Specifications of LSB Core 3.1 Interfaces

This section contains the catalog of extracted requirements for the LSB Core 3.1 interface functions and the corresponding formal specifications. The specifications are written in the SeC language, which is a specification extension of C. They are used for automatic test generation (more), but they are also valuable by themselves as commentaries to the LSB standard text.

Currently, this section contains the following results for LSB Core 3.1 interfaces:

• formal specifications of normal quality for 1270 functions;
• formal specifications of minimal quality for 260 functions;
• the requirements catalog for 1532 functions.

Information is given in the following alternative representations:

• Functions in alphabetical order
• Functions grouped by LSB section
• Functions grouped by function group

You can see the list of functional groups defined for the LSB Core 3.1 standard by Linux Verification Center specialists.