27.06.2008: OLVER Core 1.4
Выпущена очередная версия тестов OLVER Core 1.4 с улучшенным тестовым покрытием. См. детальный список изменений ниже.
Используйте следующие сссылки для просмотра текущих результатов проекта:
- систематизированный каталог требований LSB Core 3.1 для всех 1532 архитектурно независимых функций LSB Core 3.1;
- формальные спецификации в базовом качестве для 1450 функций LSB Core 3.1;
- формальные спецификации в минимальном качестве для 80 функций LSB Core 3.1;
- список выявленных сотрудниками Центра проблемных мест в тексте стандарта LSB Core 3.1 и связанного с ним стандарта POSIX;
- демонстрационные примеры исполняемых тестов для избранных групп функций с аннотированными примерами, позволяющие разобраться в используемой технологии и архитектуре тестового набора;
- бинарные и исходные коды разрабатываемого тестового набора OLVER. На данный момент в набор включены тесты для 1530 функций (см. список спецификаций онлайн).
Мы оказываем бесплатную поддержку всем некоммерческим пользователям тестов OLVER Core. Пожалуйста, обращайтесь к нам, если у вас есть проблемы с использованием наших результатов, а также если у вас есть любые комментарии и замечания по деятельности Центра.
Изменения в OLVER Core 1.4
- Завершено формирование каталога требований. Все требования стандарта LSB Core 3.1, предъявляемые к прикладному бинарному интерфейсу ОС Linux, идентифицированы и помещены в каталог.
- Улучшено качество тестирования следующих подсистем:
- io.fstream.buffer;
- io.fstream.lock;
- io.fstream.wstream;
- io.multiplex;
- locale.ctrans;
- locale.ctype;
- locale.nlcat;
- locale.wctrans;
- locale.wctype;
- ncurses.terminal.termcap;
- process.context;
- process.goto;
- signal.sigctrl;
- signal.sigstr;
- signal.sigwait;
- system.stat;
- util.conversion.strreal;
- util.pam.
- Новые проблемы в стандартах и реализациях были обнаружены, исследованы, описаны на сайте нашего Центра и сообщены соответствующим разработчикам.