填空题 “Design by Contract”是一种比较好的软件设计技术，其中的Contract包括三个方面的内容，即前置条件、后置条件和 1。