《Design by Contract for Embedded Software》翻译( 十 ) _生活百科

另一个问题是当一个断言在现场发生时的正确系统响应。事实证明，对于大多数嵌入式设备来说，从用户的角度来看，简单的系统重置是最不方便的行动--当然比锁定设备和无限期拒绝服务要不方便。这正是前几天发生的事情，当时我妻子的手机冻结了，而使其恢复正常的唯一方法是拔出电池。(我不知道她是怎么做到的，但从那时起，她又设法不止一次地把手机挂起来，还有我们的录像机，甚至电视）。我想到的问题是，这些产品的固件是否使用了断言（或断言是否已被启用）--显然没有，因为否则固件会自动重置。

Further ReadingAssertions have been a recurring subject of many articles (and rightly so). For example, two articles from the