^Design by contract(HTML). Internet: Wikipedia. 2017-05-17 [2017-07-25]. (原始内容存档于2007-12-05) (英语). The DbC approach assumes all client components that invoke an operation on a server component will meet the preconditions specified as required for that operation. Where this assumption is considered too risky (as in multichannel client-server or distributed computing) the opposite "defensive design" approach is taken, …