Проект OLVER (Open Linux VERification)

Проект Open Linux VERification (OLVER) был основной активностью Центра верификации Linux в 2005-2006 гг. Главные цели проекта:

  • Проанализировать стандарт Linux Standard Base (LSB) Core 3.1 (ISO/IEC 23360-1) с целью выявления атомарных требований к поведению основных системных библиотек (секции III.Base Libraries и IV.Utility Libraries – всего 1532 функции).
  • Обнаружить неточности и ошибки в тексте стандарта LSB и связанных с ним стандартов и сообщать их оригинальным разработчикам для внесения изменений в будущие версии.
  • Разработать формальные спецификации на языке SeC (спецификационное расширение C), которые будут отражать требования стандарта LSB Core 3.1 для 1532 интерфейсных функций Linux.
  • Разработать открытый тестовый набор для функционального тестирования различных Linux систем на соответствие требованиям стандарта LSB Core в отношении поведения системных интерфейсов прикладного программирования Linux (см. Объект тестирования). Тестовый набор основывается на автоматической генерации тестов из формальных спецификаций требований и соответствующих тестовых сценариев (см. Технология UniTESK).
  • Разработать систему конфигурации и запуска тестов. Задача такой системы заключается в предоставлении удобных средств для настройки тестов по ряду параметров (например, глубина тестирования, опции целевой системы, выбор варианта поведения из нескольких, допустимых стандартом) и визуализации результатов тестирования с указанием на расхождения с конкретными требованиями стандарта. Использование такой системы раскрывает потенциал технологии UniTesK по относительно легкой адаптации тестов на различные условия использования (например, для работы в урезанной встраиваемой системе или, наоборот, для учета расширенных требований к корпоративным задачам).

Результаты проекта OLVER были включены в официальный набор сертификационных тестов на соответствие стандарту LSB и распространяются с веб-ресурсов Linux Foundation.

Исходные и бинарные коды OLVER Core

Публичный репозиторий исходного кода тестового набора расположен на сайте Linux Foundation.

Бинарные сборки доступны на FTP сервере Linux Foundation.

Для традиционных дистрибутивов Linux рекомендуемым способом запуска тестов OLVER является использование Linux Distribution Checker. Для тестирования встроенных систем может потребоваться использовать встроенные возможности для распределённого тестирования. Примером использования таких возможностей является плагин для Eclipse, предназначенный для запуска тестов OLVER на встроенных системах, который был разработан в ETRI (Южная Корея).

Документация по OLVER Core

Файл Версия Описание
OLVER Readme 1.4 OLVER Readme файл содержит краткую информацию по установке, сборке и запуску тестов OLVER Core.
Отчеты OLVER: справочное руководство PDF 1.0 Описание различных отчетов, генерируемых тестами OLVER Core по результатам запуска.
Тестирование на основе формальных спецификаций: быстрое знакомство PDF 1.0 Описание архитектуры тестового набора OLVER Core, а также методики формализации требований и разработки формальных спецификаций.
»