包共5 o, is it like“ assert. h”? a Design by Contract goes further: 口“ Assert” does not provide a contract. a Clients cannot see asserts as part of the interface u Asserts do not have associated semantic specifications a Not explicit whether an assert represents a precondition post-conditions or invariant. a Asserts do not support inheritance a Asserts do not yield automatic documentation. Institute of Computer Software 2021/1/30 Nanjing UniversitySo, is it like “assert.h”? (Source: Reto Kramer)  Design by Contract goes further:  “Assert” does not provide a contract.  Clients cannot see asserts as part of the interface.  Asserts do not have associated semantic specifications.  Not explicit whether an assert represents a precondition, post-conditions or invariant.  Asserts do not support inheritance.  Asserts do not yield automatic documentation. 2021/1/30 Institute of Computer Software Nanjing University 12