契约式设计（Design by Contract）的核心思想，不包括以下（）。

契约式设计（Design by Contract）的核心思想，不包括以下（）。
A.软件可靠性需要服务的提供方与客户方都有精确的规格说明
B.契约式设计DbC使用断言作为供/需双方之间的契约
C.类不变量是类实例都有一个自己的固定不变的值
D.断言包括前置条件、后置条件、不变量等
正确答案：类不变量是类实例都有一个自己的固定不变的值