16 lines
604 B
Markdown
16 lines
604 B
Markdown
# Systems Correctness Practices at AWS
|
||
|
||
- **期号**: SRE Weekly Issue #464（2025-02-16）
|
||
- **作者**: Marc Brooker and Ankush Desai — ACM Queue
|
||
- **链接**: http://queue.acm.org/detail.cfm?ref=rss&id=3712057
|
||
|
||
## 简介
|
||
|
||
Learn how AWS uses formal verification and other techniques.
|
||
|
||
> Alongside industry-standard testing methods (such as unit and integration testing), AWS has adopted model checking, fuzzing, property-based testing, fault-injection testing, deterministic simulation, event-based simulation, and runtime validation of execution traces.
|
||
|
||
## 正文
|
||
|
||
> ⚠️ 抓取失败：HTTP 403
|