Тестовый набор OLVER для LSB Core

Тестовый набор OLVER Core представляет собой исполняемый программный комплекс, предназначенный для проверки соответствия поведения архитектурно независимых системных интерфейсов Linux требованиям стандарта LSB Core. Тесты, входящие в состав тестового набора, генерируются автоматически на основании формальных спецификаций требований и тестовых сценариев (см. процесс разработки тестов).

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

Доступны здесь.

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

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

Мы будем признательны вашим отзывам, пожалуйста свяжитесь с нами, если у вас есть любые замечания или пожелания по деятельности или результатам работы Центра.