Требования и спецификации функций LSB Core 3.1

В этом разделе можно ознакомиться с каталогом выделенных нами требований к интерфейсным функциям LSB и с соответствующими им формальными спецификациями. Спецификации представлены в виде файлов на языке SeC — спецификационном расширении языка C. Эти файлы используются в процессе автоматической генерации тестов (подробнее), но представляют и самостоятельную ценность как дополнение к тексту стандарта.

В данный момент здесь опубликованы следующие результаты для функций стандарта LSB Core 3.1:

• базовые формальные спецификации для 1450 функций;
• минимальные формальные спецификации для 80 функций;
• каталог требований для 1532 функций.

Информация дается в следующих альтернативных представлениях:

• Список функций по алфавиту
• Список функций, сгруппированных по разделам LSB
• Список функций, сгруппированных по функциональным группам

Кроме того, можно ознакомиться со списком функциональных групп, выделенных специалистами Центра во время анализа стандарта LSB Core 3.1.