按合同设计和快速失败

Question

快速失败-

故障响应是系统或模块对故障响应的一种属性。 快速故障系统旨在立即在其接口上报告可能导致故障的任何故障或情况。 快速故障系统通常旨在停止正常运行，而不是尝试继续可能存在缺陷的过程。 这样的设计通常会在操作的多个点检查系统的状态，因此可以及早发现任何故障。 快速故障模块将处理错误（而不是检测到错误）的责任转移到更高的系统设计级别。

合同设计-

按合同设计（DbC），也称为合同编程，按合同编程和按合同设计编程，是一种设计软件的方法。 它规定，软件设计人员应为软件组件定义正式，精确和可验证的接口规范，该规范应使用前提条件，后置条件和不变式来扩展抽象数据类型的普通定义。 根据对商业合同的条件和义务的概念隐喻，这些规范被称为“合同”。

我的问题是，这两个术语有何相似之处和不同之处 。 我认为两者都是针对软件设计的。

快速故障更多是对系统故障的响应，而按合同设计则更多地是对系统的保证，最低要求和期望。

但是我如何真正定义两者之间的差异以及相似性。

感谢您的帮助。

Answer 1

相似之处：

• 两者都可以通过断言来实现
• 两者都是XML设计所固有的

差异：

• 合同设计不处理意外错误
• 快速失败无法处理冗余检查
• 合同设计不能处理不好的要求
• 快速失败无法处理需求映射

参考文献

• Liskov替代原理和测试驱动开发 有效的软件设计

Answer 2

它们是互斥的。 Java迭代器不仅快速失败，而且还可以通过合同进行设计。 快速失败只是意味着轰炸，希望不会有更糟的事情发生（例如抛出异常）。 诸如故障安全之类的东西通常意味着故障发生时，请确保没有更糟的事情发生。 您可以通过隔离系统组件或使用可以处理故障情况的东西来做到这一点，从而不会发生任何不良情况（例如，会话复制/故障转移）