契约式设计

明确写出前置条件、后置条件、不变式。调用方保证前置，被调方保证后置。