A软件可靠性需要服务的提供方与客户方都有精确的规格说明B契约式设计DbC使用断言作为供/需双方之间的契约C类不变量是类实例都有一个自己的固定不变的值D断言包括前置条件