News

Linux Driver Verification: Google Summer of Code 2010 project was merged to master

Added by Pavel Shved over 10 years ago

In the summer 2010, a Google Summer of Code 2010 project titled "Linux Device Drivers Quality Inspector" was developed for The Linux Foundation. Its developer was Andrey Tretyakov, and it was mentored by Alexey Khoroshilov. Within this project, an infrastructure to track changes in Linux Kernel's Git repository was developed, and the code called LDV tools as a "black box". The project was successfully completed and stashed.

We're glad to announce that the code developed during the program was merged into the master (trunk) branch of our project, and is now integrated with the rest of our toolset. You may find this code in revision 51e0ca2, or browse the repository. The component is now named "LDV-Git", and the code is now maintained by the LDV team (see bugs in LDV-Git in our bug tracker).

We'd like to thank Google and Andrey for their support.

Local Support Project: redmine 1.0.2

Added by Alexey Demakov over 10 years ago

Redmine updated to 1.0.2.stable.4264. Please report if you find any problems.

Aspectrace: Выпущен релиз 0.21.22-alpha-100420

Added by Sergey Groshev about 11 years ago

Сделана единая модель источников трассы, работающих в режимах PUSH и PULL.
Добавлена передача XML-трассы по TCP-соединению (реализованы отправка на C/CTESK и приём на Java).
Реализована генерация отчётов о больших структурах покрытия во множество файлов.

Aspectrace: Выпущен релиз 0.20.1-alpha-100226

Added by Sergey Groshev about 11 years ago

Структура проектов Aspectrace и Coverage реорганизована для простоты сборки проектов с помощью Ant и Eclipse и развёртывания полученной поставки. В поставку Aspectrace теперь входят все нужные для её работы библиотеки, включая Coverage.

В оба проекта внесено множество мелких дополнений (в том числе к документации), изменений и исправлений.

Реализована инфраструктура шины сообщений, предоставляющая следующие возможности:
- Организация единого потока сообщений, распределяемых из множества источников ко множеству потребителей. В качестве источника может выступать в том числе обычный трассировщик Aspectrace (и не только), а в качестве потребителей - в том числе стандартные анализаторы, состоящие из аспектных адаптеров и подключённых к ним обработчиков аспектных сообщений (и не только).
- Динамическая фильтрация и преобразование потока сообщений.
- Построение мостов между шинами сообщений. С помощью таких мостов возможна в том числе отправка «на лету» всей информации, трассируемой в одних узлах сети, в анализаторы, работающие на других.
Разработана единая модель для потоков сообщений с собственным активным потоком управления и без него.
Добавлены примеры, работающие с пакетом Coverage. Показаны способы использования аспектного трассировщика CoverageTracer и подсистемы описываемых на Java (с помощью аннотаций @Coverage и класса CoverageBase) классов покрытий.