Тестовый набор OLVER для LSB Core 3.1
Тестовый набор OLVER Core представляет собой исполняемый программный комплекс, предназначенный для проверки соответствия поведения архитектурно независимых системных интерфейсов Linux требованиям стандарта LSB Core 3.1. Тесты, входящие в состав тестового набора, генерируются автоматически на основании формальных спецификаций требований и тестовых сценариев (см. процесс разработки тестов).
Исходные и бинарные коды OLVER Core
Последний релиз OLVER Core (декабрь 2009 г.) содержит тесты для 1530 функций (из них для 80 функций минимальные тесты). См. таблицу online спецификаций со списком конкретных функций. Подробный список изменений опубликован здесь.
| Файл | Версия | Описание |
|---|---|---|
| olver-core-1.5-0.src.tgz (15 Mb) | 1.5 | Исходные коды тестового набора OLVER Core (для целей просмотра спецификаций и тестовых сценариев, а также для сборки и отладки бинарной версии). См. Readme файл после распаковки. |
| Двоичные пакеты | ||
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры x86 (IA32). См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры x86_64 (AMD64). См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры IA64 (Itanium). См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры PowerPC 32. См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры PowerPC 64. См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры IBM S390. См. /opt/olver/README после инсталляции. | |
| 1.5 | Тестовый набор OLVER Core в виде собранного дистрибутива RPM для архитектуры IBM S390X. См. /opt/olver/README после инсталляции. | |
Документация по OLVER Core
| Файл | Версия | Описание |
|---|---|---|
| OLVER Readme | 1.4 | OLVER Readme файл содержит краткую информацию по установке, сборке и запуску тестов OLVER Core. |
Отчеты OLVER: справочное руководство  | 1.0 | Описание различных отчетов, генерируемых тестами OLVER Core по результатам запуска. |
| Тестирование на основе формальных спецификаций: быстрое знакомство | 1.0 | Описание архитектуры тестового набора OLVER Core, а также методики формализации требований и разработки формальных спецификаций. Изложение ведется на примере функций группы math.integer. |
Внимание: тестовый набор OLVER был проверен на следующих дистрибутивах и аппаратных платформах:
- SuSE Linux Enterprise Server 11.0 на архитектурах x86 и x86-64
- SuSE Linux Enterprise Server 10.0 на архитектурах IA64, PPC32, PPC64, s390, s390x
- RedHat Enterprise Linux 5 Update 4 на архитектуре x86 и RedHat Enterprise Linux 4 Update 4 на архитектуре x86-64
- Debian GNU/Linux 5.0 (Lenny) на архитектурах x86, x86-64
- Ubuntu 9.10 на архитектуре x86
- Fedora 10 и 12 на архитектуре x86
- Moblin 2.1 на архитектуре x86
- openSuSE 11.2 на архитектуре x86-64
Мы будем признательны вашим отзывам, пожалуйста свяжитесь с нами, если у вас есть любые замечания или пожелания по деятельности или результатам работы Центра.