5.2.4 指定前置条件和后置条件