契約式設計(Design by Contract)的核心思想,不包括以下()。
A.軟件可靠性需要服務的提供方與客戶方都有精確的規格說明
B.契約式設計DbC使用斷言作為供/需雙方之間的契約
C.類不變量是類實例都有一個自己的固定不變的值
D.斷言包括前置條件、後置條件、不變量等
正確答案:類不變量是類實例都有一個自己的固定不變的值
契約式設計(Design by Contract)的核心思想,不包括以下()。
A.軟件可靠性需要服務的提供方與客戶方都有精確的規格說明
B.契約式設計DbC使用斷言作為供/需雙方之間的契約
C.類不變量是類實例都有一個自己的固定不變的值
D.斷言包括前置條件、後置條件、不變量等
正確答案:類不變量是類實例都有一個自己的固定不變的值