Files
nis2/seminars/05-2026-10-19-rainmaker.md
2026-09-06 19:26:12 +03:00

46 lines
2.3 KiB
Markdown
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
# 5. Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker
[К списку семинаров](README.md) · [Общие правила](../seminars.md) · [Расписание](../schedule.md)
- **Дата:** 19 октября 2026 года, 18:10
- **Статья:** [Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker](https://www.usenix.org/system/files/nsdi23-chen-yinfang.pdf)
- **Центральный вопрос:** как автоматически строить реалистичные проверки надёжности приложений, зависящих от облачных сервисов?
## Участники
| Роль | Участник |
|---|---|
| Автор 1 | — |
| Автор 2 | — |
| Автор 3 | — |
| Рецензент | — |
| Археолог 1 | — |
| Археолог 2 | — |
| Исследователь | — |
| Практик | — |
## Маршрут чтения и акценты
По умолчанию основной текст читается полностью. Следует проследить путь от модели внешних зависимостей и генерации отказов до механизма подтверждения обнаруженных ошибок, а также оценить подтверждённые ошибки, полноту эксперимента и переносимость метода на другие приложения.
**Дополнительное чтение к подготовке:** пока не назначено.
## Выбранные дополнительные тезисы
| После блока | Автор тезиса | Формулировка |
|---|---|---|
| — | — | — |
## После семинара
- **Запись:** —
- **Источники из обсуждения:** —
- **Содержательные уточнения:** —
### Оценка статьи студентами
- **Ответов:** —; из них участников с ролями: —
- **Полезность:** — из 5
- **Сложность среди участников с ролями:** — из 5
- **Оставить в программе:** — из — ответов «да» или «скорее да»