完善词条「design by contract」