Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-04-04T10:00:05ZOpen-Source Projects
Redmine Runtime Verification - [FEATURE] #12321 (Open): Генерацию тестов для ядра операционной системы по...https://forge.ispras.ru/issues/123212023-04-04T10:00:05ZDenis Efremovefremov@ispras.ru
<pre>
( ) Генерацию тестов для ядра операционной системы по непокрытым состояниям модели (~6 месяцев)
( ) генерация самых простых случаев (месяц)
( ) Пересборка ProB (если понадобиться лезть внутрь) (8 рабочих дней)
( ) Реконструция цепочек системных вызовов и начального окружения для достижения непокрытых состояний (6 месяцев)
</pre> Runtime Verification - [FEATURE] #12320 (Open): Конфигурируемостьhttps://forge.ispras.ru/issues/123202023-04-04T09:59:46ZDenis Efremovefremov@ispras.ru
<pre>
[ } Разбиение системы на отдельные составляющие (3 месяца)
[ } Выработка подхода для включения новых тестов в тестовый набор (более-менее есть, 1 неделя)
[ } Конфигурирование мониторинга на этапе сборки (2 недели)
[ } Конфигурирование мониторинга в момент загрузки модуля/работы (3 недели)
[ } Конфигурирование медиатора (фактически полное его переделывание, 6-8 недель)
[ } Отвязка аниматора от нашей модели, его концигурирование (1-2 недели)
</pre> Runtime Verification - [FEATURE] #12319 (Open): Разработка документацииhttps://forge.ispras.ru/issues/123192023-04-04T09:58:42ZDenis Efremovefremov@ispras.ru
<pre>
[ } Документация (6 месяцев)
[ } Документация по монитору (неделя)
[ } Документация по медиатору и его конфигурации (2 недели)
[ } Документация по модели (неделя)
[ } Документация аниматора (неделя)
[ } Документация сервера распеделенных задач (неделя)
[ } Доработки/вычитка (все остальное время)
</pre> Runtime Verification - [FEATURE] #12318 (Open): Анализ результатов работы фаззеровhttps://forge.ispras.ru/issues/123182023-04-04T09:58:22ZDenis Efremovefremov@ispras.ru
<pre>
[ ] Анализ результатов работы фаззеров (stress-ng и trinity) (два месяца)
[ ] Выбрать аргументы, с которыми мы запускаем фаззеры (день)
[ ] Запуск в контейнерах (3 дня)
[ ] Мониторинг (2 недели)
[ ] Доводка до более-менее приличного результата (все остальное время)
</pre> Runtime Verification - [FEATURE] #12317 (Open): Отображение покрытия по модели в графическом инте...https://forge.ispras.ru/issues/123172023-04-04T09:58:02ZDenis Efremovefremov@ispras.ru
<pre>
{ } Отображение покрытия по модели в графическом интерфейсе в онлайн режиме работы (две недели)
{ } Разработать простой сервер который будет обновлять html по мере обновления покрытия в базе данных. Отображение покрытия будет в браузере с автоматическим обновлением (обновление страницы каждые несколько секунд в javascript)
</pre> Runtime Verification - [FEATURE] #12316 (Open): Поддержка параллельного запуска тестов на одной о...https://forge.ispras.ru/issues/123162023-04-04T09:57:24ZDenis Efremovefremov@ispras.ru
<pre>
[ } Параллельный запуск тестов на одной операционной системе (6 недель)
[ } Доработать мониторинг (месяц)
[ } Сделать параллельный запуск тестов в тестовом пакете (2 недели)
</pre> Runtime Verification - [FEATURE] #12315 (Open): Поддержка онлайн режима работыhttps://forge.ispras.ru/issues/123152023-04-04T09:56:22ZDenis Efremovefremov@ispras.ru
<pre>
{ } онлайн режим работы (3 недели)
{ } Доработать мониторинг для получения результатов от воспроизведения (неделя)
{ } Разработать подмену результатов системного вызова (неделя)
{ } Оптимизация/Отладка (неделя)
</pre> Runtime Verification - [FEATURE] #12314 (Open): Запуск и мониторинг тестов в контейнерахhttps://forge.ispras.ru/issues/123142023-04-04T09:55:49ZDenis Efremovefremov@ispras.ru
<pre>
[ ] Запуск и мониторинг тестов в контейнерах (~месяц)
[ ] Разобраться в namespaces и cgroups с прототипами (1 неделя)
[ ] Изучить как syzkaller запускает репродюсеры в namespaces (1 день)
[ ] Доработать мониторинг (1 неделя)
[ ] Перевести тесты на использование namespaces (2 недели)
</pre> Runtime Verification - [FEATURE] #12313 (Open): Параллелизацию анализа трассhttps://forge.ispras.ru/issues/123132023-04-04T09:55:34ZDenis Efremovefremov@ispras.ru
<pre>
[.] Параллелизацию анализа трасс (полторы недели)
[.] Выбор сервера
[ ] Анализ Redis (2 дня на тесты/прототип)
[ ] Анализ RabbitMQ (2 дня на тесты/прототип)
[.] Самописное решение?
[ ] Разворачивание 3-5 машин (2 дня)
[ ] Документация (1 рабочий день)
</pre> Runtime Verification - [FEATURE] #12312 (Open): Перенести integrity (ima/evm) в основную ветвь ра...https://forge.ispras.ru/issues/123122023-04-04T09:55:17ZDenis Efremovefremov@ispras.ru
<pre>
[.] Перенести integrity (ima/evm) в основную ветвь разработки (неделя рабочего времени)
{.} Тесты ima/evm
[ ] Перенести ima/evm уровень из elmac модели в открытую (вырезать доработки ) (1-2 дня без доказательств)
[ ] Перенести мониторинг из systemtap в kprobes (1 день)
[ ] Добавить mediator и replay (1 день)
[ ] Отладка на всех тестах (месяц параллельно с остальными задачами пока все тесты не сойдутся)
</pre> Runtime Verification - [BUG] #12311 (Open): Поддержка protected_regularhttps://forge.ispras.ru/issues/123112023-04-04T09:53:28ZDenis Efremovefremov@ispras.ru
<p>Моделью должно поддерживаться поведение ядра <a class="external" href="https://github.com/torvalds/linux/commit/30aba6656f">https://github.com/torvalds/linux/commit/30aba6656f</a></p> Runtime Verification - [FEATURE] #12310 (Open): Поддержка сетевых системных вызововhttps://forge.ispras.ru/issues/123102023-04-04T09:52:00ZDenis Efremovefremov@ispras.ru
<pre>
Сетевые системные вызовы (bind, connect, accept, listen, socket, sendto, recvfrom) с ограничением, что процесс отправляет данные по сокету сам себе (3 месяца)
[ } Договориться о том какие сокеты с какими опциями мы добавляем (3 дня, идем от модели, скорее всего датаграммы (они должны быть проще для модели))
( ) Доработка модели (2 месяца)
[ ] Мониторинг (3 недели)
[ ] Медиатор (неделя)
{ } Тесты (2 месяца)
{ } Интеграция всего и прогон тестов (месяц)
</pre> Runtime Verification - [FEATURE] #12309 (Open): Тесты с цепочкой последовательных системных вызововhttps://forge.ispras.ru/issues/123092023-04-04T09:51:23ZDenis Efremovefremov@ispras.ru
<pre>
{.} Тесты с цепочкой последовательных системных вызовов (~1-2 месяца)
{ } Добавить несколько тестов для файловой системы (2 дня)
[.} Придумать как отобразить результаты существующих системные вызовов в трассу и модель (неделя)
{ } Расширить тесты (месяц)
{ } Довести медиатор и воспроизведение на новых тестах (месяц)
</pre> Runtime Verification - [FEATURE] #12308 (Resolved): Добавить поддержку инвариантов в покрытие по ...https://forge.ispras.ru/issues/123082023-04-04T09:50:22ZDenis Efremovefremov@ispras.ru
<pre>
{ } Добавить поддержку инвариантов в покрытие по MC/DC (2 недели)
{ } Формулировка, что значит MC/DC для инварианта, ведь он не может быть ложным
{ } Доработка аниматора (4 рабочих дня)
{ } Доработка генератора отчета (4 рабочих дня)
{ } Отладка/дописывание тестов для расширения покрытия (месяц параллельно с остальными задачами)
</pre> Runtime Verification - [FEATURE] #12307 (Resolved): Документация по текущему состояниюhttps://forge.ispras.ru/issues/123072023-04-04T09:49:43ZDenis Efremovefremov@ispras.ru
<pre>
{.} Документация по текущему состоянию (2 недели)
{.} Исправление путей в файловой системе, где работает инструмент
{.} Инструкция по доработке модели/монитора/медиатора
</pre>