28.12.2007: OLVER Core 1.3
Выпущена очередная версия тестов OLVER Core 1.3 с улучшенным тестовым покрытием и поддержкой всех 7ми аппаратных архитетур LSB. См. детальный список изменений ниже.
Используйте следующие сссылки для просмотра текущих результатов проекта:
- систематизированный каталог требований LSB Core 3.1 для всех 1532 архитектурно независимых функций LSB Core 3.1;
- формальные спецификации в базовом качестве для 1270 функций LSB Core 3.1;
- формальные спецификации в минимальном качестве для 260 функций LSB Core 3.1;
- список выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB Core 3.1 и связанного с ним стандарта POSIX;
- демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестового набора;
- бинарные и исходные коды разрабатываемого тестового набора OLVER. На данный момент в набор включены тесты для 1530 функций (см. список спецификаций онлайн).
Мы оказываем бесплатную поддержку всем некоммерческим пользователям тестов OLVER Core. Пожалуйста, обращайтесь к нам, если у вас есть проблемы с использованием наших результатов, а также если у вас есть любые комментарии и замечания по деятельности Центра.
Изменения в OLVER Core 1.3
- Введена поддержка всех 7ми аппаратных архитектур LSB (IA32, IA64, x86_64, PPC32, PPC64, s390, s390x).
- Улучшено качество тестирвоания следующих подсистем: io.fstream.fstream, util.format.money, util.format.wtime.
- Улучшено качество тестирования математических функций.
- Введены новые определения блоков coverage.
- Многие из проблем в требованиях исправлены (неправильные имена, дублирование требований и т.д.).
- TODO_ERR и ERROR_SHALL3/MAY3(Unknown_Bool3) теперь не попадают в трассу при выполнении тестов.
- Улучшен запрос привелегий суперпользователя - теперь можно использовать комманды su/sudo; также улучшены проверки зависимостей перед выполнением и сборкой тестов OLVER.
- Известные проблемы в LSB и реализациях опубликованы на сайте Центра. Ссылки на них можно найти непосредственно в отчетах OLVER.
- OLVER теперь использует последнюю версию CTesk.
- Теперь можно использовать IBM Java 5 или более позднюю, а не только Sun Java как было в версии 1.2.
- Было произведено несколько косметических чисток кода: убраны ненужные табуляции, убран мертвый код, добавлены комментарии и т.д.