Тестируем Это

Slide 1

Slide 1 text

Антон Каляев / HackAtom 2021 Тестируем Это

Slide 2

Slide 2 text

1. Tendermint

Slide 3

Slide 3 text

Tendermint NodeA NodeB NodeC Создатель блока в текущем раунде (NodeA) рассылает блок

Slide 4

Slide 4 text

Tendermint Затем участники обмениваются предварительными голосами (prevotes) 2/3+ prevotes за один и тот же блок нужны чтобы проголосовать за него NodeA NodeB NodeC

Slide 5

Slide 5 text

Tendermint NodeA NodeB NodeC Затем участники обмениваются голосами (precommits) 2/3+ precommits за один и тот же блок нужны чтобы он был добавлен в цепочку

Slide 6

Slide 6 text

No content

Slide 7

Slide 7 text

• https://arxiv.org/abs/1807.04938 • https://github.com/tendermint/tendermint • https://www.homeonrails.com/thesecretlivesofdata/tendermint/ Что почитать?

Slide 8

Slide 8 text

2. ABCI

Slide 9

Slide 9 text

ABCI NodeA Application Tendermint ABCI

Slide 10

Slide 10 text

ABCI InitChain BeginBlock DeliverTx EndBlock CheckTx Query

Slide 11

Slide 11 text

ABCI NodeA Cosmos SDK Tendermint ABCI

Slide 12

Slide 12 text

No content

Slide 13

Slide 13 text

• https://docs.tendermint.com/master/spec/abci/abci.html • https://docs.tendermint.com/master/tutorials/go-built-in.html Что почитать?

Slide 14

Slide 14 text

3. Тестирование

Slide 15

Slide 15 text

https://medium.com/tendermint/hierarchy-of-tests-58eda202d5e9

Slide 16

Slide 16 text

Убедитесь что • У вас установлен Go $ go version > go version go1.16 darwin/amd64 • У вас установлен Docker • $ docker -v • > Docker version 20.10.2, build 2291f61

Slide 17

Slide 17 text

3.1 End-to-end тестирование

Slide 18

Slide 18 text

End-to-end тестирование • $ git clone https://github.com/tendermint/tendermint.git • $ cd tendermint/test/e2e • $ make https://github.com/tendermint/tendermint/tree/master/test/e2e

Slide 19

Slide 19 text

./networks/simple.toml

Slide 20

Slide 20 text

./networks/ci.toml

Slide 21

Slide 21 text

End-to-end тестирование • (Write code) • $ make • $ ./build/runner -f networks/simple.toml https://github.com/tendermint/tendermint/tree/master/test/e2e

Slide 22

Slide 22 text

3.2 Фаззинг

Slide 23

Slide 23 text

Фаззинг https://github.com/dvyukov/go-fuzz Функция должна вернуть 1, если при последующей итерации функция должна увеличить приоритет данного входа (например, вход лексически корректен и был успешно разобран); -1, если вход не должен быть добавлен в корпус, даже если он дает новое покрытие; и 0 в противном случае

Slide 24

Slide 24 text

No content

Slide 25

Slide 25 text

Фаззинг • $ cd test/fuzz • $ mkdir -p rpc/core/txsearch • (Write code) • $ go-fuzz-build • $ go-fuzz https://github.com/tendermint/tendermint/tree/master/test/fuzz

Slide 26

Slide 26 text

3.2 Jepsen

Slide 27

Slide 27 text

github.com/aphyr Фреймворк для верификации распределенных систем, с возможностью внесения неисправностей

Slide 28

Slide 28 text

• Проверка линеаризуемости (Knossos, Elle) • Внесение неисправностей (сетевые, смещение часов, убийство процесса) • Визуализация • Гибкое API • Написано на Clojure 😒

Slide 29

Slide 29 text

https://jepsen.io/consistency Линеаризуемость

Slide 30

Slide 30 text

Изоляция транзакций в Postgresql https://www.postgresql.org/docs/9.5/transaction-iso.html

Slide 31

Slide 31 text

“Каждая операция вступает в силу атомарно в какой-то момент между ее вызовом и завершением.” https://aphyr.com/posts/313-strong-consistency-models

Slide 32

Slide 32 text

Так .. как работает Jepsen?

Slide 33

Slide 33 text

https://www.youtube.com/watch?v=OPJ_IcdSqig Black-box Isolation Checking with Elle (Kyle Kingsbury, Jepsen.io)

Slide 34

Slide 34 text

https://www.youtube.com/watch?v=OPJ_IcdSqig Black-box Isolation Checking with Elle (Kyle Kingsbury, Jepsen.io)

Slide 35

Slide 35 text

https://www.youtube.com/watch?v=OPJ_IcdSqig Black-box Isolation Checking with Elle (Kyle Kingsbury, Jepsen.io)

Slide 36

Slide 36 text

“Болтать легко. Покажи мне код” Линус Торвальдс

Slide 37

Slide 37 text

No content

Slide 38

Slide 38 text

No content

Slide 39

Slide 39 text

No content

Slide 40

Slide 40 text

Nemesis can be used to inject faults

Slide 41

Slide 41 text

Jepsen • $ git clone https://github.com/tendermint/jepsen.git • $ cd jepsen • $ cd docker && bin/up • $ cd docker && bin/console • $ cd tendermint && lein run test https://github.com/tendermint/jepsen В другом окне (вкладке)