（来源：上观新闻）
用具体数字举🚧例，可👩🔬🌳能会更直📓👨⚕️观：假设🧿二十八区一个功能🇬🇭从想法到上线📴🐾总耗时 10 🤝👩🔬天，其中加工*️⃣二十八区时间 1 😓🏙天、等待时间 9🇧🇼 天🧯🖕。“这种可复现的😠证据链，对🧭✌于辅助理解🚁和修复💪 bug 非常🧼重要🇸🇷🇵🇱。
然后，🗾给每个函数写🌫一份精确的🇸🇮🦡形式化规约（Fo👩❤️💋👩🇿🇲rmal S🔛pec➖🇧🇾ificatio🍁☠n），即一份用数🌉🛀学语言写成的“😌😜说明书🤶🤼♀️”，说明执行函➕数前程⚓序状态需要满足🔢什么条件（前置🍵🧗♂️条件），执🍫🗺行后函🐾👶数保证👕输出什么样的🇸🇩结果（后置条件）🏇。
