Practical tla+: planning driven development на русском
#1078621
Practical TLA+: Planning Driven Development (B07FMHX7M2)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
Hillel Wayne | #42: Тестирование программного обеспечения
Научитесь проектировать сложные, корректные программы и исправлять ошибки, не написав ни одной строчки кода. Эта книга — практическое, всеобъемлющее руководство по программированию на TLA+ с множеством сложных примеров. Книга «Практическое TLA+» покажет вам, как использовать TLA+ для описания сложной системы и тестирования самой конструкции на наличие ошибок.
Вы узнаете, как даже краткая спецификация TLA+ может выявить критические ошибки. Начните с ознакомления с примером использования TLA+ в системе банковских переводов, чтобы увидеть, как это помогает проектировать, тестировать и создавать более качественные приложения. Затем изучите основы операторов TLA+, логики, функций, PlusCal, моделей и параллельного программирования. Попутно вы узнаете, как организовывать свои блюпринты и как описывать распределенные системы и обеспечивать согласованность данных в конечном итоге.
В заключение вы примените полученные знания на практике, используя примеры реальных кейсов и разработав решения TLA+ для широкого спектра практических задач: от повышения производительности алгоритмов и структур данных до бизнес-кода и MapReduce. После прочтения и использования этой книги у вас будет все необходимое, чтобы начать работу с TLA+ и научиться применять его в критически важных приложениях.
Что вы узнаете
Для кого предназначена эта книга?
Тем, кто имеет опыт программирования, но только начинает знакомиться с дизайном и TLA+.
Вы узнаете, как даже краткая спецификация TLA+ может выявить критические ошибки. Начните с ознакомления с примером использования TLA+ в системе банковских переводов, чтобы увидеть, как это помогает проектировать, тестировать и создавать более качественные приложения. Затем изучите основы операторов TLA+, логики, функций, PlusCal, моделей и параллельного программирования. Попутно вы узнаете, как организовывать свои блюпринты и как описывать распределенные системы и обеспечивать согласованность данных в конечном итоге.
В заключение вы примените полученные знания на практике, используя примеры реальных кейсов и разработав решения TLA+ для широкого спектра практических задач: от повышения производительности алгоритмов и структур данных до бизнес-кода и MapReduce. После прочтения и использования этой книги у вас будет все необходимое, чтобы начать работу с TLA+ и научиться применять его в критически важных приложениях.
Что вы узнаете
- Чтение и запись спецификаций TLA+
- Проверьте характеристики на наличие нарушенных инвариантов, состояний гонки и ошибок, связанных с поддержанием работоспособности.
- Разработка параллельных и распределенных систем
- Узнайте, как TLA+ может помочь вам в повседневной производственной работе.
Для кого предназначена эта книга?
Тем, кто имеет опыт программирования, но только начинает знакомиться с дизайном и TLA+.