契约式设计(Design by Contract)的核心思想,不包括以下()。


契约式设计(Design by Contract)的核心思想,不包括以下()。

A.软件可靠性需要服务的提供方与客户方都有精确的规格说明

B.契约式设计DbC使用断言作为供/需双方之间的契约

C.类不变量是类实例都有一个自己的固定不变的值

D.断言包括前置条件、后置条件、不变量等

正确答案:类不变量是类实例都有一个自己的固定不变的值


Tag:契约式 变量 断言 时间:2024-01-15 21:19:14