16 lines
721 B
Markdown
16 lines
721 B
Markdown
# The Verification of a Distributed System
|
||
|
||
- **期号**: SRE Weekly Issue #9（2016-02-07）
|
||
- **作者**: —
|
||
- **链接**: http://queue.acm.org/detail.cfm?id=2889274
|
||
|
||
## 简介
|
||
|
||
How can we be sure (or at least sort of confident) that distributed systems won’t fail? They can be incredibly complex, and their failures can be even more complex. Catie McCaffrey gives us this ACM Queue article about methods for formal and informal verification.
|
||
|
||
> Efficiently testing distributed systems is not a solved problem, but by combining formal verification, model checking, fault injection, unit tests, canaries, and more, you can obtain higher confidence in system correctness.
|
||
|
||
## 正文
|
||
|
||
> ⚠️ 抓取失败：HTTP 403
|