osukhoroslov
29f3f50a1a
Replace the generic emphasis note with a structured, section-by-section reading order and clarify the central question around strict serializability. Remove the unused "additional reading" placeholder from the remaining seminar files.
31 lines
1.8 KiB
Markdown
31 lines
1.8 KiB
Markdown
# 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 | Поляков Иван |
|
||
| Исследователь | Кузьмин Василий |
|
||
| Практик | Черный Антон |
|
||
|
||
## Маршрут чтения и акценты
|
||
|
||
По умолчанию основной текст читается полностью. Следует проследить путь от модели внешних зависимостей и генерации отказов до механизма подтверждения обнаруженных ошибок, а также оценить подтверждённые ошибки, полноту эксперимента и переносимость метода на другие приложения.
|
||
|
||
## Выбранные дополнительные тезисы
|
||
|
||
| После блока | Автор тезиса | Формулировка |
|
||
|---|---|---|
|
||
| — | — | — |
|